Skip to content
KitploitKITPLOIT
ツールブログ
提出
ツールブログ
提出

ハッキング、侵入テスト、サイバーセキュリティツールをあなたのセキュリティアーセナルに!

Kitploitはハッキング、サイバーセキュリティ、ペネトレーションテストのツールディレクトリです。最新のプロジェクトアップデートを見つけて、脆弱性の発見、システム分析、テストの自動化、セキュリティの強化を行いましょう。

··フィード·お問い合わせ·プライバシー·© 2026 Kitploit

ツールディレクトリ

カテゴリ

すべてのカテゴリを見る
Loading categories
publications — Trail of Bits の出版物 | Kitploit
ツール/GitHubGitHub/trailofbits/publications
静的分析ファジング暗号化CTFバイナリ解析論文と研究学習と教育厳選リソース
GitHubtrailofbits/publications

publications

Trail of Bits の出版物

リポジトリを見る
1.9k2355日前Kitploit レビュー済み

人気

すべて見る →

コミュニティで最も使われているツールを見つけましょう。

すべてのツールを探索

ツールコレクションを閲覧

すべてのツールを見る →
共有
ウェブサイト

Trail of Bits の出版物

  • Trail of Bits の出版物
    • 学術論文
    • ホワイトペーパー
    • ガイドとハンドブック
    • カンファレンス発表
      • 自動化されたバグ発見と悪用
      • ブロックチェーン
      • コンパイラ
      • 暗号
      • エンジニアリング
      • 教育
      • インフラストラクチャ
      • 機械学習
      • モバイルセキュリティ
      • プログラミング
      • サイドチャネル
      • サプライチェーン
      • 脅威分析 & マルウェア
    • ポッドキャスト
    • ウェビナー
    • パブリックコメント
    • ケーススタディ
    • セキュリティレビュー
      • 主要クライアント
        • Frax Finance
        • MobileCoin
        • Offchain Labs
        • Reserve Protocol
        • Scroll
        • Uniswap
        • Western Digital
      • AI/ML レビュー
      • 暗号レビュー
      • テクノロジー製品レビュー
      • クラウドネイティブレビュー
      • インバリアントテストと開発エンゲージメント
      • ブロックチェーンレビュー
        • ウォレットレビュー
        • Algorand
        • Avalanche
        • Bitcoin & デリバティブ
        • Ethereum/EVM
        • NervOS
        • Starknet
        • Solana
        • Substrate
        • Tendermint/Cosmos
        • Tezos
        • TON
        • その他/マルチチェーン
    • 開示とエクスプロイト
    • ワークショップ
    • データセット
    • サービス概要
  • 凡例

学術論文

ホワイトペーパー

ガイドとハンドブック

カンファレンス発表

自動化されたバグ発見と悪用

ブロックチェーン| 発表タイトル | 発表者 | 年 |

| --- | --- | --- | | Slitherによるミューテーションテスト: 重大度の高い問題を発見する新しい方法 | Guillermo Larregay | 2025 | | SlitherのModel Context Protocol: 静的解析からLLMにグラウンドトゥルースを提供 | Ben Samuels | 2025 | | 15億ドルの課題: 取引所はいかにしてより安全なコールドストレージを構築できるか | Benjamin Samuels | 2025 | | スマートコントラクト監査人になる方法 | nisedo | 2025 | | テストをテストする: テストのやるべきこととやってはいけないこと | Kurt Willis | 2023 | | Slither: VyperとSolidityのための静的解析ツール | Troy Sargent | 2023 | | Roundme: 丸め解析をよりシンプルに | Josselin Feist | 2023 | | スマートコントラクト: ベータ版 | Nat Chin | 2023 | | セキュリティエンジニアのようにファジングする | Nat Chin | 2023 | | SlitherのPython APIでより良いスマートコントラクトを書く | Troy Sargent | 2022 | | 安全なCairoの構築 | Filipe Casal, Simone Monica | 2022 | | プロのようにファジングする方法 | Josselin Feist, Nat Chin | 2022 | | ファジングの謎を解き明かす | Nat Chin | 2022 | | スマートコントラクト向けの実用的な静的解析器を構築する | Josselin Feist | 2021 | | | Josselin Feist | 2021 | | | Josselin Feist | 2021 | | | Sam Moelius | 2020 | | | Dan Guido | 2020 | | | Evan Sultanik | 2019 | | | Josselin Feist | 2019 | | | Josselin Feist | 2019 | | | Dan Guido | 2019 | | | Dan Guido | 2019 | | | JP Smith | 2018 | | | Evan Sultanik | 2018 | | | Josselin Feist | 2018 | | | Ryan Stortz, Jay Little | 2018 | | | Jay Little | 2018 | | | Ryan Stortz | 2018 | | | Dan Guido | 2018 | | | Mark Mossberg | 2018 | | | Felipe Manzano, Josselin Feist | 2017 |

コンパイラ

暗号技術

エンジニアリング

教育

インフラストラクチャ

発表タイトル発表者年
100エーカーの森への帰還Stefan Edwards2019
kubectlフィッシュと泳ぐStefan Edwards2019

機械学習

モバイルセキュリティ

プログラミング

サイドチャネル

発表タイトル発表者年
仮想化環境におけるハードウェアサイドチャネルSophia D'Antoine2015
アウトオブオーダー実行の悪用Sophia D'Antoine

サプライチェーン

脅威分析とマルウェア

発表タイトル発表者年
macOSマルウェアの『Shlayers』を剥がすJosh Watson, Erika Noerenberg2019
エクスプロイトインテリジェンスプロジェクト再訪

ポッドキャスト| ポッドキャスト | ゲスト | 日付 | トピック |

| --- | --- | --- | --- | | Risky Biz | Dan Guido | Feb 2026 | Trail of Bits における AI | | What's in the SOSS? 53 | Michael Brown | Feb 2026 | AIxCC と Buttercup | | Insecure Agents 18 | Kikimora Morozova | Dec 2025 | AI プロンプトインジェクション | | Risky Biz | Keith Hoodlet | Sep 2025 | AI プロンプトインジェクション | | Zero Signal | Keith Hoodlet | Sep 2025 | AI セキュリティ | | Unsupervised Learning | Michael Brown | Aug 2025 | AIxCC | | Security Weekly 342 | Will Vandevanter | Aug 2025 | NVIDIA の脆弱性開示 | | CTF Radiooo 01E | Michael Brown と Evan Downing | Aug 2025 | AIxCC | | Click Here Show | Dan Guido | Jun 2025 | Zoom の遠隔操作攻撃 | | Security Weekly 336 | Artur Cygan | Jun 2025 | バーコードのファジング | | Protect AI | Keith Hoodlet | Jun 2025 | MCP セキュリティ | | Open Source Security | William Woodruff | May 2025 | Zizmor と GitHub Actions のセキュリティ | | MLSecOps | Keith Hoodlet | Apr 2025 | AI/ML セキュリティ | | Risky Biz 786 | Tjaden Hess | Apr 2025 | 暗号技術とブロックチェーン | | Security Weekly 323 | Keith Hoodlet | Mar 2025 | AppSec における GenAI | | Xyonix | Keith Hoodlet | Mar 2025 | AI/ML セキュリティ | | The Impulsive Thinker | Dan Guido | Feb 2025 | 神経発達の多様性 | | Bugcrowd | Keith Hoodlet | Oct 2024 | AI/ML バイアス | | | Dan Guido | Oct 2024 | 耐量子暗号 | | | Dan Guido | Aug 2024 | DARPA の AI サイバーチャレンジ | | | Josiah Dykstra | May 2024 | セキュリティにおけるバイアス | | | Dan Guido | Apr 2024 | オープンソースツール | | | William Woodruff | Mar 2024 | サプライチェーンセキュリティ | | | Dan Guido | Dec 2023 | ブロックチェーンセキュリティ | | | Dan Guido | May 2023 | ML セキュリティ | | | Nick Selby | Feb 2023 | 脅威モデリング、クラウドネイティブ監査 | | | Dan Guido | Jan 2023 | 脆弱性開示 | | | Dan Guido | Jul 2022 | ブロックチェーンセキュリティ | | | Nick Selby | Jun 2022 | クラウドセキュリティ | | | Dan Guido | Mar 2022 | プライバシー技術 | | | Dan Guido | Jan 2022 | ゼロ知識証明 | | | Josselin Feist | Nov 2021 | ブロックチェーンセキュリティ | | | Dan Guido | Oct 2021 | ブロックチェーンセキュリティ | | | Dan Guido | Jul 2021 | モバイルセキュリティと iVerify | | | Hannah Hanks | Mar 2021 | 初の PeopleOps 採用 | | | Dan Guido | Feb 2021 | iVerify | | | Dan Guido | Jan 2021 | ブロックチェーンが正しく実現したこと | | | Dan Guido | Sep 2020 | ギャップイヤーとインターン採用 | | | Dan Guido | Aug 2020 | Apple のセキュリティ | | | Dan Guido | Jun 2020 | スマートコントラクトセキュリティ | | | Stefan Edwards | May 2020 | 脅威モデリング | | | Dan Guido | May 2020 | DeFi セキュリティ | | | Dan Guido | Apr 2020 | モバイル投票 | | | Stefan Edwards | Apr 2020 | モバイル投票 | | | Ben Perez | Mar 2020 | 暗号技術レビュー、ZKP | | | Dan Guido | Jan 2020 | AlgoVPN | | | Stefan Edwards | Oct 2019 | Kubernetes | | | William Woodruff | Sep 2019 | PyPI のセキュリティ改善 | | | William Woodruff | Aug 2019 | PyPI のセキュリティ、UX、持続可能性 | | | Stefan Edwards、Bobby Tonic | Aug 2019 | Kubernetes | | | Dan Guido | Jul 2019 | スマートコントラクトテスト | | | Stefan Edwards | May 2019 | Android、プログラミング言語 | | | Stefan Edwards | Apr 2019 | セキュリティテスト | | | Dan Guido、Josselin Feist | Jan 2019 | Ethereum の失敗した EIP-1283 | | | JP Smith | Jan 2019 | CTF における耐量子暗号 | | | Stefan Edwards | Nov 2018 | プログラミング言語、 symbex | | | Lauren Pearl | Aug 2018 | オープンソースセキュリティエンジニアリング | | | Stefan Edwards | Oct 2018 | セキュリティテスト、ブロックチェーン | | | JP Smith | Aug 2018 | Trail of Bits のセキュリティツールと監査 | | | JP Smith | Mar 2018 | スマートコントラクトセキュリティ | | | JP Smith | Feb 2018 | Manticore によるスマートコントラクトテスト | | | Dan Guido | Oct 2017 | 安全なソフトウェアを設計する方法 | | | Dan Guido | May 2017 | と Tor | | | Dan Guido | Apr 2017 | | | | Dan Guido | Mar 2017 | 制御フロー完全性 | | | Dan Guido | Sep 2016 | 今週のニュースの振り返り | | | Dan Guido | Aug 2016 | 自動車ハッキングと今週のニュース | | | Dan Guido | Jul 2016 | DARPA サイバーグランドチャレンジ | | | Dan Guido | Feb 2016 | | | | Dan Guido | Jun 2015 | DARPA サイバーグランドチャレンジ | | | Dan Guido | Feb 2015 | DARPA サイバーグランドチャレンジ |

