論文と研究

0xblackash/cve-2026-101767

CVE-2026-101767のアドバイザリおよび技術調査分析。Oracle E-Business Suite Application Object Libraryにおける重大な未認証RCEで、CVSSの詳細と影響を受けるバージョンを含む。

ericyoc/stego_provenance_defense

エージェント型AIのためのステガノグラフィック・プロンプトインジェクション防御。デコード時の来歴バインディング、HMAC認証、MCPトラスト強制を採用。

dovughs/velum-vmm

Intel VT-xとCPUごとのEPTフックを使用してNt/Ex/Mmルーチンをインターセプトし、リクエストポリシーを適用して、ライブのカーネルテレメトリをストリーミングするWindows x64リサーチハイパーバイザー。

lzh0082-cloud/code-detection

LLMの脆弱性監査者が静的解析の証拠にどのように従うかを研究するレプリケーションパッケージ。tree-sitter製のC/C++フロントエンド、制御された証拠条件、統計分析コードを含む。

0x4d31/honeypot-data

HTTP/TLSフィンガープリントデータ（JA3/JA4）、仮名化された送信元IP、およびエクスプロイト試行の分析を含む公開ハニーポットデータセットと観測レポート。

blasty/wake-and-break

AMD navi31（RX 7900）GPU向けのPSPエクスプロイトで、ファームウェアの署名チェックを無効化し、カードが署名なしのSMU、SDMA、MEC、IMU、RLCファームウェアを読み込めるようにします。コールドブート後は永続しません。

endrazine/rocq-cve-poc-22287

CVE-2026-72714 — モジュールクローズ後に Rocq の Universe チェック状態が同期ずれを起こす

endrazine/rocq-cve-poc-21683

CVE-2026-72705 — Rocq Guard Checkerが高階引数として渡されたFixpointを受け入れる

endrazine/rocq-cve-poc-22024

CVE-2026-72704 — Rocq Guard Checkerがトランスポート後に破損した再帰ツリーを信頼する

endrazine/lean-cve-poc-14484

CVE-2026-72711 — Lean 4 カーネルの健全性バグ：推論キャッシュポイズニング

neitzert/picard

レジリエントデータ向けプロトコル内省型チャンクアダプター

owasp/agentic-evidence

エージェント型AIのセキュリティ証拠に関するOWASPリファレンスプロジェクト：エージェントの実行、ID、ツール呼び出し、認可の判断を相関させ、調査タイムラインとエクスポート可能な証拠バンドルにまとめます。

owasp/robotics-security-testing-guide

ヒューマノイド、産業用、自律型ロボット向けの標準化されたペネトレーションテスト手法を定義するOWASPガイド。ROS/ROS2、DDS、CANバス、センサー整合性、VLAモデルを網羅しています。

owasp/the-agents-epistemic-baggage

An audit-oriented risk model for how agent-generated inferences can change epistemic status, gain operational authority, and influence later…

k0keoyo/ssctf-pwn450-ms16-034-writeup

SSCTF pwn450チャレンジのWriteupで、MS16-034のWindowsカーネルエクスプロイトを扱い、脆弱性分析と権限昇格エクスプロイトの開発を解説しています。

asngs/agenttriage-open-source

ツールを使用するLLMエージェント向けのクロスエージェントトレーシングおよびセキュリティ診断システム：トレースイベントを正規化し、来歴グラフを構築し、ソースからシンクへのチェーンを抽出し、防御のギャップを特定します。