Trail of Bits の出版物
| 論文タイトル | 著者 | 公開日 |
|---|---|---|
| CodeQL を使用した OpenVPN2 の暗黙的変換の検出 | Paweł Płatek | Sep 2025 |
| 中央集権型暗号通貨取引所におけるアカウント乗っ取り防止の推奨プラクティス | Shaun Mirani, Kelly Kaoudis, and Evan Sultanik | Feb 2025 |
| 入力駆動型再帰: 進行中のセキュリティリスク | Alexis Challande and Brad Swain | Dec 2024 |
| OpenSearch ベンチマーク評価 | Evan Downing, Riccardo Schirone, Francesco Bertolaccini, and Ronald Eytchison | Aug 2024 |
| Cedar、Rego、OpenFGA ポリシー言語: 言語セキュリティの比較評価 | Ian Smith and Kelly Kaoudis | Aug 2024 |
| AIベースシステムの包括的なリスク評価と保証に向けて | Heidy Khlaaf | Mar 2023 |
| ブロックチェーンは分散化されているか？ 分散型台帳における意図しない中心性 | Evan Sultanik et al. | Jun 2022 |
| 本当にブロックチェーンが必要か？ 運用リスク評価 | Evan Sultanik and Mike Myers | Jun 2022 |
| リンク | 説明 |
|---|---|
| テストハンドブック | 静的解析ツールと動的解析ツールの構成と自動化のためのガイド |
| ZKDocs | ゼロ知識証明システムに関するインタラクティブなドキュメント |
| 安全なスマートコントラクトの構築 | 安全なスマートコントラクトを開発するためのベストプラクティス |
| CTF フィールドガイド | Capture The Flag コンテストで勝つためのフィールドガイド |
| Ruby セキュリティフィールドガイド | 実践的な Ruby セキュリティガイド |
| 発表タイトル | 著者 | 年 |
|---|---|---|
| Go で隠れたオーバーフローを見つける: コンパイラの限界を超えたファジング | Kevin Valerio | 2026 |
| Buttercup: オープンソースソフトウェアのバグを大規模に自律的に発見・修正 | Ronald Eytchison | 2025 |
| Buttercup: DARPA の AI Cyber Challenge に対する Trail of Bits ソリューションの未来 | Trent Brunson | 2025 |
| Buttercup と DARPA の AI Cyber Challenge、Ringzer0 | Henrik Brodin, Ronald Eytchison | 2025 |
| AI Cyber Challenge に参加した私たちの経験 | Michael Brown et al. | 2025 |
| Buttercup と DARPA の AI Cyber Challenge、CSAW | Ronald Eytchison | 2024 |
| あなたの緩和策は私の好機 | Yarden Shafir | 2023 |
| ハイブリッド制御とデータフローによる可変性バグの検出 | Kelly Kaoudis, Henrik Brodin, Evan Sultanik | 2023 |
| Blind Spots: 悪用可能なプログラム入力の特定 | Henrik Brodin, Evan Sultanik, and Marek Surovič | 2023 |
| MLIR はプログラム解析の未来である |
| --- | --- | --- | | 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 | | ERC20トークンとの安全な統合 | Josselin Feist | 2021 | | Manticoreによるトランザクション置換攻撃の検出 | Sam Moelius | 2020 | | DeFiハックと将来の脅威: セキュアなプロトコル設計における経済学の役割 | Dan Guido | 2020 | | 素晴らしいバグとその退治法; あるいはSolidityの罪 | Evan Sultanik | 2019 | | SlithIR: SolidityのIRによる高精度なセキュリティ解析 | Josselin Feist | 2019 | | Slither: スマートコントラクトのための静的解析フレームワーク | Josselin Feist | 2019 | | ブロックチェーンが正しくやったこと | Dan Guido | 2019 | | ブロックチェーン企業のための伝統的な情報セキュリティ | Dan Guido | 2019 | | スマートコントラクトのプロパティテスト | JP Smith | 2018 | | 安全でないプログラミング言語の解剖学 | Evan Sultanik | 2018 | | コントラクトアップグレードのリスクと推奨事項 | Josselin Feist | 2018 | | ブラックハットEthereum | Ryan Stortz, Jay Little | 2018 | | ブロックチェーン剖検 - スマートコントラクトの死を分析する | Jay Little | 2018 | | Rattle - Ethereum EVMバイナリ解析フレームワーク | Ryan Stortz | 2018 | | Ethereumブロックチェーン上の価値を守る | Dan Guido | 2018 | | バイナリ解析、ブロックチェーンと出会う | Mark Mossberg | 2018 | | ブロックチェーンのための自動バグ発見 | Felipe Manzano, Josselin Feist | 2017 |
| 発表タイトル | 発表者 | 年 |
|---|---|---|
| LLVMにおける定数時間コーディングのサポート | Julius Alexandre | 2025 |
| ソフトウェアデブローティングツールの広範な比較評価 | Michael D. Brown, Adam Meily, Eric Kilmer, Ronald Eytchison | 2024 |
| MLIRにおけるLLVM解析の再利用: IRのタワーを越えて、また往復する | Henrich Lauko | 2024 |
| VAST: C/C++のプログラム解析のためのMLIR | Henrich Lauko | 2022 |
| x86-64バイナリリライタの広範な比較評価 | Michael D. Brown | 2022 |
| 等価な並行計算の最適化について | Henrich Lauko, Lukáš Korenčik, Peter Goodman | 2022 |
| 発表タイトル | 発表者 | 年 |
|---|---|---|
| QUICに切り込む: ハッシュDoSによるQUICの性能低下 | Paul Bottinelli | 2025 |
| One, Two, TEE: 数への信頼がハードウェアセキュリティと出会う | Paul Bottinelli | 2025 |
| 現代の証明システムに対する弱いFiat-Shamir攻撃 | Jim Miller | 2024 |
| PyCA CryptographyのためのRustによるパス検証ライブラリの構築 | William Woodruff | 2024 |
| Python向けX.509パス検証の実装 | William Woodruff | 2024 |
| MAc-then-SIGnにご用心 | Marc Ilunga | 2023 |
| PGPよ、死ね | William Woodruff | 2022 |
| 本気で、RSAの使用をやめよう | Ben Perez | 2019 |
| Pythonでの暗号化のベストプラクティス | Paul Kehrer | 2019 |
| FlameにおけるMD5衝突の解析 | Alex Sotirov | 2012 |
| 発表タイトル | 発表者 | 年 |
|---|---|---|
| 再現可能なベンチマーキング: OpenSearch vs Elasticsearchの探求 | Evan Downing | 2025 |
| エビデンス駆動型セキュリティエンジニアリング | Dan Guido | 2019 |
| osqueryによるLinuxセキュリティイベントのモニタリング | Alessandro Gario | 2019 |
| osql: コミュニティ指向のosqueryフォーク | Stefano Bonicatti, Mark Mossberg | 2019 |
| osquery入門 | Lauren Pearl, Andy Ying | 2018 |
| osqueryのスーパー機能 | Lauren Pearl | 2018 |
| osquery拡張スカンクワークス | Mike Myers | 2018 |
| 作って壊して直す | Andrew Ruef | 2014 |
| 発表タイトル | 発表者 | 年 |
|---|---|---|
| Semgrep入門 および Semgrep練習問題 | Maciej Domański, Matt Schwager, Spencer Michaels | 2024 |
| おおむねやさしいLLVM入門 | William Woodruff | 2022 |
| JWT、そしてなぜそれらはダメなのか | Rory M | 2021 |
| Pwningの喜び | Sophia D'Antoine | 2017 |
| CTFの方法 - 他人のコンピュータを取得して使用する(OPC) | Jay Little | 2014 |
| 低レイヤセキュリティ | Andrew Ruef | 2014 |
| セキュリティとあなたのビジネス | Andrew Ruef | 2014 |
| パーティーに何も持参しない | Vincenzo Iozzo | 2013 |
| ある象牙の塔から別の象牙の塔へ | Vincenzo Iozzo | 2012 |
| 発表タイトル | 発表者 | 年 |
|---|---|---|
| 100エーカーの森への帰還 | Stefan Edwards | 2019 |
| kubectlフィッシュと泳ぐ | Stefan Edwards | 2019 |
| 発表タイトル | 発表者 | 年 |
|---|---|---|
| Trail of BitsをAIネイティブにした方法(これまでのところ) | Dan Guido | 2026 |
| 本番AIシステムに対する画像スケーリングの武器化 | Kikimora Morozova, Suha Sabi Hussain | 2025 |
| 間接プロンプトインジェクション: 実世界のAI/MLシステムに対するアーキテクチャ的テストアプローチ | Will Vandevanter | 2025 |
| ポリグロットからプロンプトインジェクションへ: パースは実行である(そしてあなたのLLMはそのことを知らない) | Evan Sultanik | 2025 |
| サイバーセキュリティにおけるフロンティアAI: リスクと機会 | Dan Guido, Riccardo Schirone | 2025 |
| AIとセキュリティの現在と未来 | Evan Downing | 2024 |
| 培養された機械学習エクスプロイト: 入力処理のバグを利用したMLパイプラインへのバックドア埋め込み | Suha Sabi Hussain | 2024 |
| 包括的なML脅威モデル | Adelin Travers | 2024 |
| ソフトウェア解析のためのグラフベース機械学習アルゴリズムの利用 | Michael D. Brown | 2023 |
| 機械学習Pickleファイルを悪用する |
| 発表タイトル | 発表者 | 年 |
|---|---|---|
| Traceroute6によるmacOSの特権昇格 | Paweł Płatek | 2025 |
| Swiftリバーシング | Ryan Stortz | 2016 |
| モダンiOSアプリケーションセキュリティ | Sophia D'Antoine, Dan Guido | 2016 |
| モバイルエクスプロイトインテリジェンスプロジェクト | Dan Guido | 2012 |
| モバイル脅威の物語 | Vincenzo Iozzo | 2012 |
| 発表タイトル | 発表者 | 年 |
|---|---|---|
| Pythonの内部構造 - dictについて語ろう | Dominik Czarnota | 2019 |
| Pwndbgによる低レイヤデバッグ | Dominik Czarnota | 2018 |
| Pythonで避けるべき安全でないこと | Dominik Czarnota | 2018 |
| 発表タイトル | 発表者 | 年 |
|---|---|---|
| 仮想化環境におけるハードウェアサイドチャネル | Sophia D'Antoine | 2015 |
| アウトオブオーダー実行の悪用 | Sophia D'Antoine | 2015 |
| 発表タイトル | 発表者 | 年 |
|---|---|---|
| アテステーション: PyPIにおける新しい世代の署名 | William Woodruff | 2025 |
| PyPIにおけるサプライチェーンセキュリティの次の5年 | William Woodruff | 2024 |
| PEP 740とPyPI: Pythonエコシステム向け来歴のブートストラップ | William Woodruff | 2024 |
| PyPIに対するゼロトラストな未来を想像する | William Woodruff | 2024 |
| ビルド来歴: Homebrewからの教訓(これまでのところ) | Joe Sweeney | 2024 |
| パッケージングエコシステム全体に対するコード署名とはどのようなものか？ | William Woodruff | 2023 |
| Trusted Publishingでパッケージエコシステムを保護する | William Woodruff | 2023 |
| Trusted Publishing: PyPIからの教訓 | William Woodruff | 2023 |
| SigstoreによるPythonエコシステムのためのエルゴノミックなコード署名 | William Woodruff | 2023 |
| PythonパッケージングのためのSigstore: 導入に向けた次のステップ | William Woodruff |
| 発表タイトル | 発表者 | 年 |
|---|---|---|
| macOSマルウェアの『Shlayers』を剥がす | Josh Watson, Erika Noerenberg | 2019 |
| エクスプロイトインテリジェンスプロジェクト再訪 | Dan Guido | 2013 |
| --- | --- | --- | --- |
| 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 バイアス |
| Risky Biz | Dan Guido | Oct 2024 | 耐量子暗号 |
| Risky Biz 759 | Dan Guido | Aug 2024 | DARPA の AI サイバーチャレンジ |
| Resilience Rundown | Josiah Dykstra | May 2024 | セキュリティにおけるバイアス |
| Risky Biz | Dan Guido | Apr 2024 | オープンソースツール |
| MLSecOps March 20 | William Woodruff | Mar 2024 | サプライチェーンセキュリティ |
| yWhales | Dan Guido | Dec 2023 | ブロックチェーンセキュリティ |
| Risky Biz 707 | Dan Guido | May 2023 | ML セキュリティ |
| ASW 229 | Nick Selby | Feb 2023 | 脅威モデリング、クラウドネイティブ監査 |
| Risky Biz 690 | Dan Guido | Jan 2023 | 脆弱性開示 |
| Risky Biz 672 | Dan Guido | Jul 2022 | ブロックチェーンセキュリティ |
| Cloud Security Reinvented | Nick Selby | Jun 2022 | クラウドセキュリティ |
| Skiff Office Hours | Dan Guido | Mar 2022 | プライバシー技術 |
| Risky Biz 652 | Dan Guido | Jan 2022 | ゼロ知識証明 |
| Secureum Safecast #3 | Josselin Feist | Nov 2021 | ブロックチェーンセキュリティ |
| Secureum Safecast #2 | Dan Guido | Oct 2021 | ブロックチェーンセキュリティ |
| Press Freedom Foundation | Dan Guido | Jul 2021 | モバイルセキュリティと iVerify |
| Employee Cycle | Hannah Hanks | Mar 2021 | 初の PeopleOps 採用 |
| Risky Biz 614 | Dan Guido | Feb 2021 | iVerify |
| Building Better Systems 6 | Dan Guido | Jan 2021 | ブロックチェーンが正しく実現したこと |
| WCBS 880 | Dan Guido | Sep 2020 | ギャップイヤーとインターン採用 |
| Risky Biz 594 | Dan Guido | Aug 2020 | Apple のセキュリティ |
| Epicenter 346 | Dan Guido | Jun 2020 | スマートコントラクトセキュリティ |
| Absolute AppSec 97 | Stefan Edwards | May 2020 | 脅威モデリング |
| Unchained 170 | Dan Guido | May 2020 | DeFi セキュリティ |
| Risky Biz 580 | Dan Guido | Apr 2020 | モバイル投票 |
| Absolute AppSec 91 | Stefan Edwards | Apr 2020 | モバイル投票 |
| Zero Knowledge 122 | Ben Perez | Mar 2020 | 暗号技術レビュー、ZKP |
| Changelog | Dan Guido | Jan 2020 | AlgoVPN |
| Risky Business 559 | Stefan Edwards | Oct 2019 | Kubernetes |
| FOSS Weekly 545 | William Woodruff | Sep 2019 | PyPI のセキュリティ改善 |
| Podcast.__init__ 225 | William Woodruff | Aug 2019 | PyPI のセキュリティ、UX、持続可能性 |
| Absolute AppSec 68 | Stefan Edwards、Bobby Tonic | Aug 2019 | Kubernetes |
| Hashing it Out 53 | Dan Guido | Jul 2019 | スマートコントラクトテスト |
| Absolute AppSec 60 | Stefan Edwards | May 2019 | Android、プログラミング言語 |
| Absolute AppSec 55 | Stefan Edwards | Apr 2019 | セキュリティテスト |
| Hashing it Out 35 | Dan Guido、Josselin Feist | Jan 2019 | Ethereum の失敗した EIP-1283 |
| Risky Biz 526 | JP Smith | Jan 2019 | CTF における耐量子暗号 |
| Absolute AppSec 37 | Stefan Edwards | Nov 2018 | プログラミング言語、 symbex |
| Risky Biz 510 | Lauren Pearl | Aug 2018 | オープンソースセキュリティエンジニアリング |
| Absolute AppSec 34 | Stefan Edwards | Oct 2018 | セキュリティテスト、ブロックチェーン |
| The Smartest Contract 15 | JP Smith | Aug 2018 | Trail of Bits のセキュリティツールと監査 |
| Zero Knowledge 16 | JP Smith | Mar 2018 | スマートコントラクトセキュリティ |
| Risky Biz 488 | JP Smith | Feb 2018 | Manticore によるスマートコントラクトテスト |
| Risky Biz 474 | Dan Guido | Oct 2017 | 安全なソフトウェアを設計する方法 |
| Georgian Partners 47 | Dan Guido | May 2017 | AlgoVPN と Tor |
| VUC 643 | Dan Guido | Apr 2017 | AlgoVPN |
| Risky Biz 449 | Dan Guido | Mar 2017 | 制御フロー完全性 |
| Risky Biz 425 | Dan Guido | Sep 2016 | 今週のニュースの振り返り |
| Risky Biz 421 | Dan Guido | Aug 2016 | 自動車ハッキングと今週のニュース |
| Risky Biz 416 | Dan Guido | Jul 2016 | DARPA サイバーグランドチャレンジ |
| Risky Biz 399 | Dan Guido | Feb 2016 | Apple 対 FBI |
| Risky Biz 348 | Dan Guido | Jun 2015 | DARPA サイバーグランドチャレンジ |
| Risky Biz 370 | Dan Guido | Feb 2015 | DARPA サイバーグランドチャレンジ |
| タイトル | 講演者 | 日付 |
|---|---|---|
| 監査前に修正すべき主要な TEE バグ | Tjaden Hess、Paul Bottinelli、Jules Drean | Dec 2025 |
| 安全なエンドツーエンド暗号化システムの構築 | Marc Ilunga と Fredrik Dahlgren | Dec 2025 |
| Wiretap と Battering RAM の後：TEE ベースのブロックチェーンインフラはどう変わるか | Tjaden Hess と Andy Campbell | Nov 2025 |
| MCP セキュリティ深掘り：攻撃から防御まで | Keith Hoodlet、Cliff Smith、Vineeth Sai Narajala、Manish Bhatt | Jul 2025 |
| セキュリティ監査：Trail of Bits のベストプラクティス | Chris Dahlheimer、Lindsay Rakowski、Vanessa Gennarelli | Mar 2025 |
| Burp Suite を使った Web リサーチの習得 | Keith Hoodlet、Cliff Smith、James Kettle | Jun 2024 |
| CodeQL 入門：例、ツール、CI 統合 | Filipe Casal と Fredrik Dahlgren | Mar 2024 |
| Semgrep 入門 | Maciej Domanski と Matt Schwager | Jan 2024 |
| トピック | 機関 | 日付 |
|---|---|---|
| AI/ML Ops 向け自動 AI 部品表 | U.S. Army PEO IEW&S | Dec 2023 |
| オープンソースソフトウェアセキュリティ：長期的な焦点と優先順位の領域 | ONCD、CISA、NSF、DARPA、OMB | Nov 2023 |
| AI の国家安全保障への影響を理解する | Whitehouse OTSP | Jul 2023 |
| AI の説明責任、規制、監査 | NTIA | Jun 2023 |
| 倫理的・法的・社会的領域における AI 保証のための包括的リスク評価フレームワーク | DARPA | Jun 2023 |
| 暗号資産市場のセキュリティを理解する | CFTC | Mar 2023 |
| 侵入・監視ソフトウェアの規制 | 米国商務省 | Jul 2015 |
Trail of Bits とクライアントの協働の内容を詳しく紹介します：課題、私たちのアプローチ、そして成果。作業量はエンジニア週単位で示されています。
私たちが業務について言及することを許可してくれた企業はこちらに掲載されています。その他にも多くの企業が関わっていますが、機密保持のため非公開です。
以下のクライアントは、Trail of Bits に 5 件以上のセキュリティレビューを依頼しています：
| プロダクト | 日付 | 作業 量 | 発表 | レポート |
|---|---|---|---|---|
| MobileCoin | Jul 2022 | 2 | 📄 | |
| Fog Protocol | Jan 2021 | 4 | 📄 | |
| MobileCoin BFT | Oct 2020 | 4 | 📄 | |
| MobileCoin | Aug 2020 | 4 | 📄 |
| --- | --: | :-: | --- | :-: | | 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 | | 📄✅ | | Offchain Arbitrum Block Hash Pusher | Jun 2025 | 1.8 | | 📄 | | Offchain ArbOS 40 Nitro | May 2025 | 6 | | 📄 | | Offchain Reward Distributor Fixes | Apr 2025 | 0.8 | | 📄 | | Offchain Sequencer Liveness | Mar 2025 | 3 | | 📄 | | Offchain Custom Fee Bridge & EIP-7702 | Mar 2025 | 1 | | 📄 | | Offchain Geth 14.4 Pectra | Mar 2025 | 0.8 | | 📄 | | Offchain Custom Fee Exchange Rate | Mar 2025 | 1 | | 📄 | | Offchain Security Council Rotation | Mar 2025 | 1.6 | | 📄 | | Offchain DisableGateway USDT | Mar 2025 | 0.4 | | 📄 | | Offchain BoLD Fixes | Dec 2024 | 0.8 | | 📄 | | Offchain Stylus Emergency Fixes | Oct 2024 | 2 | | 📄 | | Offchain BoLD History Commits | Oct 2024 | 2 | | 📄 | | Offchain Nitro with BoLD | Oct 2024 | 2.6 | | 📄 | | Offchain Stylus | Sep 2024 | 2 | | 📄✅ | | Offchain RARI | Aug 2024 | 0.6 | | 📄 | | Offchain Office Hours Action | Aug 2024 | 0.6 | | 📄 | | Offchain Timeboost Auction | Aug 2024 | 3 | | 📄 | | Offchain Orbit Actions | Aug 2024 | 1 | | 📄 | | Offchain USDC Gateway | Jul 2024 | 2 | | 📄 | | Offchain BoLD & DAC Rewards | Jun 2024 | 3 | | 📄 | | Offchain Arbitrum Stylus | May 2024 | 47 | | 📄 | | Offchain L1-L3 Teleporter | Apr 2024 | 2 | | 📄 | | Offchain ArbOS 31 | Apr 2024 | 2 | | 📄 | | Offchain ArbOS 30 Nitro | Apr 2024 | 6 | | 📄 | | Offchain BoLD | Apr 2024 | 5 | | 📄 | | Offchain ArbOS | Feb 2024 | 4 | | 📄 | | Offchain Arbitrum | Jan 2024 | 2 | | 📄 | | Offchain Token Bridge Creator | Dec 2023 | 6 | | 📄 | | Offchain Custom Fee Token | Sep 2023 | 3 | | 📄 | | Offchain Arbitrum Challenge v2 | Aug 2023 | 20 | | 📄✅ |
| 製品 | 日付 | 工数 レベル | 発表 | レポート |
|---|---|---|---|---|
| Reserve Protocol Solidity 4.0.0 | Jun 2025 | 3.6 | 📄✅ | |
| Reserve Protocol Solana DTFs | Apr 2025 | 2 | 📄✅ | |
| Reserve Folio Solidity-Based Contracts | Apr 2025 | 2 | 📄✅ | |
| Reserve Protocol | Aug 2022 | 8 | 📄, ✅ | |
| Reserve Protocol | Mar 2019 | 1 | 📄 |
| 製品 | 日付 | 工数 レベル | 発表 | レポート |
|---|---|---|---|---|
| Scroll Feynman Upgrade Smart Contract Changes | Jul 2025 | 1 | 📄 | |
| Scroll Euclid Phase 2 | Apr 2025 | 4 | Scroll | 📄✅🔖 |
| Scroll Euclid Phase 1 | Apr 2025 | 3 | Scroll | 📄✅🔖 |
| Scroll zstd Compression | Jun 2024 | 12 | 📄✅ | |
| Scroll ZkEVM 4844 Blob | Apr 2024 | 6 | 📄✅ | |
| Scroll ZkEVM Wave 3 | Sep 2023 | 9 | 📄✅ |
| 製品 | 日付 | 工数 レベル | 発表 | レポート |
|---|---|---|---|---|
| Uniswap v4 Core | Jul 2024 | 6 | 📄✅ | |
| Uniswap Browser Extension | Feb 2024 | 6 | 📄✅ | |
| Uniswap | Sep 2023 | 4 | 📄✅ | |
| Uniswap Mobile Wallet | Aug 2022 | 4 | 📄✅ | |
| Uniswap V3 Staker | Jun 2021 | 2 | ||
| Uniswap V3 | Mar 2021 | 10 | Uniswap | 📄 |
| 製品 | 日付 | 工数 レベル | 発表 | レポート |
|---|---|---|---|---|
| ArmorLock | Apr 2022 | 6 | ||
| Optimus ROM | Jan 2022 | 4 | ||
| Secure Transport | Apr 2020 | 4 | ||
| Western Digital Sweet B | Jan 2020 | 4 | Western Digital | 📄 |
| SanDisk X600 | May 2019 | 6 | SanDisk X600 の複数の脆弱性 | 📄 |
| 製品 | 日付 | 工数 レベル | 発表 | レポート |
|---|---|---|---|---|
| YOLOv7 | Oct 2023 | 4 | 📄 | |
| SafeTensors | Mar 2023 | 2 | 📄 |
| ---| --: | :-: | --- | :-: | | 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 | | 📄 | | Calyx Institute HSM Provisioning Ceremony Scripts | Jan 2026 | 1 | | 📄✅ | | BSV Blockchain TS-SDK | Jan 2026 | 6 | | 📄✅ | | Bron Labs MCP Library | Jan 2026 | 8 | | 📄✅ | | NEAR One Confidential Key Derivation | Dec 2025 | 4 | | 📄✅ | | Zama | Oct 2025 | 32.2 | | | | DFINITY Orbit | Sep 2025 | 4 | | 📄✅ | | DFINITY Oisy | Sep 2025 | 4 | | 📄✅ | | Google Longfellow | Aug 2025 | 4.6 | | 📄✅ | | Open Quantum Safe liboqs | Apr 2025 | 5 | Open Quantum Safe | 📄 | | Go Crypto Libraries | Mar 2025 | 12 | Go | 📄✅ | | Zkonduit EZKL | Mar 2025 | 11 | EZKL | 📄✅ | | Scopely Monopoly Go! | Dec 2024 | 2 | | 🔖 | | Aligned | Dec 2024 | 3 | | 📄✅ | | Discord DAVE | Sep 2024 | 5 | Discord | 📄✅ | | Discord DAVE | Aug 2024 | 4 | Discord | 📄✅ | | Lit Protocol Cait-Sith | Jun 2024 | 10 | | 📄✅ | | Iron Fish FishHash | Apr 2024 | 1 | Iron Fish | 📄✅ | | AgileBits Snow | Mar 2024 | 4 | | 📄✅ | | Silence Laboratories Silent Shard | Feb 2024 | 5 | | 📄✅ | | Snow | Jan 2024 | 4 | | 📄✅ | | Ockam | Nov 2023 | 11 | Trail of Bits | 📄 | | Dfinity Candid | Nov 2023 | 3 | | 📄✅ | | Axiom Halo2 Library Upgrades | Oct 2023 | 6 | Axiom | 📄✅ | | Aleo snarkVM, snarkOS, BullsharkBFT | Oct 2023 | 18 | Aleo | 📄✅ | | Axiom Halo2 Libraries | Jun 2023 | 14 | Axiom | 📄✅ | | Dfinity ckBTC and BTC Integration | Jun 2023 | 2.5 | フォーラム, ブログ | | | Dfinity SNS Phase 2 | Jun 2023 | 2.5 | フォーラム, ブログ | 📄 | | Thesis tss-lib BitForge | Jun 2023 | 0.2 | Threshold | 📄✅ | | Chainflip | Apr 2023 | 12 | Chainflip | 📄✅ | | Stealth Addresses | Feb 2023 | 2 | | 📄✅ | | Succinct ZK Light Client | Feb 2023 | 8 | Succinct | 📄✅ | | noble-curves Library | Jan 2023 | 2 | | 📄✅ | | ParaSpace | Dec 2022 | 1 | | 📄 | | Phantom Wallet | Nov 2022 | 2 | | | | ParaSpace | Nov 2022 | 7 | | 📄✅ | | SimpleX Chat | Oct 2022 | 1 | SimpleX | 📄 | | Dfinity | Sep 2022 | 4 | フォーラム, ブログ | 📄✅ | | Aleo snarkVM | Sep 2022 | 12 | | 📄✅ | | Microsoft/Verasion Go-COSE | Jul 2022 | 4 | | 📄✅ | | BLS Signature Scheme | Jul 2022 | 1 | | | | Binance CGGMP21 and FROST | May 2022 | 8 | | | | Aleo snarkVM & snarkOS | Apr 2022 | 12 | | | | Phantom Wallet | Apr 2022 | 4 | | | | Parallel Finance | Mar 2022 | 6 | | 📄 | | Polkadex | Feb 2022 | 10 | | | | Linux Kernel | Apr 2021 | 2 | リリース署名と管理 | 📄 | | Standard Notes | Mar 2020 | 1 | Standard Notes | 📄 | | Project Callisto | 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 | WhatsApp, Trail of Bits | 📄✅ | | Discord E2EE WebAssembly | Jun 2025 | 3 | | 📄 | | libVLC | May 2025 | 5 | | 📄 | | NATS Server | Feb 2025 | 6 | | 📄✅ | | Istio Ztunnel | Dec 2024 | 2 | OSTIF, Istio | 📄✅ | | RubyGems.org | Dec 2024 | 5 | | 📄 | | Kraken Wallet In-App Browser | Nov 2024 | 4 | | 📄✅ | | Kraken Wallet iCloud Backup | Sep 2024 | 2 | | 📄✅ | | Hugging Face Gradio | Jul 2024 | 4 | Hugging Face, Trail of Bits | 📄✅ | | Zoo KittyCAD | Jun 2024 | 4.6 | | 📄✅ | | Polygon Labs Iden3 Circuits | May 2024 | 2 | | 📄✅ | | Kraken Mobile Wallet | Jan 2024 | 7 | Kraken| 📄✅ | | Eclipse Temurin | Dec 2023 | 4 | 対応, OSTIF, Eclipse Foundation | 📄✅ | | Arch Linux Pacman | Dec 2023 | 2 | OTF | 📄✅ | | cURL HTTP3 | Dec 2023 | 4 | OSTIF, Daniel Stenberg | 📄 | | Lisk SDK 6.1 modules | Sep 2023 | 4 | | 📄✅ | | OpenSSL | Sep 2023 | 9 | OSTIF, OpenSSL | 📄✅ | | PyPI Warehouse | Sep 2023 | 10 | PyPI, Trail of Bits | 📄✅ | | wasmCloud | Sep 2023 | 6 | | 📄✅ | | Worldcoin | Aug 2023 | 6 | | 📄✅ | | Homebrew | Aug 2023 | 6 | | 📄 | | DigitalOcean OIDC | Aug 2023 | 4 | | 📄 | | Flux | Aug 2023 | 4 | OSTIF, Flux | 📄✅ | | Lisk SDK | Jul 2023 | 30 | | 📄✅ | | DragonFly2 | Jul 2023 | 4 | Dragonfly, OSTIF | 📄✅ | | Eclipse JKube | May 2023 | 5 | OSTIF, Eclipse | 📄✅ | | Chainflip | Apr 2023 | 12 | Chainflip | 📄✅ | | Eclipse Mosquitto | Mar 2023 | 4 | OSTIF, Eclipse | 📛📄✅ | | Eclipse Jetty | Mar 2023 | 6 | Jetty, Eclipse | 📄✅ | | Spool Platform | Mar 2023 | 8 | | 📄✅ | | Redpanda Platform | Jan 2023 | 4 | | | | Injective Labs Options Market | Jan 2023 | 4 | | | | OpenVPN3 | Jan 2023 | 6 | | | | OpenVPN2 | Dec 2022 | 4 | OpenVPN | 📄✅ | | OpenArchive Save (Android) | Dec 2022 | 1 |OpenArchive Save | 📄✅ | | Enclave Markets | Nov 2022 | 9 | | | | Fiat Ramps | Nov 2022 | 4 | | | | cURL | Oct 2022 | 9.5 | OSTIF, Daniel Stenberg. Trail of Bits | 📄✅📛 | | CloudEvents | Oct 2022 | 4 | OSTIF | 📄 | | OpenArchive Save (iOS) | Oct 2022 | 1.2 |OpenArchive Save | 📄✅ | | AlphaSOC API | Sep 2022 | 1 | | 📄✅ | | Consul Enterprise | Sep 2022 | 6 | | | | snarkVM | Sep 2022 | 12 | | 📄✅ | | Hashicorp Boundary | Jul 2022 | 6 | | | | Skiff | Jul 2022 | 6 | | | Terraform Cloud | Jun 2022 | 6 | | | | Datadog | May 2022 | 6 | | | | MATTR | May 2022 | 4 | | | | ArmorLock | Apr 2022 | 6 | | | | DigitalOcean Function | Apr 2022 | 4 | | | | Auvik Collector | Apr 2022 | 8 | | | | Fuchsia Platform | Mar 2022 | 8 | | | Optimus ROM | Jan 2022 | 4 | | | | BitcoinBeach | Mar 2022 | 4 | | 📄 | | osquery | Jan 2022 | 6 | | 📄 | | Redjack | Dec 2021 | 2 | | | DigitalOcean Cloud | Nov 2021 | 12 | | | SpruceID | Oct 2021 | 12 | | 📄 | | Doppler | Sep 2021 | 4 | | | Datadog Agent | Aug 2021 | 8 | | | Appian | Jun 2021 | 4 | | | | Cashero-2.0 | Jun 2021 | 4 | | | | Orbit | Apr 2021 | 1 | | | | VGS Proxy | Apr 2021 | 4 | | | | Skiff | Feb 2021 | 4 | | | | CircleCI Server 3.0 | Jan 2021 | 6 | CircleCIでのペネトレーションテスト | | BitMEX | Jan 2021 | 4 | | | | SecureDrop | Dec 2020 | 8 | SecureDrop Workstationの2回目の監査 | 📄 | | Citizen Browser | Dec 2020 | 0.43 | Facebookインスペクターを構築した方法| | Ren | Aug 2020 | 4 | 8月の開発アップデート | 📄 | | Hey.com | Jun 2020 | 1 | 本格的なセキュリティ | 📄 | | Azure Sphere | Jun 2020 | 12 | Azure Sphere 20.07 セキュリティ強化 | | Zoom | May 2020 | 9 | 90日間完了、Zoomの次は何か | | Secure Transport | Apr 2020 | 4 | | | | ZeroTier 2.0 | Mar 2020 | 2 | ZeroTier | 📄 | | Voatz | Feb 2020 | 12 | Voatz, Tusk | 📄📛 | | Vault | Feb 2020 | 12 | | | | Voice | Jan 2020 | 4 | | | | Azure Sphere | Jun 2019 | 12 | | | | zlib | Sep 2016 | 1 | | 📄 |
| 製品 | 日付 | 作業 レベル | 発表 | レポート |
|---|---|---|---|---|
| KEDA | Dec 2022 | 6 | OSTIF | 📄 |
| Terraform Enterprise | Nov 2022 | 6 | ||
| Nomad Enterprise | Nov 2022 | 6 | ||
| HashiCorp Cloud | Jun 2022 | 9 | ||
| Tekton | Mar 2022 | 4 | Tektonセキュリティレビュー完了 | 📄 |
| Linkerd | Feb 2022 | 4 | 📛📄✅ | |
| CoreDNS | Jan 2022 | 4 | 📄 | |
| Terraform Enterprise | Nov 2021 | 6 |
| 製品 | 日付 | 作業 レベル | 発表 | レポート |
|---|---|---|---|---|
| Gemini Smart Wallet | Aug 2025 | 4 | 📄✅🔖 | |
| Otim Smart Wallet | Mar 2025 | 3 | 📄✅ | |
| dappOS v2 wallet | Jul 2023 | 3 | 📄✅ | |
| WalletConnect v2.0 | Mar 2023 | 4 | WalletConnect | 📄✅ |
| Phantom Wallet | Nov 2022 | 2 | ||
| GameStop iOS Web Wallet | Nov 2022 | 1 | ||
| GameStop Wallet | Mar 2022 | 2 | GameStopウォレット | |
| RAILGUN |
| 製品 | 日付 | 作業 レベル | 発表 | レポート |
|---|---|---|---|---|
| Folks Finance Protocol | Nov 2022 | 6 | 📄✅ | |
| wXTZ | Nov 2020 | 4 | 📄 | |
| wALGO | Nov 2020 | 4 | 📄 | |
| Meld Gold | Jul 2020 | 2 | ||
| Pixel | Dec 2019 | 4 | ||
| Algorand | Mar 2019 | 14 | Algorandの成功と勢い |
| 製品 | 日付 | 作業 レベル | 発表 | レポート |
|---|---|---|---|---|
| Ava Labs AvalancheGo | Aug 2025 | 10 | 📄 | |
| Alkimiya Silica V2 | Jun 2022 | 6 | ||
| Ava Labs | Apr 2022 | 8 | ||
| Flare Network | Mar 2021 | 8 |
| ---| --: | :-: | --- | :-: | | 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 のセキュリティ監査結果 | 📄 |
| ---| --: | :-: | --- | :-: | | 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 | | 📄✅ | | Franklin Templeton BenjiSwap Contract | Oct 2025 | 1 | | 📄✅ | | Radius Technology EVMAuth | Oct 2025 | 1.2 | | 📄✅ | | Shape Buyback Contract | Sep 2025 | 0.4 | | 📄✅ | | Starkware StarkEx Diff | Aug 2025 | 0.2 | | 📄 | | Shape Token Contract | May 2025 | 1 | | 📄✅ | | CAP Labs Covered Agent Protocol | May 2025 | 9 | | 📄✅ | | Fabric Labs Zipper Protocol | May 2025 | 1 | | 📄✅ | | Lagrange LAToken | Apr 2025 | 3 | | 📄 | | Serai DEX | Apr 2025 | 3 | | 📄✅ | | Automata | Feb 2025 | 8 | | 📄✅ | | Bunni v2 | Jan 2025 | 8 | | 📄✅ | | Everstake Staking | Jan 2025 | 3 | | 📄✅ | | Parabol Smart Contracts Updates | Jan 2025 | 0.4 | | 📄 | | BeethovenX Sonic Staking | Jan 2025 | 1 | | 📄✅ | | Balancer v3 | Dec 2024 | 6 | | 📄✅ | | ULTI | Dec 2024 | 1 | | 📄✅ | | EthStaker Deposit CLI | Dec 2024 | 4 | | 📄✅ | | Plume | Nov 2024 | 1 | | 📄✅ | | Treehouse tETH Protocol | Sep 2024 | 4 | | 📄✅ | | Elixir Protocol | Aug 2024 | 4 | | 📄✅ | | Onchain Pass | Aug 2024 | 1 | | 📄✅ | | Taraxa Ficus Bridge | Jul 2024 | 1.6 | | 📄✅ | | Devcon Auction Raffle | Jun 2024 | 1 | | 📄✅ | | Aladdin f(x) Oracle | Jun 2024 | 2 | | 📄✅ | | AiLayer 6079 Contracts | May 2024 | 3 | | 📄✅ | | Hydrogen Rover Protocol | May 2024 | 0.45 | | 📄 | | Lisk Smart Contracts | May 2024 | 4 | | 📄✅ | | Parabol Smart Contracts | May 2024 | 2 | | 📄✅ | | Wonderland Prophet | May 2024 | 4 | | 📄✅ | | SEDA Chain Token Migration | Mar 2024 | 1 | | 📄✅ | | Lisk Smart Contracts | Mar 2024 | 4.6 | | 📄✅ | | Bondex Smart Contracts | Mar 2024 | 0.6 | | 📄 | | Aladdin f(x) Protocol | Mar 2024 | 4 | | 📄✅ | | Puffer Finance Contracts | Mar 2024 | 1.2 | | 📄✅ | | Intuition | Mar 2024 | 2 | | 📄 | | Helios Global | Feb 2024 | 1 | | 📄✅ | | ScopeLift Stealth Addresses | Feb 2024 | 1 | | 📄✅ | | MetaLayer Blast | Jan 2024 | 4 | | 📄✅ | | Unibot Router | Dec 2023 | 1.6 | | 📄✅ | | Acronym Foundation | Dec 2023 | 4 | | 📄✅ | | Pyth Entropy | Dec 2023 | 4 | | 📄 | | Immutable Bridge | Nov 2023 | 2 | | 📄✅ | | Salty.IO Protocol | Oct 2023 | 6 | | 📄✅ | | Spiko Smart Contracts | Oct 2023 | 1 | | 📄✅ | | Hyperlane v3 | Sep 2023 | 2 | | 📄✅ | | Elixir Contracts | Sep 2023 | 2 | | 📄✅ | | NZDD token | Aug 2023 | 0.6 | | 📄✅ | | Immutable | Aug 2023 | 4 | | 📄✅ | | Sandclock | Jul 2023 | 8 | | 📄✅ | | Arcade | Jul 2023 | 8 | | 📄✅ | | Nested Tetris/HyVM | Jun 2023 | 1 | | 📄✅ | | Franklin Templeton | May 2023 | 4 | | 📄✅ | | Prysm | Apr 2023 | 8 | | 📄✅ | | Ajna Protocol | Apr 2023 | 12 | | 📄✅ | | Raft | Apr 2023 | 2 | | 📄✅ | | MYSO v2 | Apr 2023 | 2 | MYSO | 📄✅ | | Smardex AMM | Apr 2023 | 2 | | 📄✅ | | Waymont | Mar 2023 | 1 | | | | Atlendis | Mar 2023 | 6 | Atlendis | 📄✅ | | Primitive Hyper | Mar 2023 | 8 | | 📄✅ | | Succinct Light Client | Feb 2023 | 8 | Succinct | 📄✅ | | Nested Finance | Feb 2023 | 4 | | 📄✅ | | Polygon Edge | Jan 2023 | 6 | | | | Optimism | Dec 2022 | 8 | | | | Paxos PayPal PYUSD | Dec 2022 | 1 | | 📄✅ | | GSquared | Oct 2022 | 6 | | 📄✅ | | Meson Protocol | Oct 2022 | 6 | | 📄✅ | | Managed Pools | Oct 2022 | 4 | | 📄 | | Ondo | Oct 2022 | 4 | | 📄✅ | | Maple Protocol v2 | Sep 2022 | 8 | | 📄✅ | | Increment Protocol | Sep 2022 | 4 | | 📄✅ | | Subspace Farmer | Sep 2022 | 2 | | 📄✅| | Optimism | Sep 2022 | 16 | | 📄 | | Nayms | Sep 2022 | 6 | | | | Aggregator | Aug 2022 | 2 | | | | The Franchiser | Aug 2022 | 3 | | | | Meson Protocol | Jul 2022 | 0.6 | | 📄 | | ChainPort | Jul 2022 | 8 | | 📄✅ | | Relay | Jul 2022 | 1 | | | | Beanstalk | Jul 2022 | 8 | Beanstalk | 📄✅ | | Purpose for Profit | Jul 2022 | 3 | | | | Solon | Jul 2022 | 6 | | | | Roll | Jul 2022 | 2 | | | | Ante Protocol | May 2022 | 2 | | 📄✅ | | Sherlock | Jun 2022 | 4 | | | | FlareFinance | Jun 2022 | 4 | | | | TBTv2 | Jun 2022 | 6 | | | | Morpho | Jun 2022 | 4 | Morpho | 📄 | | Relayer Contracts | Jun 2022 | 2 | | | | AuctionRaffle | May 2022 | 2 | | | | Seaport Protocol | May 2022 | 4 | OpenSea | 📄 | | Shell Protocol v2 | May 2022 | 4 | | 📄 | | Optimism | Apr 2022 | 6 | | | | NFTX | Apr 2022 | 4 | NFTX | 📄 | | ReserveLending+ | Apr 2022 | 4 | unFederalReserve | | | Firefly | Apr 2022 | 4 | | | | Maple Finance | Mar 2022 | 1 | | 📄✅ | | Gyroscope | Mar 2022 | 6 | | | | LooksRare | Mar 2022 | 4 | | 📄 | | Symbiosis | Mar 2022 | 2 | | | | RAILWAY | Feb 2022 | 4 | | | | Persistence ETH2.0 | Feb 2022 | 4 | | | | Advanced Blockchain | Feb 2022 | 6 | | 📄 | | Perpetual Protocol V2 | Feb 2022 | 4 | | 📄 | | Futureswap V4.1 | Feb 2022 | 4 | | | | Firefly | Feb 2022 | 8 | | | | API3 | Feb 2022 | 8 | | 📄 | | Beethoven X | Feb 2022 | 1 | | 📄 | | Minterest Finance | Jan 2022 | 6 | | | | pSTAKE | Jan 2022 | 6 | | | | Primitive | Jan 2022 | 8 | Primitive | 📄 | | Strips Finance | Jan 2022 | 8 | | | | Cardstack | Dec 2021 | 4 | | | | Sherlock Protocol V2 | Dec 2021 | 4 | | 📄 | | Maple | Nov 2021 | 4 | Maple | 📄 | | Advanced Blockchain | Nov 2021 | 6 | | 📄 | | Opyn | Nov 2021 | 6 | | 📄 | | Aave V3 | Nov 2021 | 12 | | 📄✅ | | Tokemak | Oct 2021 | 3 | | | | Fuji Finance | Oct 2021 | 6 | | 📄 | | V2 Vault | Oct 2021 | 4 | | | | Yield V2 | Sep 2021 | 6 | | 📄 | | Gro protocol | Sep 2021 | 2 | | | | Futureswap V4 | Sep 2021 | 6 | | | | RocketPool | Aug 2021 | 5 | | 📄 | | AlphaX | Aug 2021 | 6 | | | | Bug Bounty Platform | Aug 2021 | 8 | | | | 88mph V3 | Aug 2021 | 6 | | 📄 | | Timeswap | Jul 2021 | 2 | | | | CompliFi | Jul 2021 | 6 | | 📄 | | Optics | Jul 2021 | 2 | | | | FlareFinance | Jun 2021 | 4 | | | | Abyss Lockup | Jun 2021 | 2 | | | | Futureswap V3 | Jun 2021 | 6 | | | | CompliFi | Jun 2021 | 6 | | | | Syndicate | May 2021 | 4 | | | | Opyn Gamma | May 2021 | 6 | | 📄 | | Yearn v2 Vaults | Apr 2021 | 6 | | 📄 | | Balancer v2 | Apr 2021 | 4 | | 📄 | | DFX Finance | Apr 2021 | 6 | | | | Tokemak | Apr 2021 | 1 | | | | Warp Contracts | Apr 2021 | 6 |Composable | 📄 | | FlareFinance | Apr 2021 | 3 | | | | MC Dai | Mar 2021 | 6 | | | | dForce Lending | Mar 2021 | 6 | | | | Liquity Proxy Contract | Feb 2021 | 0.57 | | 📄 | | Liquity Protocol | Feb 2021 | 8 | | 📄| | RAY-DAO | Feb 2021 | 4 | | | | Futureswap | Jan 2021 | 2 | | | | Balancer V2 | Jan 2021 | 6 | | | | C.R.E.A.M. | Jan 2021 | 1 | | 📄 | | LUSD | Dec 2020 | 8 | | 📄 | | Origin Dollar | Nov 2020 | 4 | Origin Protocol | 📄 | | Zerion SDK | Nov 2020 | 4 | | | | Teller Protocol | Nov 2020 | 4 | | | | Hermez | Nov 2020 | 4 | Hermez | 📄 | | Graph Protocol | Oct 2020 | 3 | | | | OVM | Oct 2020 | 6 | | | | Prysm | Sep 2020 | 6 | | | | DODO | Sep 2020 | 3 | | 📄 | | Yield Protocol | Aug 2020 | 6 | | 📄 | | Smart Pool | Aug 2020 | 1 | | | | DeFiner | Aug 2020 | 1 | | | | ETH2.0 Deposit CLI | Aug 2020 | 4 | | 📄| | CurveDAO | Jul 2020 | 6 | | 📄 | | Amp | Jul 2020 | 3 | | 📄 | | Federated Bridge | Jul 2020 | 1 | | | | dForce dToken | Jul 2020 | 2 | | 📄 | | Matic | Jun 2020 | 4 | | | | Lighthouse | Jun 2020 | 4 | | | | tBTC | May 2020 | 6 | | 📄 | | QTUM | Apr 2020 | 0.43 | | 📄 | | Hegic | Apr 2020 | 0.43 | | 📄 | | Golem Network | Mar 2020 | 2 | | | | Reddit | Mar 2020 | 1 | A New Frontier | | | Chai | Feb 2020 | 0.28 | | 📄 | | Compound | Feb 2020 | 2 | | 📄 | | WorkLock | Jan 2020 | 2 | NuCypher | 📄 | | Balancer | Jan 2020 | 4 | | 📄 | | Curve.fi | Jan 2020 | 1 | | 📄 | | Livepeer | Oct 2019 | 3 | | | | Topo Finance | Oct 2019 | 4 | | | | 0x Protocol | Oct 2019 | 10 | | 📄 | | Flexa | Sep 2019 | 2 | Flexa | 📄 | | AZTEC Protocol | Sep 2019 | 10 | | 📄 | | Oasis Labs | Sep 2019 | 13 | | | | Aave Protocol | Sep 2019 | 4 | | 📄 | | MC Dai | Aug 2019 | 13 | MakerDAO | 📄 | | Staked | Aug 2019 | 4 | | | | Compound | Aug 2019 | 2 | | 📄 | | Computable | Jul 2019 | 8 | Computable | 📄 | | Numerai | May 2019 | 3 | Numerai | 📄 | | MerkleX | May 2019 | 4 | | | | TokenCard | May 2019 | 5 | | 📄 | | Unity Coin | Apr 2019 | 1 | | | | Compound | Apr 2019 | 8 | Compound | 📄 | | Ocean Protocol | Mar 2019 | 4 | Ocean Protocol | | | UMA Project | Mar 2019 | 3 | | | | Centrifuge | Mar 2019 | 5 | | | | Nomisma | Mar 2019 | 1 | | | | Set Protocol | Mar 2019 | 5 | Set Protocol | 📄 | | NuCypher | Feb 2019 | 4 | NuCypher | 📄 | | AMP StableWire | Jan 2019 | 1 | | | | EIP-1283 | Jan 2019 | 1 | ChainSecurity | 📄 | | Ampleforth | Nov 2018 | 4 | Ampleforth | 📄 | | Origin Protocol | Nov 2018 | 4 | Origin Protocol | 📄 | | Paxos Standard | Oct 2018 | 4 | | 📄 | | Basecoin | Oct 2018 | 12 | | 📄 | | Pantheon | Oct 2018 | 8 | PegaSys | 📄 | | Compound | Sep 2018 | 12 | Compound | | | NuCypher | Aug 2018 | 12 | NuCypher | 📄 | | CENTRE | Jul 2018 | 4 | CENTRE | | Bloom | Jul 2018 | 1 | Bloom | | Gemini Dollar | Jun 2018 | 8 | Gemini | 📄 | | Dharma | May 2018 | 1 | Dharma | | | Golem | Apr 2018 | 4 | Golem | 📄 | | LivePeer | Mar 2018 | 4 | Livepeer | 📄 | | DappHub | Dec 2017 | 8 | | 📄 | | MakerDAO Sai | Oct 2017 | 8 | MakerDAO | 📄 | | Omega One | Aug 2017 | 6 | | |#### NervOS
| 製品 | 日付 | 工数 レベル | 発表 | レポート |
|---|---|---|---|---|
| xUDT | Jun 2021 | 2 | ||
| Nervos -RSA | Mar 2021 | 4 | ||
| Cheque Cell & ORU | Feb 2021 | 8 | ||
| Force Bridge - Solidity | Feb 2021 | 4 | ||
| Force Bridge - Rust | Feb 2021 | 3 | ||
| Nervos SUDT | Oct 2020 | 6 | 📄 |
| 製品 | 日付 | 工数 レベル | 発表 | レポート |
|---|---|---|---|---|
| Opus | Dec 2023 | 8 | 📄✅ | |
| Aura | Aug 2023 | 8 | 📄✅ | |
| Nostra | Dec 2022 | 8 | ||
| StarkGate | Dec 2022 | 2 | ||
| StarkEx | Oct 2022 | 1 | ||
| StarkNet token | Jul 2022 | 1 | ||
| StarkPerpetual | Jan 2022 | 8 | ||
| StarkEx | Nov 2021 | 8 |
| 製品 | 日付 | 工数 レベル | 発表 | レポート |
|---|---|---|---|---|
| Telcoin Solana Peg Stability Vault | May 2026 | 1.2 | 📄✅ | |
| Jobcoin Clock-in Program | Mar 2026 | 0.6 | 📄✅ | |
| Anza Token-2022 Confidential Transfer, Blockchain | Jan 2026 | 3 | 📄 | |
| Franklin Templeton Benji Contracts | Feb 2025 | 2 | 📄✅ | |
| ZetaChain Solana Gateway | Jan 2025 | 1 | 📄✅ | |
| Solang Code Generation | Nov 2023 | 4 | 📄 | |
| Solang Code Generation, Part 1 | Nov 2023 | 2 | 📄 |
| 製品 | 日付 | 工数 レベル | 発表 | レポート |
|---|---|---|---|---|
| Orga and Merk | Nov 2024 | 10 | Trail of Bits による Orga & Merk のセキュリティ監査 | 📄✅ |
| Berachain polaris-geth | Aug 2023 | 8 | ||
| Berachain berachain | Jun 2023 | 6 | ||
| Umee | Feb 2022 | 8 | 📄 | |
| Columbus-5 | Jan 2022 | 2 | ||
| IBC Protocol | Dec 2021 | 4 | ||
| THORChain | Aug 2021 | 12 | ||
| Tendermint | Mar 2019 | 12 | ||
| ndau | Nov 2018 | 8 | 政策評議会 |
| 製品 | 日付 | 工数 レベル | 発表 | レポート |
|---|---|---|---|---|
| Kolibri | Apr 2022 | 4 | ||
| Tezori (T2) | Dec 2020 | 4 | 📄 | |
| Dexter | Jun 2020 | 4 | 📄 | |
| Tezori | Jul 2018 | 2 | @trailofbits によるセキュリティレビューに感謝 |
| 製品 | 日付 | 工数 レベル | 発表 | レポート |
|---|---|---|---|---|
| TONCO CLAMM DEX v1.6 | Jan 2026 | 11 | TONCO v1.6 が公開されました | 📄✅ |
| EVAA Finance | Aug 2025 | 8.6 | 📄✅ | |
| Swap Coffee TON DEX | Jul 2025 | 6 | 📄✅ | |
| FIVA Yield Protocol | May 2025 | 6 | 📄✅ | |
| FIVA Evaa Integration | May 2025 | 6 | 📄✅ | |
| Whales Holders | May 2025 | 4 | 📄✅ | |
| Whales Nominators | May 2025 | 4 | 📄✅ |
| 製品 | 日付 | 工数 レベル | 発表 | レポート |
|---|---|---|---|---|
| Mina Decentralized Treasury | Jun 2026 | 4.6 | 📄✅ | |
| EthStaker Deposit CLI | Mar 2026 | 1 | 📄✅ | |
| Chainlink LlamaRisk LlamaGuard NAV CRE | Feb 2026 | 1 | 📄✅ | |
| Chainlink Custom Senders and Receivers | Feb 2025 | 4 | 📄✅ | |
| Shape Gasback | Jan 2025 | 2 | 📄✅ | |
| PixelSwap DEX | Dec 2024 | 6 | 📄✅ | |
| Arkis Prime | Dec 2024 | 5 | 📄✅ | |
| Franklin Templeton Aptos |
| IEEE S&P 2023 |
| 2023 |
| Endoprocess: プログラム可能で拡張可能なサブプロセス分離 | NSPW 2023 | 2023 |
| CIVSCOPE: コンパートメントインターフェースにおける潜在的なメモリ破壊バグの分析 | SOSP KISV 2023 | 2023 |
| ハイブリッド制御およびデータフロー分析による可変性バグの検出 | LangSec 2023 | 2023 |
| Blind Spots: 無視されたプログラム入力を自動検出する | LangSec 2023 | 2023 |
| 実世界プロセッサにおけるソフトウェア悪用可能性の効率的な証明 | PETS 2023 | 2023 |
| AIシステムの包括的なリスク評価と保証に向けて | arXiv | 2023 |
| x86-64 バイナリリライタの広範な比較評価 | CSET 22 | 2022 |
| 等価な並行計算の最適化について | PLDI EGRAPHS 2022 | 2022 |
| 差分ミューテーションによる静的解析ツールの評価 | QRS 2021 | 2021 |
| echidna-parade: 多様なマルチコアスマートコントラクトファジング | ISSTA 2021 | 2021 |
| x86-64 命令デコーダの差分分析 | LangSec 2021 | 2021 |
| Echidna: スマートコントラクトのための効果的・実用的・高速なファジング | ISSTA 2020 | 2020 |
| ICARUS: 羽毛と蝋による事実上の標準フォーマットの理解 | LangSec 2020 | 2020 |
| パーサ実装のセマンティックラベリングによる自動文法抽出に向けて | LangSec 2020 | 2020 |
| 重要なスマートコントラクトにおける実際の欠陥は何か？ | FC 2020 | 2020 |
| Echidna: 実用的なスマートコントラクトファザー | FC 2020 | 2020 |
| RSA GTFO | PoC||GTFO 0x20 | 2020 |
| Manticore: バイナリとスマートコントラクトのシンボリック実行 | ASE 2019 | 2019 |
| Slither: スマートコントラクト向け静的解析フレームワーク | WETSEB 2019 | 2019 |
| 機械学習を用いたよりスマートな脆弱性発見に向けて | AISec 2018 | 2018 |
| Cyberdyne の過去、現在、そして未来 | IEEE S&P | 2018 |
| DeepState - C および C++ のシンボリックユニットテスト | BAR 2018 | 2018 |
| Capture-the-Flag 演習におけるサイバー欺瞞と帰属 | FOSINT-SI 2015 | 2015 |
| Peter Goodman |
| 2023 |
| 計算的犠牲の免罪に関する説教; あるいは、不条理な NES ゲームをプログラミングすることの過剰な祝福 | Evan Sultanik | 2021 |
| x86-64 命令デコーダの差分分析 | William Woodruff, Niki Carroll, Sebastiaan Peters | 2021 |
| (根本) 真実が現実でないときにバグを見つける方法 | William Woodruff | 2020 |
| パーサ実装のセマンティックラベリングによる自動文法抽出に向けて | Carson Harmon, Brad Larsen, Evan Sultanik | 2020 |
| ファイルの裏切りと、それを飼いならす2つの新しいツール | Evan Sultanik | 2019 |
| ファジーな暴君をシンボリックに実行する | Stefan Edwards | 2019 |
| KRF によるカーネル空間フォールトインジェクション | William Woodruff | 2019 |
| KLEE-Native によるバイナリシンボリック実行 | Sai Vegasena | 2019 |
| Linux カーネルで sicko モードに入る | William Woodruff | 2019 |
| Binary Ninja を使った脆弱性モデリング | Josh Watson | 2018 |
| ファイルポリグロット; あるいは、この PoC は猫の写真でもある | Evan Sultanik | 2017 |
| バイナリロックスターになる | Sophia D'Antoine | 2017 |
| 人間のためのシンボリック実行 | Mark Mossberg | 2017 |
| 90年代の精神は今もブルックリンに生きている | Ryan Stortz, Sophia D'Antoine | 2017 |
| 静的解析と動的解析の対決の夢 | Ryan Stortz | 2016 |
| 自動エクスプロイト生成のためのバイナリ制約ソルビング | Sophia D'Antoine | 2016 |
| スマートファザー革命 | Dan Guido | 2016 |
| スケーラブルな自動ハッキングシステムの構築 | Artem Dinaburg | 2016 |
| Cyberdyne - 大規模な自動バグ発見 | Peter Goodman | 2016 |
| McSema: x86 から LLVM IR への静的変換 | Andrew Ruef, Artem Dinaburg | 2014 |
| Carson Harmon, Evan Sultanik, Jim Miller, Suha Sabi Hussain |
| 2021 |
| PrivacyRaven: 深層学習のための包括的なプライバシーテスト | Suha Sabi Hussain | 2020 |
| 2022 |
| Pythonパッケージングのミステリーミート | William Woodruff | 2022 |
| ソフトウェアサプライチェーンを保護するための自動化ツール | Michael D. Brown | 2022 |
| 二要素認証でPyPIのセキュリティを向上させる | William Woodruff | 2019 |
| Scroll l2geth [diff] | Aug 2023 | 2 | 📄 |
| Scroll l2geth [initial] | Aug 2023 | 2 | 📄 |
| Scroll ZkEVM Wave 2 | Aug 2023 | 6 | 📄✅ |
| Scroll zkTrie | Jul 2023 | 4 | 📄✅ |
| Scroll ZkEVM Wave 1 | Apr 2023 | 23 | 📄✅ |
| Nomad Enterprise | Nov 2021 | 6 |
| Consul Enterprise | Oct 2021 | 6 |
| Vault Enterprise | Oct 2021 | 6 |
| HashiCorp Cloud | Jun 2021 | 8 |
| Argo | Mar 2021 | 4 | 📛📄 |
| Terraform Cloud | Jan 2021 | 6 |
| Consul | Oct 2020 | 10 |
| Nomad | Aug 2020 | 6 |
| Helm | Aug 2020 | 4 | Helm 第2回セキュリティ監査 | 📄 |
| Terraform | Mar 2020 | 6 |
| OPA | Mar 2020 | 2 | Open Policy Agent (OPA) 卒業提案 | 📄 |
| etcd | Jan 2020 | 4 | CNCF | 📄 |
| Rook | Dec 2019 | 2 | CNCF | 📄 |
| Kubernetes | May 2019 | 12 | Google, CNCF | 📛📄📰 |
| Feb 2022 |
| 4 |
| Casper Web Wallet | Jul 2021 | 4 | 📄 |
| Argent | Aug 2020 | 4 |
| Magma | Jun 2020 | 1 | 📄 |
| Dharma Wallet | Oct 2019 | 4 | 📄 |
| ZecWallet | Apr 2019 | 2 | 📄 |
| Web3 | Mar 2018 | 2 | W3FとTOBのハードウェアウォレットガイダンス | 💬 |
| Squads V4 | Oct 2023 | 2 | Squads | 📄✅ |
| Solang Parser and Semantic Analysis | Sep 2023 | 2 | 📄 |
| Solang Solana Library | Jul 2023 | 1 | 📄 |
| Token-2022 Program | Feb 2023 | 1 | 📄✅ |
| Drift Protocol | Dec 2022 | 6 | Drift | 📄✅ |
| Solana | Apr 2022 | 12 |
| 📄 |
| Acala Network | Jun 2021 | 4 |
| Compound Chain | May 2021 | 6 |
| Acala Network | Jan 2021 | 6 | 📄 |
| Parity Fether | Aug 2019 | 4 |
| Parity | Jul 2018 | 12 | ParityがTrail of Bitsのセキュリティレビューを完了 | 📄 |
| STON.fi DEX V2 | Jan 2025 | 8 | 📄✅ |
| Tact Compiler | Jan 2025 | 8 | 📄✅ |
| TON Foundation Multisignature Wallet | Mar 2024 | 4 | 📄✅ |
| Oct 2024 |
| 3 |
| 📄✅ |
| Wormhole Governors and Watchers | Mar 2023 | 8 | 📄✅ |
| DFINITY Canister Sandbox | Sep 2022 | 2 | 📄✅ |
| DFINITY ECDSA/BTC | Sep 2022 | 4 | 📄✅ |
| FROST BLS Protocols | Jul 2022 | 12 |
| SORA Trustless Bridge | Jul 2022 | 8 |
| CAT Standard | Jun 2022 | 8 |
| DFINITY Threshold ECDSA | May 2022 | 8 |
| Arbitrum Nitro | Mar 2022 | 16 |
| DeGate | Feb 2022 | 4 | 📄 |
| ShardX | Dec 2021 | 2 |
| DeGate | Dec 2021 | 4 |
| Threshold-DSA | Nov 2021 | 6 |