ウェビナー

パブリックコメント

ケーススタディ

Trail of Bits とクライアントの協働の内容を詳しく紹介します:課題、私たちのアプローチ、そして成果。作業量はエンジニア週単位で示されています。

セキュリティレビュー

私たちが業務について言及することを許可してくれた企業はこちらに掲載されています。その他にも多くの企業が関わっていますが、機密保持のため非公開です。

主要クライアント

以下のクライアントは、Trail of Bits に 5 件以上のセキュリティレビューを依頼しています:

Frax Finance

MobileCoin

Offchain Labs| 製品 | 日付 | 工数
レベル | 発表 | レポート |

| --- | --: | :-: | --- | :-: | | Offchain Labs Arbitrum ArbOS 60/61 | Jul 2026 | 24 | | 📄 | | Offchain Labs Reward Distributor Fixes | Jun 2026 | 0.8 | | 📄 | | Offchain Labs Stylus SDK | Apr 2026 | 9 | | 📄 | | Offchain Labs Arbitrum Quorum Changes | Feb 2026 | 1.2 | | 📄 | | Offchain Labs Arbitrum Nitro External DA | Jan 2026 | 4 | | 📄✅ | | Offchain Labs Arbitrum ArbOS 50 and 51 (Fusaka) | Dec 2025 | | | 📄 | | Offchain Labs Arbitrum Chains Genesis File Generator | Dec 2025 | 1.6 | | 📄✅ | | Offchain Labs Upgrade Executor | Jul 2025 | 0.2 | | 📄 | | Offchain SetCoreGovernorQuorumAction | Jun 2025 | 1.2 | | 📄 | | Offchain Arbitrum Mint/Burn Precompile | Jun 2025 | 1.8 | | 📄✅ | | | Jun 2025 | 1.8 | | | | | May 2025 | 6 | | | | | Apr 2025 | 0.8 | | | | | Mar 2025 | 3 | | | | | Mar 2025 | 1 | | | | | Mar 2025 | 0.8 | | | | | Mar 2025 | 1 | | | | | Mar 2025 | 1.6 | | | | | Mar 2025 | 0.4 | | | | | Dec 2024 | 0.8 | | | | | Oct 2024 | 2 | | | | | Oct 2024 | 2 | | | | | Oct 2024 | 2.6 | | | | | Sep 2024 | 2 | | | | | Aug 2024 | 0.6 | | | | | Aug 2024 | 0.6 | | | | | Aug 2024 | 3 | | | | | Aug 2024 | 1 | | | | | Jul 2024 | 2 | | | | | Jun 2024 | 3 | | | | | May 2024 | 47 | | | | | Apr 2024 | 2 | | | | | Apr 2024 | 2 | | | | | Apr 2024 | 6 | | | | | Apr 2024 | 5 | | | | | Feb 2024 | 4 | | | | | Jan 2024 | 2 | | | | | Dec 2023 | 6 | | | | | Sep 2023 | 3 | | | | | Aug 2023 | 20 | | |

Reserve Protocol

Scroll

Uniswap

Western Digital

AI/ML レビュー

暗号レビュー| 製品 | 日付 | 作業
量 | 発表 | レポート |

| ---| --: | :-: | --- | :-: | | MAGIC Grants Monero FCMP ++ Crypto | Jul 2026 | 2 | | 📄✅ | | Ripple Labs XRP Ledger Confidential Transfer | Apr 2026 | 6 | | 📄✅ | | HyperLink AWS Nitro TEE | Mar 2026 | 2.2 | | 📄✅ | | Open Home Foundation SecureTar v3 | Mar 2026 | 1 | | 📄✅ | | Obsidian Sync | Dec 2025 | 2 | | 📄✅ | | NEAR One PedPop+ | May 2025 | 4 | | 📄 | | NEAR One MPC Chain Signatures | Mar 2025 | 6 | | 📄 | | NEAR One Robust ECDSA | Feb 2026 | 6.4 | | 📄✅ | | Anza BLS Signatures | Mar 2026 | 1 | | 📄 | | DV Labs Charon Pedersen DKG | Feb 2026 | 2 | | 📄✅ | | Anza Token-2022 Confidential Transfer, Cryptography | Jan 2026 | 7 | | | | | Jan 2026 | 1 | | | | | Jan 2026 | 6 | | | | | Jan 2026 | 8 | | | | | Dec 2025 | 4 | | | | | Oct 2025 | 32.2 | | | | | Sep 2025 | 4 | | | | | Sep 2025 | 4 | | | | | Aug 2025 | 4.6 | | | | | Apr 2025 | 5 | | | | | Mar 2025 | 12 | | | | | Mar 2025 | 11 | | | | | Dec 2024 | 2 | | | | | Dec 2024 | 3 | | | | | Sep 2024 | 5 | | | | | Aug 2024 | 4 | | | | | Jun 2024 | 10 | | | | | Apr 2024 | 1 | | | | | Mar 2024 | 4 | | | | | Feb 2024 | 5 | | | | | Jan 2024 | 4 | | | | | Nov 2023 | 11 | | | | | Nov 2023 | 3 | | | | | Oct 2023 | 6 | | | | | Oct 2023 | 18 | | | | | Jun 2023 | 14 | | | | | Jun 2023 | 2.5 | , | | | | Jun 2023 | 2.5 | , | | | | Jun 2023 | 0.2 | | | | | Apr 2023 | 12 | | | | | Feb 2023 | 2 | | | | | Feb 2023 | 8 | | | | | Jan 2023 | 2 | | | | | Dec 2022 | 1 | | | | | Nov 2022 | 2 | | | | | Nov 2022 | 7 | | | | | Oct 2022 | 1 | | | | | Sep 2022 | 4 | , | | | | Sep 2022 | 12 | | | | | Jul 2022 | 4 | | | | | Jul 2022 | 1 | | | | | May 2022 | 8 | | | | | Apr 2022 | 12 | | | | | Apr 2022 | 4 | | | | | Mar 2022 | 6 | | | | | Feb 2022 | 10 | | | | | Apr 2021 | 2 | | | | | Mar 2020 | 1 | | | | | Aug 2018 | 5 | | |

技術製品レビュー| 製品 | 日付 | 作業
レベル | 発表 | レポート |

