論文と研究

google/bindiff

逆アセンブルされたコードの相違点と類似点を素早く見つける

b2r2-org/b2r2

B2R2はF#で書かれたフルマネージドなバイナリ解析フレームワークです。リバースエンジニアリング、プログラム解析、バイナリレベルの検査のための豊富なアルゴリズム、関数、ツールを提供します。

tencent/ai-infra-guard

Agent Scan、Skills Scan、MCPスキャン、AIインフラスキャン、LLMジェイルブレイク評価を通じてAIエコシステムを保護するフルスタックAIレッドチーミングプラットフォーム。

z3prover/z3

自動定理証明、制約解決、プログラム検証のための高性能SMTソルバー。形式的解析のための複数の理論と言語バインディングをサポート。

google/security-research

このプロジェクトは、Googleが実施した研究に関連し、Googleが所有していないコードに影響を与えるセキュリティアドバイザリと、それに付随する概念実証（proof-of-concepts）をホストしています。

jlopp/physical-bitcoin-attacks

実世界（meatspace）で発生した、ビットコイン/暗号資産を保有する組織に対する既知の攻撃の一覧。

recorded-texteditor120/cve-2026-31802

npm tarにおけるCVE-2026-31802のパストラバーサル脆弱性を実証・分析し、シンボリックリンク抽出を介して任意のファイル上書きを可能にします。

jivoi/awesome-osint

😱 厳選された驚くほど素晴らしいOSINTのリスト

timb-machine/linux-malware

興味深いLinux（およびUNIX）マルウェアを追跡しています。PRを送信してください。

yosyshq/nextpnr

nextpnr ポータブル FPGA 配置配線ツール

screenpipe/screenpipe

YC (S26) | オープンなコンピュータ履歴 | 画面を継続的にローカルで録画し、エージェント（Claude、Codex、Openclaw、Hermes、Runner...）にコンテキストを提供します

cosai-oasis/ws4-secure-design-agentic-systems

CoSAI Workstream 4のリポジトリ：エージェントシステムのためのセキュア設計パターン

atiilla/cve-2026-85046

CVE-2026-85046の概念実証と技術分析。これはインラインのArray.prototype.sortにおけるV8型混乱であり、根本原因、パッチ差分、Chrome < 152.0.7977.82向けの悪用チェーンを含みます。

asgeirtj/system_prompts_leaks

主要なAIチャットボット（Claude、ChatGPT、Gemini、Grok、Copilot）から抽出されたシステムプロンプトの厳選コレクション。新しいモデルのリリースに合わせて定期的に更新されます。

bombobombone/cve-2026-73319

CVE-2026-73319の概念実証エクスプロイトと技術解説書。XenForo 2.3.13より前のバージョンにおける、同一ホストのjavascript: URI XSS脆弱性に関するもので、再現手順とPython製PoCスクリプトを含みます。

bombobombone/cve-2026-73316

# CVE-2026-73316 の概念実証と技術解説 XenForo 2.3.13 より前のバージョンにおける PayPal REST Webhook リプレイの脆弱性に関する概念実証と技術解説。再現手順と修正内容を含みます。

bombobombone/cve-2026-73312

# CVE-2026-73312 の概念実証と技術解説 XenForo 2.3.13 より前のバージョンに存在する OAuth2 リフレッシュトークン再生の脆弱性に関する概念実証と技術解説です。この問題をテストするための Python スクリプトが含まれています。