Pinned
I've released a blog series about modern Linux kernel exploitation, where you can learn some advanced techniques used in real-world kernel exploits. Enjoy!
r1ru.github.io/categories/lin…
r1ru
828 posts
- めちゃくちゃ分かりやすい。なぜこの神動画の再生数が200程度なのだろうか...
- 「プログラム検証入門」の発表資料です。この分野を全く知らない人に向けて型システム、モデル検査、定理証明についてチュートリアル形式で紹介しました。 speakerdeck.com/riru/puroguram… #wakate2024
- 第66回 プログラミング・シンポジウムでRustとOSカーネルの形式検証について発表しました
- Wasmは実はそこまで安全じゃないことを示した論文。これはランタイムを実装するなかで感じていたことだけど、どこまでがWasmの責任かは議論する余地があると思う。例えば論文中で示されている攻撃が実現できるのは、Wasmにコンパイルされる前のプログラムにバグがあるから。
- SeckHack365で取り組んでいるプロジェクトについて書きました。WASM RuntimeをKernelとして使う試みです。 WASMバイナリを実行する自作OS, mavisの紹介｜RI5255 zenn.dev/ri5255/article… #zenn
- 可変長引数関数の仕組みを調べ、muslの実装を読み、それを自作OSにフルスクラッチで実装するというどこに需要があるのか分からない記事を生成した 自作OSにprintfを実装する｜RI5255 zenn.dev/ri5255/article… #zenn
- security campのグループワークで発表したスライドです。CTFのpwnを全く知らない人に向けてpwnのキホンのキを解説したものです。(張り切りすぎて難易度設定をミスり、当初1回の発表で終わる予定だったのが3回になった) #seccamp