| --- | --: | :-: | --- | :-: | | PyTorch ExecuTorch | Jun 2026 | 9 | OSTIF| 📄✅ | | Turnkey Key Management System | Jun 2026 | 8 | | 📄✅ | | Persona Identities Claims Verification | May 2026 | 3 | | 🔖 | | PyPI Warehouse | Apr 2026 | 6 | | 📄 | | Propeller Heads Turbine Front End and SDK | Mar 2026 | 2 | | 📄✅ | | Propeller Heads Turbine | Mar 2026 | 8 | | 📄✅ | | Zoo Text-to-CAD Platform | Mar 2026 | 4 | | 📄✅ | | iVerify | Jun 2026 | 2 | | 📄✅ | | X XChat | Oct 2025 | 4 | | 📄✅ | | Edera Runtime Container | Oct 2025 | 4 | | 📄 | | Meta WhatsApp Private Processing | Aug 2025 | 12 | , | | | | Jun 2025 | 3 | | | | | May 2025 | 5 | | | | | Feb 2025 | 6 | | | | | Dec 2024 | 2 | , | | | | Dec 2024 | 5 | | | | | Nov 2024 | 4 | | | | | Sep 2024 | 2 | | | | | Jul 2024 | 4 | , | | | | Jun 2024 | 4.6 | | | | | May 2024 | 2 | | | | | Jan 2024 | 7 | | | | | Dec 2023 | 4 | , , | | | | Dec 2023 | 2 | | | | | Dec 2023 | 4 | , | | | | Sep 2023 | 4 | | | | | Sep 2023 | 9 | , | | | | Sep 2023 | 10 | , | | | | Sep 2023 | 6 | | | | | Aug 2023 | 6 | | | | | Aug 2023 | 6 | | | | | Aug 2023 | 4 | | | | | Aug 2023 | 4 | , | | | | Jul 2023 | 30 | | | | | Jul 2023 | 4 | , | | | | May 2023 | 5 | , | | | | Apr 2023 | 12 | | | | | Mar 2023 | 4 | , | | | | Mar 2023 | 6 | , | | | | Mar 2023 | 8 | | | | | Jan 2023 | 4 | | | | | Jan 2023 | 4 | | | | | Jan 2023 | 6 | | | | | Dec 2022 | 4 | | | | | Dec 2022 | 1 | | | | | Nov 2022 | 9 | | | | | Nov 2022 | 4 | | | | | Oct 2022 | 9.5 | , . | | | | Oct 2022 | 4 | | | | | Oct 2022 | 1.2 | | | | | Sep 2022 | 1 | | | | | Sep 2022 | 6 | | | | | Sep 2022 | 12 | | | | | Jul 2022 | 6 | | | | | Jul 2022 | 6 | | | | Jun 2022 | 6 | | | | | May 2022 | 6 | | | | | May 2022 | 4 | | | | | Apr 2022 | 6 | | | | | Apr 2022 | 4 | | | | | Apr 2022 | 8 | | | | | Mar 2022 | 8 | | | | Jan 2022 | 4 | | | | | Mar 2022 | 4 | | | | | Jan 2022 | 6 | | | | | Dec 2021 | 2 | | | | Nov 2021 | 12 | | | | Oct 2021 | 12 | | | | | Sep 2021 | 4 | | | | Aug 2021 | 8 | | | | Jun 2021 | 4 | | | | | Jun 2021 | 4 | | | | | Apr 2021 | 1 | | | | | Apr 2021 | 4 | | | | | Feb 2021 | 4 | | | | | Jan 2021 | 6 | | | | Jan 2021 | 4 | | | | | Dec 2020 | 8 | | | | | Dec 2020 | 0.43 | | | | Aug 2020 | 4 | | | | | Jun 2020 | 1 | | | | | Jun 2020 | 12 | | | | May 2020 | 9 | | | | Apr 2020 | 4 | | | | | Mar 2020 | 2 | | | | | Feb 2020 | 12 | , | | | | Feb 2020 | 12 | | | | | Jan 2020 | 4 | | | | | Jun 2019 | 12 | | | | | Sep 2016 | 1 | | |

クラウドネイティブレビュー

インバリアントテストおよび開発エンゲージメント

ブロックチェーンレビュー

ウォレットレビュー

Algorand

Avalanche

ビットコイン & デリバティブ| 製品 | 日付 | 工数
レベル | 発表 | レポート |

| ---| --: | :-: | --- | :-: | | ZetaChain Bitcoin Inscriptions | Jan 2025 | 2 | | 📄✅ | | Nomic | Nov 2024 | 10 | Nomic | 📄✅ | | STAS SDK | Oct 2021 | 4 | | | | STAS-JS SDK | Sep 2021 | 4 | | | | Bitcoin SV | Jan 2021 | 6 | | | Zcoin | Jul 2020 | 2 | Zcoin | 📄 | | Zcash | Apr 2020 | 3 | Electric Coin Co. | 📄 | | Zcash | Nov 2019 | 6 | NU3、Blossom、および Sapling のセキュリティレビュー| 📄 | | Zcash | Nov 2019 | 6 | | 📄 | | Paymail Protocol | Nov 2019 | 7 | | | | Simple Ledger | Oct 2019 | 3 | | | | Bitcoin SV | Nov 2018 | 12 | | | RSKj | Nov 2017 | 6 | RSK のセキュリティ監査結果 | 📄 |

Ethereum/EVM| 製品 | 日付 | 工数
レベル | 発表 | レポート |

| ---| --: | :-: | --- | :-: | | Arcus Labs Rootchain v5 Smart Contracts | Jun 2026 | 2 | | 📄✅ | | Kiln Lagoon Vault Diff Review | May 2026 | 1 | | 📄✅ | | Franklin Templeton BenjiSwap Differential Review | Apr 2026 | 1.2 | | 📄✅ | | Gensyn Buyback-and-Burn Vault | Apr 2026 | 1 | | 📄✅ | | Gensyn Bridged Token | Apr 2026 | 0.2 | | 📄 | | Gensyn ERC-20 Token | Sep 2025 | 0.2 | | 📄 | | Gensyn Delphi Dynamic Paramutuel Markets | Apr 2026 | 3.4 | | 📄✅ | | Shape TokenLock | Mar 2026 | 0.4 | | 📄✅ | | Aave v4 | Feb 2026 | 6 | | 📄✅ | | VeChain VeChainThor Hayabusa Upgrade | Oct 2025 | 6 | | 📄✅ | | | Oct 2025 | 1 | | | | | Oct 2025 | 1.2 | | | | | Sep 2025 | 0.4 | | | | | Aug 2025 | 0.2 | | | | | May 2025 | 1 | | | | | May 2025 | 9 | | | | | May 2025 | 1 | | | | | Apr 2025 | 3 | | | | | Apr 2025 | 3 | | | | | Feb 2025 | 8 | | | | | Jan 2025 | 8 | | | | | Jan 2025 | 3 | | | | | Jan 2025 | 0.4 | | | | | Jan 2025 | 1 | | | | | Dec 2024 | 6 | | | | | Dec 2024 | 1 | | | | | Dec 2024 | 4 | | | | | Nov 2024 | 1 | | | | | Sep 2024 | 4 | | | | | Aug 2024 | 4 | | | | | Aug 2024 | 1 | | | | | Jul 2024 | 1.6 | | | | | Jun 2024 | 1 | | | | | Jun 2024 | 2 | | | | | May 2024 | 3 | | | | | May 2024 | 0.45 | | | | | May 2024 | 4 | | | | | May 2024 | 2 | | | | | May 2024 | 4 | | | | | Mar 2024 | 1 | | | | | Mar 2024 | 4.6 | | | | | Mar 2024 | 0.6 | | | | | Mar 2024 | 4 | | | | | Mar 2024 | 1.2 | | | | | Mar 2024 | 2 | | | | | Feb 2024 | 1 | | | | | Feb 2024 | 1 | | | | | Jan 2024 | 4 | | | | | Dec 2023 | 1.6 | | | | | Dec 2023 | 4 | | | | | Dec 2023 | 4 | | | | | Nov 2023 | 2 | | | | | Oct 2023 | 6 | | | | | Oct 2023 | 1 | | | | | Sep 2023 | 2 | | | | | Sep 2023 | 2 | | | | | Aug 2023 | 0.6 | | | | | Aug 2023 | 4 | | | | | Jul 2023 | 8 | | | | | Jul 2023 | 8 | | | | | Jun 2023 | 1 | | | | | May 2023 | 4 | | | | | Apr 2023 | 8 | | | | | Apr 2023 | 12 | | | | | Apr 2023 | 2 | | | | | Apr 2023 | 2 | | | | | Apr 2023 | 2 | | | | | Mar 2023 | 1 | | | | | Mar 2023 | 6 | | | | | Mar 2023 | 8 | | | | | Feb 2023 | 8 | | | | | Feb 2023 | 4 | | | | | Jan 2023 | 6 | | | | | Dec 2022 | 8 | | | | | Dec 2022 | 1 | | | | | Oct 2022 | 6 | | | | | Oct 2022 | 6 | | | | | Oct 2022 | 4 | | | | | Oct 2022 | 4 | | | | | Sep 2022 | 8 | | | | | Sep 2022 | 4 | | | | | Sep 2022 | 2 | | | | | Sep 2022 | 16 | | | | | Sep 2022 | 6 | | | | | Aug 2022 | 2 | | | | | Aug 2022 | 3 | | | | | Jul 2022 | 0.6 | | | | | Jul 2022 | 8 | | | | | Jul 2022 | 1 | | | | | Jul 2022 | 8 | | | | | Jul 2022 | 3 | | | | | Jul 2022 | 6 | | | | | Jul 2022 | 2 | | | | | May 2022 | 2 | | | | | Jun 2022 | 4 | | | | | Jun 2022 | 4 | | | | | Jun 2022 | 6 | | | | | Jun 2022 | 4 | | | | | Jun 2022 | 2 | | | | | May 2022 | 2 | | | | | May 2022 | 4 | | | | | May 2022 | 4 | | | | | Apr 2022 | 6 | | | | | Apr 2022 | 4 | | | | | Apr 2022 | 4 | | | | | Apr 2022 | 4 | | | | | Mar 2022 | 1 | | | | | Mar 2022 | 6 | | | | | Mar 2022 | 4 | | | | | Mar 2022 | 2 | | | | | Feb 2022 | 4 | | | | | Feb 2022 | 4 | | | | | Feb 2022 | 6 | | | | | Feb 2022 | 4 | | | | | Feb 2022 | 4 | | | | | Feb 2022 | 8 | | | | | Feb 2022 | 8 | | | | | Feb 2022 | 1 | | | | | Jan 2022 | 6 | | | | | Jan 2022 | 6 | | | | | Jan 2022 | 8 | | | | | Jan 2022 | 8 | | | | | Dec 2021 | 4 | | | | | Dec 2021 | 4 | | | | | Nov 2021 | 4 | | | | | Nov 2021 | 6 | | | | | Nov 2021 | 6 | | | | | Nov 2021 | 12 | | | | | Oct 2021 | 3 | | | | | Oct 2021 | 6 | | | | | Oct 2021 | 4 | | | | | Sep 2021 | 6 | | | | | Sep 2021 | 2 | | | | | Sep 2021 | 6 | | | | | Aug 2021 | 5 | | | | | Aug 2021 | 6 | | | | | Aug 2021 | 8 | | | | | Aug 2021 | 6 | | | | | Jul 2021 | 2 | | | | | Jul 2021 | 6 | | | | | Jul 2021 | 2 | | | | | Jun 2021 | 4 | | | | | Jun 2021 | 2 | | | | | Jun 2021 | 6 | | | | | Jun 2021 | 6 | | | | | May 2021 | 4 | | | | | May 2021 | 6 | | | | | Apr 2021 | 6 | | | | | Apr 2021 | 4 | | | | | Apr 2021 | 6 | | | | | Apr 2021 | 1 | | | | | Apr 2021 | 6 | | | | | Apr 2021 | 3 | | | | | Mar 2021 | 6 | | | | | Mar 2021 | 6 | | | | | Feb 2021 | 0.57 | | | | | Feb 2021 | 8 | | | | | Feb 2021 | 4 | | | | | Jan 2021 | 2 | | | | | Jan 2021 | 6 | | | | | Jan 2021 | 1 | | | | | Dec 2020 | 8 | | | | | Nov 2020 | 4 | | | | | Nov 2020 | 4 | | | | | Nov 2020 | 4 | | | | | Nov 2020 | 4 | | | | | Oct 2020 | 3 | | | | | Oct 2020 | 6 | | | | | Sep 2020 | 6 | | | | | Sep 2020 | 3 | | | | | Aug 2020 | 6 | | | | | Aug 2020 | 1 | | | | | Aug 2020 | 1 | | | | | Aug 2020 | 4 | | | | | Jul 2020 | 6 | | | | | Jul 2020 | 3 | | | | | Jul 2020 | 1 | | | | | Jul 2020 | 2 | | | | | Jun 2020 | 4 | | | | | Jun 2020 | 4 | | | | | May 2020 | 6 | | | | | Apr 2020 | 0.43 | | | | | Apr 2020 | 0.43 | | | | | Mar 2020 | 2 | | | | | Mar 2020 | 1 | | | | | Feb 2020 | 0.28 | | | | | Feb 2020 | 2 | | | | | Jan 2020 | 2 | | | | | Jan 2020 | 4 | | | | | Jan 2020 | 1 | | | | | Oct 2019 | 3 | | | | | Oct 2019 | 4 | | | | | Oct 2019 | 10 | | | | | Sep 2019 | 2 | | | | | Sep 2019 | 10 | | | | | Sep 2019 | 13 | | | | | Sep 2019 | 4 | | | | | Aug 2019 | 13 | | | | | Aug 2019 | 4 | | | | | Aug 2019 | 2 | | | | | Jul 2019 | 8 | | | | | May 2019 | 3 | | | | | May 2019 | 4 | | | | | May 2019 | 5 | | | | Unity Coin | Apr 2019 | 1 | | | | | Apr 2019 | 8 | | | | | Mar 2019 | 4 | | | | | Mar 2019 | 3 | | | | | Mar 2019 | 5 | | | | | Mar 2019 | 1 | | | | | Mar 2019 | 5 | | | | | Feb 2019 | 4 | | | | | Jan 2019 | 1 | | | | | Jan 2019 | 1 | | | | | Nov 2018 | 4 | | | | | Nov 2018 | 4 | | | | | Oct 2018 | 4 | | | | | Oct 2018 | 12 | | | | | Oct 2018 | 8 | | | | | Sep 2018 | 12 | | | | | Aug 2018 | 12 | | | | | Jul 2018 | 4 | | | | Jul 2018 | 1 | | | | Jun 2018 | 8 | | | | | May 2018 | 1 | | | | | Apr 2018 | 4 | | | | | Mar 2018 | 4 | | | | | Dec 2017 | 8 | | | | | Oct 2017 | 8 | | | | | Aug 2017 | 6 | | |#### NervOS

Starknet

Solana

Substrate

Tendermint/Cosmos

Tezos

TON

その他/マルチチェーン


Read more

ツールをダウンロード
論文タイトル発表場所公開日
ソフトウェア・デブローティングツールの広範な比較評価USENIX Security 20242024
PolyTracker: 入力全体の動的情報フロー追跡ISSTA 20242024
Endokernel: 軽量サブプロセス分離のためのスレッドセーフなモニタUsenix Security 20242024
カバレッジガイド型Rubyファザーの設計と実装CSET 242024
テストハーネスの切断Mutation 20242024
VAST: C/C++ 向け MLIR コンパイラEuroLLVM Devs' Meeting 20242024
PoTATo: ドメイン固有 MLIR ダイアレクトによる Points-to 解析EuroLLVM Devs' Meeting 20242024
Careful with MAc-then-SIGn: EDHOC 軽量認証鍵交換プロトコルの計算分析Euro S&P 20232023
現代の証明システムに対する弱い Fiat-Shamir 攻撃IEEE S&P 20232023
Endoprocess: プログラム可能で拡張可能なサブプロセス分離NSPW 20232023
CIVSCOPE: コンパートメントインターフェースにおける潜在的なメモリ破壊バグの分析SOSP KISV 20232023
ハイブリッド制御およびデータフロー分析による可変性バグの検出LangSec 20232023
Blind Spots: 無視されたプログラム入力を自動検出するLangSec 20232023
実世界プロセッサにおけるソフトウェア悪用可能性の効率的な証明PETS 20232023
AIシステムの包括的なリスク評価と保証に向けてarXiv2023
x86-64 バイナリリライタの広範な比較評価CSET 222022
等価な並行計算の最適化についてPLDI EGRAPHS 20222022
差分ミューテーションによる静的解析ツールの評価QRS 20212021
echidna-parade: 多様なマルチコアスマートコントラクトファジングISSTA 20212021
x86-64 命令デコーダの差分分析LangSec 20212021
Echidna: スマートコントラクトのための効果的・実用的・高速なファジングISSTA 20202020
ICARUS: 羽毛と蝋による事実上の標準フォーマットの理解LangSec 20202020
パーサ実装のセマンティックラベリングによる自動文法抽出に向けてLangSec 20202020
重要なスマートコントラクトにおける実際の欠陥は何か?FC 20202020
Echidna: 実用的なスマートコントラクトファザーFC 20202020
RSA GTFOPoC||GTFO 0x202020
Manticore: バイナリとスマートコントラクトのシンボリック実行ASE 20192019
Slither: スマートコントラクト向け静的解析フレームワークWETSEB 20192019
機械学習を用いたよりスマートな脆弱性発見に向けてAISec 20182018
Cyberdyne の過去、現在、そして未来IEEE S&P2018
DeepState - C および C++ のシンボリックユニットテストBAR 20182018
Capture-the-Flag 演習におけるサイバー欺瞞と帰属FOSINT-SI 20152015
論文タイトル著者公開日
CodeQL を使用した OpenVPN2 の暗黙的変換の検出Paweł PłatekSep 2025
中央集権型暗号通貨取引所におけるアカウント乗っ取り防止の推奨プラクティスShaun Mirani, Kelly Kaoudis, and Evan SultanikFeb 2025
入力駆動型再帰: 進行中のセキュリティリスクAlexis Challande and Brad SwainDec 2024
OpenSearch ベンチマーク評価Evan Downing, Riccardo Schirone, Francesco Bertolaccini, and Ronald EytchisonAug 2024
Cedar、Rego、OpenFGA ポリシー言語: 言語セキュリティの比較評価Ian Smith and Kelly KaoudisAug 2024
AIベースシステムの包括的なリスク評価と保証に向けてHeidy KhlaafMar 2023
ブロックチェーンは分散化されているか? 分散型台帳における意図しない中心性Evan Sultanik et al.Jun 2022
本当にブロックチェーンが必要か? 運用リスク評価Evan Sultanik and Mike MyersJun 2022
リンク説明
テストハンドブック静的解析ツールと動的解析ツールの構成と自動化のためのガイド
ZKDocsゼロ知識証明システムに関するインタラクティブなドキュメント
安全なスマートコントラクトの構築安全なスマートコントラクトを開発するためのベストプラクティス
CTF フィールドガイドCapture The Flag コンテストで勝つためのフィールドガイド
Ruby セキュリティフィールドガイド実践的な Ruby セキュリティガイド
発表タイトル著者年
Go で隠れたオーバーフローを見つける: コンパイラの限界を超えたファジングKevin Valerio2026
Buttercup: オープンソースソフトウェアのバグを大規模に自律的に発見・修正Ronald Eytchison2025
Buttercup: DARPA の AI Cyber Challenge に対する Trail of Bits ソリューションの未来Trent Brunson2025
Buttercup と DARPA の AI Cyber Challenge、Ringzer0Henrik Brodin, Ronald Eytchison2025
AI Cyber Challenge に参加した私たちの経験Michael Brown et al.2025
Buttercup と DARPA の AI Cyber Challenge、CSAWRonald Eytchison2024
あなたの緩和策は私の好機Yarden Shafir2023
ハイブリッド制御とデータフローによる可変性バグの検出Kelly Kaoudis, Henrik Brodin, Evan Sultanik2023
Blind Spots: 悪用可能なプログラム入力の特定Henrik Brodin, Evan Sultanik, and Marek Surovič2023
MLIR はプログラム解析の未来であるPeter Goodman2023
計算的犠牲の免罪に関する説教; あるいは、不条理な NES ゲームをプログラミングすることの過剰な祝福Evan Sultanik2021
x86-64 命令デコーダの差分分析William Woodruff, Niki Carroll, Sebastiaan Peters2021
(根本) 真実が現実でないときにバグを見つける方法William Woodruff2020
パーサ実装のセマンティックラベリングによる自動文法抽出に向けてCarson Harmon, Brad Larsen, Evan Sultanik2020
ファイルの裏切りと、それを飼いならす2つの新しいツールEvan Sultanik2019
ファジーな暴君をシンボリックに実行するStefan Edwards2019
KRF によるカーネル空間フォールトインジェクションWilliam Woodruff2019
KLEE-Native によるバイナリシンボリック実行Sai Vegasena2019
Linux カーネルで sicko モードに入るWilliam Woodruff2019
Binary Ninja を使った脆弱性モデリングJosh Watson2018
ファイルポリグロット; あるいは、この PoC は猫の写真でもあるEvan Sultanik2017
バイナリロックスターになるSophia D'Antoine2017
人間のためのシンボリック実行Mark Mossberg2017
90年代の精神は今もブルックリンに生きているRyan Stortz, Sophia D'Antoine2017
静的解析と動的解析の対決の夢Ryan Stortz2016
自動エクスプロイト生成のためのバイナリ制約ソルビングSophia D'Antoine2016
スマートファザー革命Dan Guido2016
スケーラブルな自動ハッキングシステムの構築Artem Dinaburg2016
Cyberdyne - 大規模な自動バグ発見Peter Goodman2016
McSema: x86 から LLVM IR への静的変換Andrew Ruef, Artem Dinaburg2014
スマートコントラクトのテストと検証: 理論から実践へ
ERC20トークンとの安全な統合
Manticoreによるトランザクション置換攻撃の検出
DeFiハックと将来の脅威: セキュアなプロトコル設計における経済学の役割
素晴らしいバグとその退治法; あるいはSolidityの罪
SlithIR: SolidityのIRによる高精度なセキュリティ解析
Slither: スマートコントラクトのための静的解析フレームワーク
ブロックチェーンが正しくやったこと
ブロックチェーン企業のための伝統的な情報セキュリティ
スマートコントラクトのプロパティテスト
安全でないプログラミング言語の解剖学
コントラクトアップグレードのリスクと推奨事項
ブラックハットEthereum
ブロックチェーン剖検 - スマートコントラクトの死を分析する
Rattle - Ethereum EVMバイナリ解析フレームワーク
Ethereumブロックチェーン上の価値を守る
バイナリ解析、ブロックチェーンと出会う
ブロックチェーンのための自動バグ発見
発表タイトル発表者年
LLVMにおける定数時間コーディングのサポートJulius Alexandre2025
ソフトウェアデブローティングツールの広範な比較評価Michael D. Brown, Adam Meily, Eric Kilmer, Ronald Eytchison2024
MLIRにおけるLLVM解析の再利用: IRのタワーを越えて、また往復するHenrich Lauko2024
VAST: C/C++のプログラム解析のためのMLIRHenrich Lauko2022
x86-64バイナリリライタの広範な比較評価Michael D. Brown2022
等価な並行計算の最適化についてHenrich Lauko, Lukáš Korenčik, Peter Goodman2022
発表タイトル発表者年
QUICに切り込む: ハッシュDoSによるQUICの性能低下Paul Bottinelli2025
One, Two, TEE: 数への信頼がハードウェアセキュリティと出会うPaul Bottinelli2025
現代の証明システムに対する弱いFiat-Shamir攻撃Jim Miller2024
PyCA CryptographyのためのRustによるパス検証ライブラリの構築William Woodruff2024
Python向けX.509パス検証の実装William Woodruff2024
MAc-then-SIGnにご用心Marc Ilunga2023
PGPよ、死ねWilliam Woodruff2022
本気で、RSAの使用をやめようBen Perez2019
Pythonでの暗号化のベストプラクティスPaul Kehrer2019
FlameにおけるMD5衝突の解析Alex Sotirov2012
発表タイトル発表者年
再現可能なベンチマーキング: OpenSearch vs Elasticsearchの探求Evan Downing2025
エビデンス駆動型セキュリティエンジニアリングDan Guido2019
osqueryによるLinuxセキュリティイベントのモニタリングAlessandro Gario2019
osql: コミュニティ指向のosqueryフォークStefano Bonicatti, Mark Mossberg2019
osquery入門Lauren Pearl, Andy Ying2018
osqueryのスーパー機能Lauren Pearl2018
osquery拡張スカンクワークスMike Myers2018
作って壊して直すAndrew Ruef2014
発表タイトル発表者年
Semgrep入門 および
Semgrep練習問題
Maciej Domański, Matt Schwager, Spencer Michaels2024
おおむねやさしいLLVM入門William Woodruff2022
JWT、そしてなぜそれらはダメなのかRory M2021
Pwningの喜びSophia D'Antoine2017
CTFの方法 - 他人のコンピュータを取得して使用する(OPC)Jay Little2014
低レイヤセキュリティAndrew Ruef2014
セキュリティとあなたのビジネスAndrew Ruef2014
パーティーに何も持参しないVincenzo Iozzo2013
ある象牙の塔から別の象牙の塔へVincenzo Iozzo2012
発表タイトル発表者年
Trail of BitsをAIネイティブにした方法(これまでのところ)Dan Guido2026
本番AIシステムに対する画像スケーリングの武器化Kikimora Morozova, Suha Sabi Hussain2025
間接プロンプトインジェクション: 実世界のAI/MLシステムに対するアーキテクチャ的テストアプローチWill Vandevanter2025
ポリグロットからプロンプトインジェクションへ: パースは実行である(そしてあなたのLLMはそのことを知らない)Evan Sultanik2025
サイバーセキュリティにおけるフロンティアAI: リスクと機会Dan Guido, Riccardo Schirone2025
AIとセキュリティの現在と未来Evan Downing2024
培養された機械学習エクスプロイト: 入力処理のバグを利用したMLパイプラインへのバックドア埋め込みSuha Sabi Hussain2024
包括的なML脅威モデルAdelin Travers2024
ソフトウェア解析のためのグラフベース機械学習アルゴリズムの利用Michael D. Brown2023
機械学習Pickleファイルを悪用するCarson Harmon, Evan Sultanik, Jim Miller, Suha Sabi Hussain2021
PrivacyRaven: 深層学習のための包括的なプライバシーテストSuha Sabi Hussain2020
発表タイトル発表者年
Traceroute6によるmacOSの特権昇格Paweł Płatek2025
SwiftリバーシングRyan Stortz2016
モダンiOSアプリケーションセキュリティSophia D'Antoine, Dan Guido2016
モバイルエクスプロイトインテリジェンスプロジェクトDan Guido2012
モバイル脅威の物語Vincenzo Iozzo2012
発表タイトル発表者年
Pythonの内部構造 - dictについて語ろうDominik Czarnota2019
Pwndbgによる低レイヤデバッグDominik Czarnota2018
Pythonで避けるべき安全でないことDominik Czarnota2018
2015
発表タイトル発表者年
アテステーション: PyPIにおける新しい世代の署名William Woodruff2025
PyPIにおけるサプライチェーンセキュリティの次の5年William Woodruff2024
PEP 740とPyPI: Pythonエコシステム向け来歴のブートストラップWilliam Woodruff2024
PyPIに対するゼロトラストな未来を想像するWilliam Woodruff2024
ビルド来歴: Homebrewからの教訓(これまでのところ)Joe Sweeney2024
パッケージングエコシステム全体に対するコード署名とはどのようなものか?William Woodruff2023
Trusted Publishingでパッケージエコシステムを保護するWilliam Woodruff2023
Trusted Publishing: PyPIからの教訓William Woodruff2023
SigstoreによるPythonエコシステムのためのエルゴノミックなコード署名William Woodruff2023
PythonパッケージングのためのSigstore: 導入に向けた次のステップWilliam Woodruff2022
PythonパッケージングのミステリーミートWilliam Woodruff2022
ソフトウェアサプライチェーンを保護するための自動化ツールMichael D. Brown2022
二要素認証でPyPIのセキュリティを向上させるWilliam Woodruff2019
Dan Guido
2013
Risky Biz
Risky Biz 759
Resilience Rundown
Risky Biz
MLSecOps March 20
yWhales
Risky Biz 707
ASW 229
Risky Biz 690
Risky Biz 672
Cloud Security Reinvented
Skiff Office Hours
Risky Biz 652
Secureum Safecast #3
Secureum Safecast #2
Press Freedom Foundation
Employee Cycle
Risky Biz 614
Building Better Systems 6
WCBS 880
Risky Biz 594
Epicenter 346
Absolute AppSec 97
Unchained 170
Risky Biz 580
Absolute AppSec 91
Zero Knowledge 122
Changelog
Risky Business 559
FOSS Weekly 545
Podcast.__init__ 225
Absolute AppSec 68
Hashing it Out 53
Absolute AppSec 60
Absolute AppSec 55
Hashing it Out 35
Risky Biz 526
Absolute AppSec 37
Risky Biz 510
Absolute AppSec 34
The Smartest Contract 15
Zero Knowledge 16
Risky Biz 488
Risky Biz 474
Georgian Partners 47
AlgoVPN
VUC 643
AlgoVPN
Risky Biz 449
Risky Biz 425
Risky Biz 421
Risky Biz 416
Risky Biz 399
Apple 対 FBI
Risky Biz 348
Risky Biz 370
タイトル講演者日付
監査前に修正すべき主要な TEE バグTjaden Hess、Paul Bottinelli、Jules DreanDec 2025
安全なエンドツーエンド暗号化システムの構築Marc Ilunga と Fredrik DahlgrenDec 2025
Wiretap と Battering RAM の後:TEE ベースのブロックチェーンインフラはどう変わるかTjaden Hess と Andy CampbellNov 2025
MCP セキュリティ深掘り:攻撃から防御までKeith Hoodlet、Cliff Smith、Vineeth Sai Narajala、Manish BhattJul 2025
セキュリティ監査:Trail of Bits のベストプラクティスChris Dahlheimer、Lindsay Rakowski、Vanessa GennarelliMar 2025
Burp Suite を使った Web リサーチの習得Keith Hoodlet、Cliff Smith、James KettleJun 2024
CodeQL 入門:例、ツール、CI 統合Filipe Casal と Fredrik DahlgrenMar 2024
Semgrep 入門Maciej Domanski と Matt SchwagerJan 2024
トピック機関日付
AI/ML Ops 向け自動 AI 部品表U.S. Army PEO IEW&SDec 2023
オープンソースソフトウェアセキュリティ:長期的な焦点と優先順位の領域ONCD、CISA、NSF、DARPA、OMBNov 2023
AI の国家安全保障への影響を理解するWhitehouse OTSPJul 2023
AI の説明責任、規制、監査NTIAJun 2023
倫理的・法的・社会的領域における AI 保証のための包括的リスク評価フレームワークDARPAJun 2023
暗号資産市場のセキュリティを理解するCFTCMar 2023
侵入・監視ソフトウェアの規制米国商務省Jul 2015
クライアント焦点日付作業
量
ケーススタディ
TurnkeyTEE と AWS Nitro Enclaves インフラJun 20268📖
Vantaマルチテナント分離アーキテクチャレビューNov – Dec 20256📖
ScopelyMonopoly GO! の PRNG 公平性設計評価Dec 20242📖
Hugging FaceGradio 5.0 リリース前セキュリティ評価Jun – Jul 20244📖
ScrollzkEVM 回路セキュリティレビューApr – Sep 202345.8📖
プロダクト日付作業
量
発表レポート
FraxGovMay 20234📄✅
Fraxlend と veFPISJan 20234
Fraxlend と FraxFerryOct 20224📄
FraxMay 20224📄
FraxDec 20214📄
FraxMay 20214📄
プロダクト日付作業
量
発表レポート
MobileCoinJul 20222📄
Fog ProtocolJan 20214📄
MobileCoin BFTOct 20204📄
MobileCoinAug 20204📄
Offchain Arbitrum Block Hash Pusher
📄
Offchain ArbOS 40 Nitro
📄
Offchain Reward Distributor Fixes
📄
Offchain Sequencer Liveness
📄
Offchain Custom Fee Bridge & EIP-7702
📄
Offchain Geth 14.4 Pectra
📄
Offchain Custom Fee Exchange Rate
📄
Offchain Security Council Rotation
📄
Offchain DisableGateway USDT
📄
Offchain BoLD Fixes
📄
Offchain Stylus Emergency Fixes
📄
Offchain BoLD History Commits
📄
Offchain Nitro with BoLD
📄
Offchain Stylus
📄✅
Offchain RARI
📄
Offchain Office Hours Action
📄
Offchain Timeboost Auction
📄
Offchain Orbit Actions
📄
Offchain USDC Gateway
📄
Offchain BoLD & DAC Rewards
📄
Offchain Arbitrum Stylus
📄
Offchain L1-L3 Teleporter
📄
Offchain ArbOS 31
📄
Offchain ArbOS 30 Nitro
📄
Offchain BoLD
📄
Offchain ArbOS
📄
Offchain Arbitrum
📄
Offchain Token Bridge Creator
📄
Offchain Custom Fee Token
📄
Offchain Arbitrum Challenge v2
📄✅
製品日付工数
レベル
発表レポート
Reserve Protocol Solidity 4.0.0Jun 20253.6📄✅
Reserve Protocol Solana DTFsApr 20252📄✅
Reserve Folio Solidity-Based ContractsApr 20252📄✅
Reserve ProtocolAug 20228📄, ✅
Reserve ProtocolMar 20191📄
製品日付工数
レベル
発表レポート
Scroll Feynman Upgrade Smart Contract ChangesJul 20251📄
Scroll Euclid Phase 2Apr 20254Scroll📄✅🔖
Scroll Euclid Phase 1Apr 20253Scroll📄✅🔖
Scroll zstd CompressionJun 202412📄✅
Scroll ZkEVM 4844 BlobApr 20246📄✅
Scroll ZkEVM Wave 3Sep 20239📄✅
Scroll l2geth [diff] Aug 20232📄
Scroll l2geth [initial]Aug 20232📄
Scroll ZkEVM Wave 2Aug 20236📄✅
Scroll zkTrieJul 20234📄✅
Scroll ZkEVM Wave 1Apr 202323📄✅
製品日付工数
レベル
発表レポート
Uniswap v4 CoreJul 20246📄✅
Uniswap Browser ExtensionFeb 20246📄✅
UniswapSep 20234📄✅
Uniswap Mobile WalletAug 20224📄✅
Uniswap V3 StakerJun 20212
Uniswap V3Mar 202110Uniswap📄
製品日付工数
レベル
発表レポート
ArmorLockApr 20226
Optimus ROMJan 20224
Secure TransportApr 20204
Western Digital Sweet BJan 20204Western Digital📄
SanDisk X600May 20196SanDisk X600 の複数の脆弱性📄
製品日付工数
レベル
発表レポート
YOLOv7Oct 20234📄
SafeTensorsMar 20232📄
📄
Calyx Institute HSM Provisioning Ceremony Scripts
📄✅
BSV Blockchain TS-SDK
📄✅
Bron Labs MCP Library
📄✅
NEAR One Confidential Key Derivation
📄✅
Zama
DFINITY Orbit
📄✅
DFINITY Oisy
📄✅
Google Longfellow
📄✅
Open Quantum Safe liboqs
Open Quantum Safe
📄
Go Crypto Libraries
Go
📄✅
Zkonduit EZKL
EZKL
📄✅
Scopely Monopoly Go!
🔖
Aligned
📄✅
Discord DAVE
Discord
📄✅
Discord DAVE
Discord
📄✅
Lit Protocol Cait-Sith
📄✅
Iron Fish FishHash
Iron Fish
📄✅
AgileBits Snow
📄✅
Silence Laboratories Silent Shard
📄✅
Snow
📄✅
Ockam
Trail of Bits
📄
Dfinity Candid
📄✅
Axiom Halo2 Library Upgrades
Axiom
📄✅
Aleo snarkVM, snarkOS, BullsharkBFT
Aleo
📄✅
Axiom Halo2 Libraries
Axiom
📄✅
Dfinity ckBTC and BTC Integration
フォーラム
ブログ
Dfinity SNS Phase 2
フォーラム
ブログ
📄
Thesis tss-lib BitForge
Threshold
📄✅
Chainflip
Chainflip
📄✅
Stealth Addresses
📄✅
Succinct ZK Light Client
Succinct
📄✅
noble-curves Library
📄✅
ParaSpace
📄
Phantom Wallet
ParaSpace
📄
✅
SimpleX Chat
SimpleX
📄
Dfinity
フォーラム
ブログ
📄✅
Aleo snarkVM
📄✅
Microsoft/Verasion Go-COSE
📄✅
BLS Signature Scheme
Binance CGGMP21 and FROST
Aleo snarkVM & snarkOS
Phantom Wallet
Parallel Finance
📄
Polkadex
Linux Kernel
リリース署名と管理
📄
Standard Notes
Standard Notes
📄
Project Callisto
WhatsApp
Trail of Bits
📄✅
Discord E2EE WebAssembly
📄
libVLC
📄
NATS Server
📄✅
Istio Ztunnel
OSTIF
Istio
📄✅
RubyGems.org
📄
Kraken Wallet In-App Browser
📄✅
Kraken Wallet iCloud Backup
📄✅
Hugging Face Gradio
Hugging Face
Trail of Bits
📄✅
Zoo KittyCAD
📄✅
Polygon Labs Iden3 Circuits
📄✅
Kraken Mobile Wallet
Kraken
📄✅
Eclipse Temurin
対応
OSTIF
Eclipse Foundation
📄✅
Arch Linux Pacman
OTF
📄✅
cURL HTTP3
OSTIF
Daniel Stenberg
📄
Lisk SDK 6.1 modules
📄✅
OpenSSL
OSTIF
OpenSSL
📄✅
PyPI Warehouse
PyPI
Trail of Bits
📄✅
wasmCloud
📄✅
Worldcoin
📄✅
Homebrew
📄
DigitalOcean OIDC
📄
Flux
OSTIF
Flux
📄✅
Lisk SDK
📄✅
DragonFly2
Dragonfly
OSTIF
📄✅
Eclipse JKube
OSTIF
Eclipse
📄✅
Chainflip
Chainflip
📄✅
Eclipse Mosquitto
OSTIF
Eclipse
📛
📄✅
Eclipse Jetty
Jetty
Eclipse
📄✅
Spool Platform
📄✅
Redpanda Platform
Injective Labs Options Market
OpenVPN3
OpenVPN2
OpenVPN
📄✅
OpenArchive Save (Android)
OpenArchive Save
📄✅
Enclave Markets
Fiat Ramps
cURL
OSTIF
Daniel Stenberg
Trail of Bits
📄✅
📛
CloudEvents
OSTIF
📄
OpenArchive Save (iOS)
OpenArchive Save
📄✅
AlphaSOC API
📄✅
Consul Enterprise
snarkVM
📄✅
Hashicorp Boundary
Skiff
Terraform Cloud
Datadog
MATTR
ArmorLock
DigitalOcean Function
Auvik Collector
Fuchsia Platform
Optimus ROM
BitcoinBeach
📄
osquery
📄
Redjack
DigitalOcean Cloud
SpruceID
📄
Doppler
Datadog Agent
Appian
Cashero-2.0
Orbit
VGS Proxy
Skiff
CircleCI Server 3.0
CircleCIでのペネトレーションテスト
BitMEX
SecureDrop
SecureDrop Workstationの2回目の監査
📄
Citizen Browser
Facebookインスペクターを構築した方法
Ren
8月の開発アップデート
📄
Hey.com
本格的なセキュリティ
📄
Azure Sphere
Azure Sphere 20.07 セキュリティ強化
Zoom
90日間完了、Zoomの次は何か
Secure Transport
ZeroTier 2.0
ZeroTier
📄
Voatz
Voatz
Tusk
📄
📛
Vault
Voice
Azure Sphere
zlib
📄
製品日付作業
レベル
発表レポート
KEDADec 20226OSTIF📄
Terraform EnterpriseNov 20226
Nomad EnterpriseNov 20226
HashiCorp CloudJun 20229
TektonMar 20224Tektonセキュリティレビュー完了📄
LinkerdFeb 20224📛📄✅
CoreDNSJan 20224📄
Terraform EnterpriseNov 20216
Nomad EnterpriseNov 20216
Consul EnterpriseOct 20216
Vault EnterpriseOct 20216
HashiCorp CloudJun 20218
ArgoMar 20214📛📄
Terraform CloudJan 20216
ConsulOct 202010
NomadAug 20206
HelmAug 20204Helm 第2回セキュリティ監査📄
TerraformMar 20206
OPAMar 20202Open Policy Agent (OPA) 卒業提案📄
etcdJan 20204CNCF📄
RookDec 20192CNCF📄
KubernetesMay 201912Google, CNCF📛📄📰
製品日付作業
レベル
発表レポート公開スイート
PanopticMay 20249📄
CurvanceMar 20245📄公開インバリアント
製品日付作業
レベル
発表レポート
Gemini Smart WalletAug 20254📄✅🔖
Otim Smart WalletMar 20253📄✅
dappOS v2 walletJul 20233📄✅
WalletConnect v2.0Mar 20234WalletConnect📄✅
Phantom WalletNov 20222
GameStop iOS Web WalletNov 20221
GameStop WalletMar 20222GameStopウォレット
RAILGUNFeb 20224
Casper Web WalletJul 20214📄
ArgentAug 20204
MagmaJun 20201📄
Dharma WalletOct 20194📄
ZecWalletApr 20192📄
Web3Mar 20182W3FとTOBのハードウェアウォレットガイダンス💬
製品日付作業
レベル
発表レポート
Folks Finance ProtocolNov 20226📄✅
wXTZNov 20204📄
wALGONov 20204📄
Meld GoldJul 20202
PixelDec 20194
AlgorandMar 201914Algorandの成功と勢い
製品日付作業
レベル
発表レポート
Ava Labs AvalancheGoAug 202510📄
Alkimiya Silica V2Jun 20226
Ava LabsApr 20228
Flare NetworkMar 20218
Franklin Templeton BenjiSwap Contract
📄✅
Radius Technology EVMAuth
📄✅
Shape Buyback Contract
📄✅
Starkware StarkEx Diff
📄
Shape Token Contract
📄✅
CAP Labs Covered Agent Protocol
📄✅
Fabric Labs Zipper Protocol
📄✅
Lagrange LAToken
📄
Serai DEX
📄✅
Automata
📄✅
Bunni v2
📄✅
Everstake Staking
📄✅
Parabol Smart Contracts Updates
📄
BeethovenX Sonic Staking
📄✅
Balancer v3
📄✅
ULTI
📄✅
EthStaker Deposit CLI
📄✅
Plume
📄✅
Treehouse tETH Protocol
📄✅
Elixir Protocol
📄✅
Onchain Pass
📄✅
Taraxa Ficus Bridge
📄✅
Devcon Auction Raffle
📄✅
Aladdin f(x) Oracle
📄✅
AiLayer 6079 Contracts
📄✅
Hydrogen Rover Protocol
📄
Lisk Smart Contracts
📄✅
Parabol Smart Contracts
📄✅
Wonderland Prophet
📄✅
SEDA Chain Token Migration
📄✅
Lisk Smart Contracts
📄✅
Bondex Smart Contracts
📄
Aladdin f(x) Protocol
📄✅
Puffer Finance Contracts
📄✅
Intuition
📄
Helios Global
📄✅
ScopeLift Stealth Addresses
📄✅
MetaLayer Blast
📄✅
Unibot Router
📄✅
Acronym Foundation
📄✅
Pyth Entropy
📄
Immutable Bridge
📄✅
Salty.IO Protocol
📄✅
Spiko Smart Contracts
📄✅
Hyperlane v3
📄✅
Elixir Contracts
📄✅
NZDD token
📄✅
Immutable
📄✅
Sandclock
📄✅
Arcade
📄✅
Nested Tetris/HyVM
📄✅
Franklin Templeton
📄✅
Prysm
📄✅
Ajna Protocol
📄✅
Raft
📄✅
MYSO v2
MYSO
📄✅
Smardex AMM
📄✅
Waymont
Atlendis
Atlendis
📄✅
Primitive Hyper
📄✅
Succinct Light Client
Succinct
📄✅
Nested Finance
📄✅
Polygon Edge
Optimism
Paxos PayPal PYUSD
📄✅
GSquared
📄
✅
Meson Protocol
📄
✅
Managed Pools
📄
Ondo
📄
✅
Maple Protocol v2
📄✅
Increment Protocol
📄
✅
Subspace Farmer
📄
✅
Optimism
📄
Nayms
Aggregator
The Franchiser
Meson Protocol
📄
ChainPort
📄
✅
Relay
Beanstalk
Beanstalk
📄
✅
Purpose for Profit
Solon
Roll
Ante Protocol
📄
✅
Sherlock
FlareFinance
TBTv2
Morpho
Morpho
📄
Relayer Contracts
AuctionRaffle
Seaport Protocol
OpenSea
📄
Shell Protocol v2
📄
Optimism
NFTX
NFTX
📄
ReserveLending+
unFederalReserve
Firefly
Maple Finance
📄✅
Gyroscope
LooksRare
📄
Symbiosis
RAILWAY
Persistence ETH2.0
Advanced Blockchain
📄
Perpetual Protocol V2
📄
Futureswap V4.1
Firefly
API3
📄
Beethoven X
📄
Minterest Finance
pSTAKE
Primitive
Primitive
📄
Strips Finance
Cardstack
Sherlock Protocol V2
📄
Maple
Maple
📄
Advanced Blockchain
📄
Opyn
📄
Aave V3
📄✅
Tokemak
Fuji Finance
📄
V2 Vault
Yield V2
📄
Gro protocol
Futureswap V4
RocketPool
📄
AlphaX
Bug Bounty Platform
88mph V3
📄
Timeswap
CompliFi
📄
Optics
FlareFinance
Abyss Lockup
Futureswap V3
CompliFi
Syndicate
Opyn Gamma
📄
Yearn v2 Vaults
📄
Balancer v2
📄
DFX Finance
Tokemak
Warp Contracts
Composable
📄
FlareFinance
MC Dai
dForce Lending
Liquity Proxy Contract
📄
Liquity Protocol
📄
RAY-DAO
Futureswap
Balancer V2
C.R.E.A.M.
📄
LUSD
📄
Origin Dollar
Origin Protocol
📄
Zerion SDK
Teller Protocol
Hermez
Hermez
📄
Graph Protocol
OVM
Prysm
DODO
📄
Yield Protocol
📄
Smart Pool
DeFiner
ETH2.0 Deposit CLI
📄
CurveDAO
📄
Amp
📄
Federated Bridge
dForce dToken
📄
Matic
Lighthouse
tBTC
📄
QTUM
📄
Hegic
📄
Golem Network
Reddit
A New Frontier
Chai
📄
Compound
📄
WorkLock
NuCypher
📄
Balancer
📄
Curve.fi
📄
Livepeer
Topo Finance
0x Protocol
📄
Flexa
Flexa
📄
AZTEC Protocol
📄
Oasis Labs
Aave Protocol
📄
MC Dai
MakerDAO
📄
Staked
Compound
📄
Computable
Computable
📄
Numerai
Numerai
📄
MerkleX
TokenCard
📄
Compound
Compound
📄
Ocean Protocol
Ocean Protocol
UMA Project
Centrifuge
Nomisma
Set Protocol
Set Protocol
📄
NuCypher
NuCypher
📄
AMP StableWire
EIP-1283
ChainSecurity
📄
Ampleforth
Ampleforth
📄
Origin Protocol
Origin Protocol
📄
Paxos Standard
📄
Basecoin
📄
Pantheon
PegaSys
📄
Compound
Compound
NuCypher
NuCypher
📄
CENTRE
CENTRE
Bloom
Bloom
Gemini Dollar
Gemini
📄
Dharma
Dharma
Golem
Golem
📄
LivePeer
Livepeer
📄
DappHub
📄
MakerDAO Sai
MakerDAO
📄
Omega One
製品日付工数
レベル
発表レポート
xUDTJun 20212
Nervos -RSAMar 20214
Cheque Cell & ORUFeb 20218
Force Bridge - SolidityFeb 20214
Force Bridge - RustFeb 20213
Nervos SUDTOct 20206📄
製品日付工数
レベル
発表レポート
OpusDec 20238📄✅
AuraAug 20238📄✅
NostraDec 20228
StarkGateDec 20222
StarkExOct 20221
StarkNet tokenJul 20221
StarkPerpetualJan 20228
StarkExNov 20218
製品日付工数
レベル
発表レポート
Telcoin Solana Peg Stability VaultMay 20261.2📄✅
Jobcoin Clock-in ProgramMar 20260.6📄✅
Anza Token-2022 Confidential Transfer, BlockchainJan 20263📄
Franklin Templeton Benji ContractsFeb 20252📄✅
ZetaChain Solana GatewayJan 20251📄✅
Solang Code GenerationNov 20234📄
Solang Code Generation, Part 1Nov 20232📄
Squads V4Oct 20232Squads📄✅
Solang Parser and Semantic AnalysisSep 20232📄
Solang Solana LibraryJul 20231📄
Token-2022 ProgramFeb 20231📄✅
Drift ProtocolDec 20226Drift📄✅
SolanaApr 202212
製品日付工数
レベル
発表レポート
zkVerifyFeb 20253📄
ParaSpaceDec 20221📄
ParaSpaceNov 20227📄✅
Parallel FinanceMar 20226📄
PolkadexFeb 202210
PolkadexDec 20214
PINTSep 20214
PolkaswapAug 20216📄
AlephBFTJun 20214📄
Acala NetworkJun 20214
Compound ChainMay 20216
Acala NetworkJan 20216📄
Parity FetherAug 20194
ParityJul 201812ParityがTrail of Bitsのセキュリティレビューを完了📄
製品日付工数
レベル
発表レポート
Orga and MerkNov 202410Trail of Bits による Orga & Merk のセキュリティ監査📄✅
Berachain polaris-gethAug 20238
Berachain berachainJun 20236
UmeeFeb 20228📄
Columbus-5Jan 20222
IBC ProtocolDec 20214
THORChainAug 202112
TendermintMar 201912
ndauNov 20188政策評議会
製品日付工数
レベル
発表レポート
KolibriApr 20224
Tezori (T2)Dec 20204📄
DexterJun 20204📄
TezoriJul 20182@trailofbits によるセキュリティレビューに感謝
製品日付工数
レベル
発表レポート
TONCO CLAMM DEX v1.6Jan 202611TONCO v1.6 が公開されました📄✅
EVAA FinanceAug 20258.6📄✅
Swap Coffee TON DEXJul 20256📄✅
FIVA Yield ProtocolMay 20256📄✅
FIVA Evaa IntegrationMay 20256📄✅
Whales HoldersMay 20254📄✅
Whales NominatorsMay 20254📄✅
STON.fi DEX V2Jan 20258📄✅
Tact CompilerJan 20258📄✅
TON Foundation Multisignature WalletMar 20244📄✅
製品日付工数
レベル
発表レポート
Mina Decentralized TreasuryJun 20264.6📄✅
EthStaker Deposit CLIMar 20261📄✅
Chainlink LlamaRisk LlamaGuard NAV CREFeb 20261📄✅
Chainlink Custom Senders and ReceiversFeb 20254📄✅
Shape GasbackJan 20252📄✅
PixelSwap DEXDec 20246📄✅
Arkis PrimeDec 20245📄✅
Franklin Templeton AptosOct 20243📄✅
Wormhole Governors and WatchersMar 20238📄✅
DFINITY Canister SandboxSep 20222📄✅
DFINITY ECDSA/BTCSep 20224📄✅
FROST BLS ProtocolsJul 202212
SORA Trustless BridgeJul 20228
CAT StandardJun 20228
DFINITY Threshold ECDSAMay 20228
Arbitrum NitroMar 202216
DeGateFeb 20224📄
ShardXDec 20212
DeGateDec 20214
Threshold-DSANov 20216