Publications de Trail of Bits
| Lien | Description |
|---|---|
| Testing Handbook | Guides pour configurer et automatiser les outils d'analyse statique et dynamique |
| ZKDocs | Documentation interactive sur les systèmes de preuve à divulgation nulle de connaissance |
| Building Secure Smart Contracts | Meilleures pratiques pour développer des contrats intelligents sécurisés |
| CTF Field Guide | Guide de terrain pour gagner aux compétitions Capture The Flag |
| Ruby Security Field Guide | Guide pratique de sécurité Ruby |
| Titre de la présentation | Auteur(s) | Année |
|---|---|---|
| Trouver les débordements cachés en Go : fuzzing au-delà des limites du compilateur | Kevin Valerio | 2026 |
| Buttercup : Trouver et corriger automatiquement des bugs à grande échelle dans les logiciels open source | Ronald Eytchison | 2025 |
| Buttercup : L'avenir de la solution de Trail of Bits au AI Cyber Challenge de la DARPA | Trent Brunson | 2025 |
| Buttercup et le AI Cyber Challenge de la DARPA, Ringzer0 | Henrik Brodin, Ronald Eytchison | 2025 |
| Notre expérience de participation au AI Cyber Challenge | Michael Brown et al. | 2025 |
| Buttercup et le AI Cyber Challenge de la DARPA, CSAW | Ronald Eytchison | 2024 |
| Vos mesures d'atténuation sont mes opportunités | Yarden Shafir | 2023 |
| Détection des bugs de variabilité grâce à une analyse hybride du flux de contrôle et de données | Kelly Kaoudis, Henrik Brodin, Evan Sultanik | 2023 |
| Angles morts : identification des entrées de programme exploitables |
| --- | --- | --- | | Tests de mutation avec Slither : une nouvelle façon de détecter les problèmes de haute sévérité | Guillermo Larregay | 2025 | | Le Model Context Protocol de Slither : donner aux LLM une vérité terrain grâce à l'analyse statique | Ben Samuels | 2025 | | Le problème de 1,5 milliard de dollars : comment les plateformes d'échange peuvent construire un stockage à froid plus sûr | Benjamin Samuels | 2025 | | Comment devenir auditeur de contrats intelligents | nisedo | 2025 | | Testez vos tests : les choses à faire et à ne pas faire en matière de tests | Kurt Willis | 2023 | | Slither : un outil d'analyse statique pour Vyper et Solidity | Troy Sargent | 2023 | | Roundme : l'analyse des arrondis simplifiée | Josselin Feist | 2023 | | Contrats intelligents : la bêta | Nat Chin | 2023 | | Fuzzer comme un ingénieur sécurité | Nat Chin | 2023 | | Écrivez de meilleurs contrats intelligents avec l'API Python de Slither | Troy Sargent | 2022 | | Construire un Cairo sécurisé | Filipe Casal, Simone Monica | 2022 | | Comment fuzzer comme un pro | Josselin Feist, Nat Chin | 2022 | | Démystifier le fuzzing | Nat Chin | 2022 | | Construire un analyseur statique pratique pour les contrats intelligents | Josselin Feist | 2021 | | Tester et vérifier les contrats intelligents : de la théorie à la pratique | Josselin Feist | 2021 | | Intégrer les jetons ERC20 en toute sécurité | Josselin Feist | 2021 | | Détecter les attaques par remplacement de transactions avec Manticore | Sam Moelius | 2020 | | Piratages DeFi et menaces futures : le rôle de l'économie dans la conception de protocoles sécurisés | Dan Guido | 2020 | | De fantastiques bugs et comment les écraser ; ou, les crimes de Solidity | Evan Sultanik | 2019 | | SlithIR : analyse de sécurité de haute précision avec une IR pour Solidity | Josselin Feist | 2019 | | Slither : un framework d'analyse statique pour les contrats intelligents | Josselin Feist | 2019 | | Ce que la blockchain a réussi | Dan Guido | 2019 | | La sécurité de l'information traditionnelle pour les entreprises de blockchain | Dan Guido | 2019 | | Tests par propriétés des contrats intelligents | JP Smith | 2018 | | Anatomie d'un langage de programmation non sécurisé | Evan Sultanik | 2018 | | Risques et recommandations pour la mise à niveau des contrats | Josselin Feist | 2018 | | Blackhat Ethereum | Ryan Stortz, Jay Little | 2018 | | Autopsies de blockchain - Analyser les décès de contrats intelligents | Jay Little | 2018 | | Rattle - un framework d'analyse binaire EVM pour Ethereum | Ryan Stortz | 2018 | | Sécuriser la valeur sur la blockchain Ethereum | Dan Guido | 2018 | | Analyse binaire, rencontre avec la blockchain | Mark Mossberg | 2018 | | Détection automatique de bugs pour la blockchain | Felipe Manzano, Josselin Feist | 2017 |
| Titre de la présentation | Auteur(s) | Année |
|---|---|---|
| Prise en charge du codage en temps constant dans LLVM | Julius Alexandre | 2025 |
| Une large évaluation comparative des outils de dégraissage logiciel | Michael D. Brown, Adam Meily, Eric Kilmer, Ronald Eytchison | 2024 |
| Réutiliser les analyses LLVM dans MLIR : aller-retour à travers la tour des IR | Henrich Lauko | 2024 |
| VAST : MLIR pour l'analyse de programmes C/C++ | Henrich Lauko | 2022 |
| Une large évaluation comparative des réécriveurs binaires x86-64 | Michael D. Brown | 2022 |
| Sur l'optimisation des calculs concurrents équivalents | Henrich Lauko, Lukáš Korenčik, Peter Goodman | 2022 |
| Titre de la présentation | Auteur(s) | Année |
|---|---|---|
| Couper court au QUIC : réduire les performances de QUIC avec un DoS par hachage | Paul Bottinelli | 2025 |
| Un, deux, TEE : la confiance dans les nombres rencontre la sécurité matérielle | Paul Bottinelli | 2025 |
| Attaques Fiat-Shamir faibles sur les systèmes de preuve modernes | Jim Miller | 2024 |
| Construire une bibliothèque de validation de chemin en Rust pour PyCA Cryptography | William Woodruff | 2024 |
| Implémenter la validation de chemin X.509 pour Python | William Woodruff | 2024 |
| Attention à MAc-then-SIGn | Marc Ilunga | 2023 |
| Meurs, PGP, meurs | William Woodruff | 2022 |
| Sérieusement, arrêtez d'utiliser RSA | Ben Perez | 2019 |
| Meilleures pratiques pour la cryptographie en Python | Paul Kehrer | 2019 |
| Analyse de la collision MD5 dans Flame |
| Titre de la présentation | Auteur(s) | Année |
|---|---|---|
| Benchmarking reproductible : une exploration d'OpenSearch vs Elasticsearch | Evan Downing | 2025 |
| Ingénierie de sécurité fondée sur les preuves | Dan Guido | 2019 |
| Surveillance des événements de sécurité Linux avec osquery | Alessandro Gario | 2019 |
| osql : le fork d'osquery orienté communauté | Stefano Bonicatti, Mark Mossberg | 2019 |
| Premiers pas avec osquery | Lauren Pearl, Andy Ying | 2018 |
| Les super fonctionnalités d'osquery | Lauren Pearl | 2018 |
| Skunkworks d'extensions osquery | Mike Myers | 2018 |
| Construisez-le, cassez-le, réparez-le | Andrew Ruef | 2014 |
| Titre de la présentation | Auteur(s) | Année |
|---|---|---|
| Introduction à Semgrep et Exercices pratiques de Semgrep | Maciej Domański, Matt Schwager, Spencer Michaels | 2024 |
| Une introduction en douceur à LLVM | William Woodruff | 2022 |
| Les JWT, et pourquoi ils sont nuls | Rory M | 2021 |
| La joie du pwning | Sophia D'Antoine | 2017 |
| Comment faire du CTF - Obtenir et utiliser les ordinateurs des autres (OPC) | Jay Little | 2014 |
| Sécurité bas niveau | Andrew Ruef | 2014 |
| La sécurité et votre entreprise | Andrew Ruef | 2014 |
| N'apporter rien à la fête | Vincenzo Iozzo | 2013 |
| D'une tour d'ivoire à l'autre | Vincenzo Iozzo | 2012 |
| Titre de la présentation | Auteur(s) | Année |
|---|---|---|
| Retour dans la forêt des Cent Acres | Stefan Edwards | 2019 |
| Nager avec les poissons kubectl | Stefan Edwards | 2019 |
| Titre de la présentation | Auteur(s) | Année |
|---|---|---|
| Comment nous avons rendu Trail of Bits natif de l'IA (jusqu'à présent) | Dan Guido | 2026 |
| Transformer le redimensionnement d'images en arme contre les systèmes d'IA en production | Kikimora Morozova, Suha Sabi Hussain | 2025 |
| Injection de prompt indirecte : approches de test architecturales pour les systèmes d'IA/ML du monde réel | Will Vandevanter | 2025 |
| Des polyglottes aux injections de prompt : l'analyse syntaxique reste de l'exécution (et votre LLM n'a pas reçu le mémo) | Evan Sultanik | 2025 |
| L'IA frontière en cybersécurité : risques et opportunités | Dan Guido, Riccardo Schirone | 2025 |
| Le présent et l'avenir de l'IA et de la sécurité | Evan Downing | 2024 |
| Exploits incubés d'apprentissage automatique : portes dérobées dans les pipelines ML à l'aide de bugs de traitement des entrées | Suha Sabi Hussain | 2024 |
| Modèles de menaces ML holistiques | Adelin Travers | 2024 |
| Utilisation d'algorithmes d'apprentissage automatique basés sur les graphes pour l'analyse de logiciels |
| Titre de la présentation | Auteur(s) | Année |
|---|---|---|
| Élévation de privilèges macOS via Traceroute6 | Paweł Płatek | 2025 |
| Rétro-ingénierie Swift | Ryan Stortz | 2016 |
| Sécurité moderne des applications iOS | Sophia D'Antoine, Dan Guido | 2016 |
| Le projet Mobile Exploit Intelligence | Dan Guido | 2012 |
| Un conte de menaces mobiles | Vincenzo Iozzo | 2012 |
| Titre de la présentation | Auteur(s) | Année |
|---|---|---|
| Python internals - parlons des dicts | Dominik Czarnota | 2019 |
| Débogage bas niveau avec Pwndbg | Dominik Czarnota | 2018 |
| Les choses non sécurisées à éviter en Python | Dominik Czarnota | 2018 |
| Titre de la présentation | Auteur(s) | Année |
|---|---|---|
| Canaux auxiliaires matériels dans les environnements virtualisés | Sophia D'Antoine | 2015 |
| Exploiter l'exécution hors ordre | Sophia D'Antoine | 2015 |
| Titre de la présentation | Auteur(s) | Année |
|---|---|---|
| Attestations : une nouvelle génération de signatures sur PyPI | William Woodruff | 2025 |
| Les 5 prochaines années de la sécurité de la chaîne d'approvisionnement sur PyPI | William Woodruff | 2024 |
| PEP 740 et PyPI : amorcer la provenance pour l'écosystème Python | William Woodruff | 2024 |
| Imaginer un avenir zéro confiance pour PyPI | William Woodruff | 2024 |
| Provenance des builds : leçons (pour l'instant) de Homebrew | Joe Sweeney | 2024 |
| À quoi ressemble la signature de code pour un écosystème de packaging tout entier ? | William Woodruff | 2023 |
| Sécuriser votre écosystème de packages avec Trusted Publishing | William Woodruff | 2023 |
| Trusted Publishing : leçons de PyPI | William Woodruff | 2023 |
| Signature de code ergonomique pour l'écosystème Python avec Sigstore | William Woodruff | 2023 |
| Titre de la présentation | Auteur(s) | Année |
|---|---|---|
| Dévoiler les « Shlayers » des malwares macOS | Josh Watson, Erika Noerenberg | 2019 |
| Le projet Exploit Intelligence revisité | Dan Guido | 2013 |
| --- | --- | --- | --- |
| Risky Biz | Dan Guido | Feb 2026 | IA chez Trail of Bits |
| What's in the SOSS? 53 | Michael Brown | Feb 2026 | AIxCC et Buttercup |
| Insecure Agents 18 | Kikimora Morozova | Dec 2025 | Injections de prompts IA |
| Risky Biz | Keith Hoodlet | Sep 2025 | Injections de prompts IA |
| Zero Signal | Keith Hoodlet | Sep 2025 | Sécurité de l'IA |
| Unsupervised Learning | Michael Brown | Aug 2025 | AIxCC |
| Security Weekly 342 | Will Vandevanter | Aug 2025 | Divulgation de vulnérabilité NVIDIA |
| CTF Radiooo 01E | Michael Brown & Evan Downing | Aug 2025 | AIxCC |
| Click Here Show | Dan Guido | Jun 2025 | Attaques de contrôle à distance de Zoom |
| Security Weekly 336 | Artur Cygan | Jun 2025 | Fuzzing de codes-barres |
| Protect AI | Keith Hoodlet | Jun 2025 | Sécurité MCP |
| Open Source Security | William Woodruff | May 2025 | Zizmor et sécurité des GitHub Actions |
| MLSecOps | Keith Hoodlet | Apr 2025 | Sécurité IA/ML |
| Risky Biz 786 | Tjaden Hess | Apr 2025 | Cryptographie et blockchain |
| Security Weekly 323 | Keith Hoodlet | Mar 2025 | GenAI dans la sécurité applicative |
| Xyonix | Keith Hoodlet | Mar 2025 | Sécurité IA/ML |
| The Impulsive Thinker | Dan Guido | Feb 2025 | Neurodivergence |
| Bugcrowd | Keith Hoodlet | Oct 2024 | Biais IA/ML |
| Risky Biz | Dan Guido | Oct 2024 | Cryptographie post-quantique |
| Risky Biz 759 | Dan Guido | Aug 2024 | AI Cyber Challenge de la DARPA |
| Resilience Rundown | Josiah Dykstra | May 2024 | Biais en sécurité |
| Risky Biz | Dan Guido | Apr 2024 | Outillage open source |
| MLSecOps March 20 | William Woodruff | Mar 2024 | Sécurité de la chaîne d'approvisionnement |
| yWhales | Dan Guido | Dec 2023 | Sécurité blockchain |
| Risky Biz 707 | Dan Guido | May 2023 | Sécurité ML |
| ASW 229 | Nick Selby | Feb 2023 | Modélisation des menaces, audits cloud natifs |
| Risky Biz 690 | Dan Guido | Jan 2023 | Divulgation de vulnérabilités |
| Risky Biz 672 | Dan Guido | Jul 2022 | Sécurité blockchain |
| Cloud Security Reinvented | Nick Selby | Jun 2022 | Sécurité cloud |
| Skiff Office Hours | Dan Guido | Mar 2022 | Technologies de protection de la vie privée |
| Risky Biz 652 | Dan Guido | Jan 2022 | Preuves à connaissance nulle |
| Secureum Safecast #3 | Josselin Feist | Nov 2021 | Sécurité blockchain |
| Secureum Safecast #2 | Dan Guido | Oct 2021 | Sécurité blockchain |
| Press Freedom Foundation | Dan Guido | Jul 2021 | Sécurité mobile et iVerify |
| Employee Cycle | Hannah Hanks | Mar 2021 | Première embauche PeopleOps |
| Risky Biz 614 | Dan Guido | Feb 2021 | iVerify |
| Building Better Systems 6 | Dan Guido | Jan 2021 | Ce que la blockchain a réussi |
| WCBS 880 | Dan Guido | Sep 2020 | Années sabbatiques et recrutement de stagiaires |
| Risky Biz 594 | Dan Guido | Aug 2020 | Sécurité Apple |
| Epicenter 346 | Dan Guido | Jun 2020 | Sécurité des contrats intelligents |
| Absolute AppSec 97 | Stefan Edwards | May 2020 | Modélisation des menaces |
| Unchained 170 | Dan Guido | May 2020 | Sécurité DeFi |
| Risky Biz 580 | Dan Guido | Apr 2020 | Vote mobile |
| Absolute AppSec 91 | Stefan Edwards | Apr 2020 | Vote mobile |
| Zero Knowledge 122 | Ben Perez | Mar 2020 | Revues de cryptographie, ZKP |
| Changelog | Dan Guido | Jan 2020 | AlgoVPN |
| Risky Business 559 | Stefan Edwards | Oct 2019 | Kubernetes |
| FOSS Weekly 545 | William Woodruff | Sep 2019 | Améliorations de la sécurité de PyPI |
| Podcast.__init__ 225 | William Woodruff | Aug 2019 | Sécurité, UX et durabilité de PyPI |
| Absolute AppSec 68 | Stefan Edwards, Bobby Tonic | Aug 2019 | Kubernetes |
| Hashing it Out 53 | Dan Guido | Jul 2019 | Test de contrats intelligents |
| Absolute AppSec 60 | Stefan Edwards | May 2019 | Android, langages de programmation |
| Absolute AppSec 55 | Stefan Edwards | Apr 2019 | Test de sécurité |
| Hashing it Out 35 | Dan Guido, Josselin Feist | Jan 2019 | L'EIP-1283 raté d'Ethereum |
| Risky Biz 526 | JP Smith | Jan 2019 | Cryptographie post-quantique dans les CTF |
| Absolute AppSec 37 | Stefan Edwards | Nov 2018 | Langages de programmation, symbex |
| Risky Biz 510 | Lauren Pearl | Aug 2018 | Ingénierie de sécurité open source |
| Absolute AppSec 34 | Stefan Edwards | Oct 2018 | Test de sécurité, blockchain |
| The Smartest Contract 15 | JP Smith | Aug 2018 | Outils de sécurité et audit de Trail of Bits |
| Zero Knowledge 16 | JP Smith | Mar 2018 | Sécurité des contrats intelligents |
| Risky Biz 488 | JP Smith | Feb 2018 | Test de contrats intelligents avec Manticore |
| Risky Biz 474 | Dan Guido | Oct 2017 | Comment concevoir des logiciels sécurisés |
| Georgian Partners 47 | Dan Guido | May 2017 | AlgoVPN et Tor |
| VUC 643 | Dan Guido | Apr 2017 | AlgoVPN |
| Risky Biz 449 | Dan Guido | Mar 2017 | Intégrité du flux de contrôle |
| Risky Biz 425 | Dan Guido | Sep 2016 | Récapitulatif de l'actualité de la semaine |
| Risky Biz 421 | Dan Guido | Aug 2016 | Piratage automobile et actualité de la semaine |
| Risky Biz 416 | Dan Guido | Jul 2016 | DARPA Cyber Grand Challenge |
| Risky Biz 399 | Dan Guido | Feb 2016 | Apple contre le FBI |
| Risky Biz 348 | Dan Guido | Jun 2015 | DARPA Cyber Grand Challenge |
| Risky Biz 370 | Dan Guido | Feb 2015 | DARPA Cyber Grand Challenge |
| Titre | Intervenants | Date |
|---|---|---|
| Principaux bugs TEE à corriger avant votre audit | Tjaden Hess, Paul Bottinelli, & Jules Drean | Dec 2025 |
| Construire des systèmes de chiffrement de bout en bout sécurisés | Marc Ilunga & Fredrik Dahlgren | Dec 2025 |
| Après Wiretap et Battering RAM : quels changements pour l'infrastructure blockchain basée sur TEE | Tjaden Hess & Andy Campbell | Nov 2025 |
| Plongée en profondeur dans la sécurité MCP : des attaques à la défense | Keith Hoodlet, Cliff Smith, Vineeth Sai Narajala, Manish Bhatt | Jul 2025 |
| Audits de sécurité : bonnes pratiques avec Trail of Bits | Chris Dahlheimer, Lindsay Rakowski, & Vanessa Gennarelli | Mar 2025 |
| Maîtriser la recherche web avec Burp Suite | Keith Hoodlet, Cliff Smith, & James Kettle | Jun 2024 |
| Introduction à CodeQL : exemples, outils et intégration CI | Filipe Casal & Fredrik Dahlgren | Mar 2024 |
| Introduction à Semgrep | Maciej Domanski & Matt Schwager | Jan 2024 |
| Sujet | Agence | Date |
|---|---|---|
| Bill of materials automatisé pour l'IA/ML Ops | U.S. Army PEO IEW&S | Dec 2023 |
| Sécurité des logiciels open source : domaines d'attention et de priorisation à long terme | ONCD, CISA, NSF, DARPA, OMB | Nov 2023 |
| Comprendre les implications de l'IA pour la sécurité nationale | Whitehouse OTSP | Jul 2023 |
| Responsabilité, réglementation et audits de l'IA | NTIA | Jun 2023 |
| Un cadre complet d'évaluation des risques pour l'assurance de l'IA dans les domaines éthiques, juridiques et sociétaux | DARPA | Jun 2023 |
| Comprendre la sécurité des marchés crypto | CFTC | Mar 2023 |
| Réglementation des logiciels d'intrusion et de surveillance | Département du Commerce | Jul 2015 |
Regards approfondis sur la manière dont les clients ont collaboré avec Trail of Bits : le défi, notre approche et les résultats. Le niveau d'effort est exprimé en semaines-ingénieur.
| Client | Sujet | Date | Niveau d' effort | Étude de cas |
|---|---|---|---|---|
| Turnkey | Infrastructure TEE et AWS Nitro Enclaves | Jun 2026 | 8 | 📖 |
| Vanta | Revue d'architecture d'isolation multi-tenant | Nov – Dec 2025 | 6 | 📖 |
| Scopely | Évaluation de la conception de l'équité du PRNG de Monopoly GO! | Dec 2024 | 2 | 📖 |
| Hugging Face | Évaluation de sécurité avant la sortie de Gradio 5.0 | Jun – Jul 2024 | 4 | 📖 |
| Scroll | Revues de sécurité des circuits zkEVM | Apr – Sep 2023 | 45.8 | 📖 |
Les entreprises qui nous ont autorisés à parler de notre travail sont répertoriées ici. Beaucoup d'autres restent confidentielles.
Les clients suivants ont fait appel à Trail of Bits pour 5 revues de sécurité ou plus :
| Produit | Date | Niveau d' effort | Annonce | Rapport |
|---|---|---|---|---|
| MobileCoin | Jul 2022 | 2 | 📄 | |
| Fog Protocol | Jan 2021 | 4 | 📄 | |
| MobileCoin BFT | Oct 2020 | 4 | 📄 | |
| MobileCoin | Aug 2020 | 4 | 📄 |
| Produit | Date | Niveau d'effort | Annonce | Rapport |
|---|---|---|---|---|
| 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 | 📄 |
| Produit | Date | Niveau d'effort | Annonce | Rapport |
|---|---|---|---|---|
| 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 | 📄✅ |
| Produit | Date | Niveau d'effort | Annonce | Rapport |
|---|---|---|---|---|
| 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 | 📄 |
| Produit | Date | Niveau d'effort | Annonce | Rapport |
|---|---|---|---|---|
| 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 | Multiples vulnérabilités dans SanDisk X600 | 📄 |
| Produit | Date | Niveau d'effort | Annonce | Rapport |
|---|---|---|---|---|
| YOLOv7 | Oct 2023 | 4 | 📄 | |
| SafeTensors | Mar 2023 | 2 | 📄 |
| ---| --: | :-: | --- | :-: | | MAGIC Grants Monero FCMP ++ Crypto | juil. 2026 | 2 | | 📄✅ | | Ripple Labs XRP Ledger Confidential Transfer | avr. 2026 | 6 | | 📄✅ | | HyperLink AWS Nitro TEE | mars 2026 | 2.2 | | 📄✅ | | Open Home Foundation SecureTar v3 | mars 2026 | 1 | | 📄✅ | | Obsidian Sync | déc. 2025 | 2 | | 📄✅ | | NEAR One PedPop+ | mai 2025 | 4 | | 📄 | | NEAR One MPC Chain Signatures | mars 2025 | 6 | | 📄 | | NEAR One Robust ECDSA | févr. 2026 | 6.4 | | 📄✅ | | Anza BLS Signatures | mars 2026 | 1 | | 📄 | | DV Labs Charon Pedersen DKG | févr. 2026 | 2 | | 📄✅ | | Anza Token-2022 Confidential Transfer, Cryptography | janv. 2026 | 7 | | 📄 | | Calyx Institute HSM Provisioning Ceremony Scripts | janv. 2026 | 1 | | 📄✅ | | BSV Blockchain TS-SDK | janv. 2026 | 6 | | 📄✅ | | Bron Labs MCP Library | janv. 2026 | 8 | | 📄✅ | | NEAR One Confidential Key Derivation | déc. 2025 | 4 | | 📄✅ | | Zama | oct. 2025 | 32.2 | | | | DFINITY Orbit | sept. 2025 | 4 | | 📄✅ | | DFINITY Oisy | sept. 2025 | 4 | | 📄✅ | | Google Longfellow | août 2025 | 4.6 | | 📄✅ | | Open Quantum Safe liboqs | avr. 2025 | 5 | Open Quantum Safe | 📄 | | Go Crypto Libraries | mars 2025 | 12 | Go | 📄✅ | | Zkonduit EZKL | mars 2025 | 11 | EZKL | 📄✅ | | Scopely Monopoly Go! | déc. 2024 | 2 | | 🔖 | | Aligned | déc. 2024 | 3 | | 📄✅ | | Discord DAVE | sept. 2024 | 5 | Discord | 📄✅ | | Discord DAVE | août 2024 | 4 | Discord | 📄✅ | | Lit Protocol Cait-Sith | juin 2024 | 10 | | 📄✅ | | Iron Fish FishHash | avr. 2024 | 1 | Iron Fish | 📄✅ | | AgileBits Snow | mars 2024 | 4 | | 📄✅ | | Silence Laboratories Silent Shard | févr. 2024 | 5 | | 📄✅ | | Snow | janv. 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 | juin 2023 | 14 | Axiom | 📄✅ | | Dfinity ckBTC and BTC Integration | juin 2023 | 2.5 | Forum, Blog | | | Dfinity SNS Phase 2 | juin 2023 | 2.5 | Forum, Blog | 📄 | | Thesis tss-lib BitForge | juin 2023 | 0.2 | Threshold | 📄✅ | | Chainflip | avr. 2023 | 12 | Chainflip | 📄✅ | | Stealth Addresses | févr. 2023 | 2 | | 📄✅ | | Succinct ZK Light Client | févr. 2023 | 8 | Succinct | 📄✅ | | noble-curves Library | janv. 2023 | 2 | | 📄✅ | | ParaSpace | déc. 2022 | 1 | | 📄 | | Phantom Wallet | nov. 2022 | 2 | | | | ParaSpace | nov. 2022 | 7 | | 📄✅ | | SimpleX Chat | oct. 2022 | 1 | SimpleX | 📄 | | Dfinity | sept. 2022 | 4 | Forum, Blog | 📄✅ | | Aleo snarkVM | sept. 2022 | 12 | | 📄✅ | | Microsoft/Verasion Go-COSE | juil. 2022 | 4 | | 📄✅ | | BLS Signature Scheme | juil. 2022 | 1 | | | | Binance CGGMP21 and FROST | mai 2022 | 8 | | | | Aleo snarkVM & snarkOS | avr. 2022 | 12 | | | | Phantom Wallet | avr. 2022 | 4 | | | | Parallel Finance | mars 2022 | 6 | | 📄 | | Polkadex | févr. 2022 | 10 | | | | Linux Kernel | avr. 2021 | 2 | Signature des versions et gestion | 📄 | | Standard Notes | mars 2020 | 1 | Standard Notes | 📄 | | Project Callisto | août 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 | Réponse, 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 | Tests d'intrusion chez CircleCI | | BitMEX | Jan 2021 | 4 | | | | SecureDrop | Dec 2020 | 8 | 2e audit de SecureDrop Workstation | 📄 | | Citizen Browser | Dec 2020 | 0.43 | Comment nous avons construit un inspecteur Facebook| | Ren | Aug 2020 | 4 | Mise à jour de développement d'août | 📄 | | Hey.com | Jun 2020 | 1 | Sécurité sérieuse | 📄 | | Azure Sphere | Jun 2020 | 12 | Améliorations de sécurité d'Azure Sphere 20.07 | | Zoom | May 2020 | 9 | 90 jours écoulés, et ensuite pour 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 | | 📄 |
| Produit | Date | Niveau d'effort | Annonce | Rapport |
|---|---|---|---|---|
| KEDA | Dec 2022 | 6 | OSTIF | 📄 |
| Terraform Enterprise | Nov 2022 | 6 | ||
| Nomad Enterprise | Nov 2022 | 6 | ||
| HashiCorp Cloud | Jun 2022 | 9 | ||
| Tekton | Mar 2022 | 4 | Revue de sécurité de Tekton terminée | 📄 |
| Linkerd | Feb 2022 | 4 | 📛📄✅ | |
| CoreDNS | Jan 2022 | 4 | 📄 | |
| Terraform Enterprise | Nov 2021 | 6 |
| Produit | Date | Niveau d'effort | Annonce | Rapport | Suite publique |
|---|---|---|---|---|---|
| Panoptic | May 2024 | 9 | 📄 | ||
| Curvance | Mar 2024 | 5 | 📄 | Invariants publics |
| Produit | Date | Niveau d'effort | Annonce | Rapport |
|---|---|---|---|---|
| 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 wallet | |
| RAILGUN |
| Produit | Date | Niveau d'effort | Annonce | Rapport |
|---|---|---|---|---|
| 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 | Succès et dynamique d'Algorand |
| Produit | Date | Niveau d'effort | Annonce | Rapport |
|---|---|---|---|---|
| Ava Labs AvalancheGo | Aug 2025 | 10 | 📄 | |
| Alkimiya Silica V2 | Jun 2022 | 6 | ||
| Ava Labs | Apr 2022 | 8 | ||
| Flare Network | Mar 2021 | 8 |
| Produit | Date | Niveau d' effort | Annonce | Rapport |
|---|---|---|---|---|
| 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, and Sapling security reviews |
| Produit | Date | Niveau d'effort | Annonce | Rapport |
|---|---|---|---|---|
| xUDT | juin 2021 | 2 | ||
| Nervos -RSA | mars 2021 | 4 | ||
| Cheque Cell & ORU | févr. 2021 | 8 | ||
| Force Bridge - Solidity | févr. 2021 | 4 | ||
| Force Bridge - Rust | févr. 2021 | 3 | ||
| Nervos SUDT | oct. 2020 | 6 | 📄 |
| Produit | Date | Niveau d'effort | Annonce | Rapport |
|---|---|---|---|---|
| Opus | déc. 2023 | 8 | 📄✅ | |
| Aura | août 2023 | 8 | 📄✅ | |
| Nostra | déc. 2022 | 8 | ||
| StarkGate | déc. 2022 | 2 | ||
| StarkEx | oct. 2022 | 1 | ||
| StarkNet token | juil. 2022 | 1 | ||
| StarkPerpetual | janv. 2022 | 8 | ||
| StarkEx | nov. 2021 | 8 |
| Produit | Date | Niveau d'effort | Annonce | Rapport |
|---|---|---|---|---|
| Telcoin Solana Peg Stability Vault | mai 2026 | 1.2 | 📄✅ | |
| Jobcoin Clock-in Program | mars 2026 | 0.6 | 📄✅ | |
| Anza Token-2022 Confidential Transfer, Blockchain | janv. 2026 | 3 | 📄 | |
| Franklin Templeton Benji Contracts | févr. 2025 | 2 | 📄✅ | |
| ZetaChain Solana Gateway | janv. 2025 | 1 | 📄✅ | |
| Solang Code Generation | nov. 2023 | 4 | 📄 | |
| Solang Code Generation, Part 1 | nov. 2023 | 2 | 📄 |
| Produit | Date | Niveau d'effort | Annonce | Rapport |
|---|---|---|---|---|
| Orga and Merk | nov. 2024 | 10 | Audit de sécurité d'Orga & Merk par Trail of Bits | 📄✅ |
| Berachain polaris-geth | août 2023 | 8 | ||
| Berachain berachain | juin 2023 | 6 | ||
| Umee | févr. 2022 | 8 | 📄 | |
| Columbus-5 | janv. 2022 | 2 | ||
| IBC Protocol | déc. 2021 | 4 | ||
| THORChain | août 2021 | 12 | ||
| Tendermint | mars 2019 | 12 | ||
| ndau | nov. 2018 | 8 | Policy Council |
| Produit | Date | Niveau d'effort | Annonce | Rapport |
|---|---|---|---|---|
| Kolibri | avr. 2022 | 4 | ||
| Tezori (T2) | déc. 2020 | 4 | 📄 | |
| Dexter | juin 2020 | 4 | 📄 | |
| Tezori | juil. 2018 | 2 | Merci à @trailofbits pour sa revue de sécurité |
| Produit | Date | Niveau d'effort | Annonce | Rapport |
|---|---|---|---|---|
| TONCO CLAMM DEX v1.6 | janv. 2026 | 11 | TONCO v1.6 est en ligne | 📄✅ |
| EVAA Finance | août 2025 | 8.6 | 📄✅ | |
| Swap Coffee TON DEX | juil. 2025 | 6 | 📄✅ | |
| FIVA Yield Protocol | mai 2025 | 6 | 📄✅ | |
| FIVA Evaa Integration | mai 2025 | 6 | 📄✅ | |
| Whales Holders | mai 2025 | 4 | 📄✅ | |
| Whales Nominators | mai 2025 | 4 | 📄✅ |
| Produit | Date | Niveau d'effort | Annonce | Rapport |
|---|---|---|---|---|
| Mina Decentralized Treasury | juin 2026 | 4.6 | 📄✅ | |
| EthStaker Deposit CLI | mars 2026 | 1 | 📄✅ | |
| Chainlink LlamaRisk LlamaGuard NAV CRE | févr. 2026 | 1 | 📄✅ | |
| Chainlink Custom Senders and Receivers | févr. 2025 | 4 | 📄✅ | |
| Shape Gasback | janv. 2025 | 2 | 📄✅ | |
| PixelSwap DEX | déc. 2024 | 6 | 📄✅ | |
| Arkis Prime | déc. 2024 | 5 | 📄✅ | |
| Franklin Templeton Aptos |
Consultez aussi le dépôt d'exploits.
| Nom | Produit | Découvreur | Année | ID | Blog |
|---|---|---|---|---|---|
| Déni de service dans protobuf-python | protobuf-python | Alexis Challande | 2025 | CVE-2025-4565 | |
| Vulnérabilités dans le chiffrement de disque LUKS2 pour les machines virtuelles confidentielles | Linux LUKS2 | Tjaden Hess | 2025 | CVE-2025-59054, CVE-2025-58356 | 💬 |
| Injection de prompt menant à une RCE dans les agents d'IA | Agents d'IA (plusieurs plateformes) | Will Vandevanter | 2025 | ❌ | 💬 |
| Contournement de l'intégrité du code dans les applications Electron | Applications Electron (Signal, 1Password, Slack) | Darius Houle | 2025 | CVE-2025-55305 | 💬 |
| Utilisation de la mise à l'échelle d'images comme arme contre les systèmes d'IA en production | Google Gemini, Vertex AI, Genspark | Kikimora Morozova, Suha Sabi Hussain | 2025 | ❌ | 💬 |
| Euro S&P 2023 |
| 2023 |
| Attaques Fiat-Shamir faibles sur les systèmes de preuve modernes | IEEE S&P 2023 | 2023 |
| Endoprocess : Isolation de sous-processus programmable et extensible | NSPW 2023 | 2023 |
| CIVSCOPE : Analyse des bogues potentiels de corruption mémoire dans les interfaces de compartiments | SOSP KISV 2023 | 2023 |
| Détection des bugs de variabilité grâce à une analyse hybride du flux de contrôle et de données | LangSec 2023 | 2023 |
| Angles morts : Détection automatique des entrées de programme ignorées | LangSec 2023 | 2023 |
| Preuves efficaces d'exploitabilité logicielle pour les processeurs réels | PETS 2023 | 2023 |
| Vers des évaluations complètes des risques et une assurance des systèmes d'IA | arXiv | 2023 |
| Une évaluation comparative large des réécriveurs binaires x86-64 | CSET 22 | 2022 |
| Sur l'optimisation des calculs concurrents équivalents | PLDI EGRAPHS 2022 | 2022 |
| Évaluation des outils d'analyse statique via la mutation différentielle | QRS 2021 | 2021 |
| echidna-parade : Fuzzing diversifié multicœur de contrats intelligents | ISSTA 2021 | 2021 |
| Analyse différentielle des décodeurs d'instructions x86-64 | LangSec 2021 | 2021 |
| Echidna : Fuzzing efficace, utilisable et rapide pour les contrats intelligents | ISSTA 2020 | 2020 |
| ICARUS : Comprendre les formats de facto à l'aide de plumes et de cire | LangSec 2020 | 2020 |
| Vers l'extraction automatisée de grammaires via l'étiquetage sémantique des implémentations d'analyseurs | LangSec 2020 | 2020 |
| Quels sont les défauts réels des contrats intelligents importants ? | FC 2020 | 2020 |
| Echidna : Un fuzzer pratique pour contrats intelligents | FC 2020 | 2020 |
| RSA GTFO | PoC||GTFO 0x20 | 2020 |
| Manticore : Exécution symbolique pour les binaires et les contrats intelligents | ASE 2019 | 2019 |
| Slither : Un framework d'analyse statique pour les contrats intelligents | WETSEB 2019 | 2019 |
| Vers une découverte plus intelligente des vulnérabilités grâce à l'apprentissage automatique | AISec 2018 | 2018 |
| Le passé, le présent et l'avenir de Cyberdyne | IEEE S&P | 2018 |
| DeepState - Tests unitaires symboliques pour C et C++ | BAR 2018 | 2018 |
| Cyber-tromperie et attribution dans les exercices Capture-the-Flag | FOSINT-SI 2015 | 2015 |
| Henrik Brodin, Evan Sultanik, and Marek Surovič |
| 2023 |
| MLIR est l'avenir de l'analyse de programmes | Peter Goodman | 2023 |
| Un sermon sur les indulgences du sacrifice computationnel ; ou, Les bénédictions surabondantes de la programmation d'un jeu NES absurde | Evan Sultanik | 2021 |
| Analyse différentielle des décodeurs d'instructions x86-64 | William Woodruff, Niki Carroll, Sebastiaan Peters | 2021 |
| Comment trouver des bugs quand la vérité (de référence) n'est pas réelle | William Woodruff | 2020 |
| Vers l'extraction automatisée de grammaires via l'étiquetage sémantique des implémentations d'analyseurs | Carson Harmon, Brad Larsen, Evan Sultanik | 2020 |
| La trahison des fichiers et deux nouveaux outils qui la domptent | Evan Sultanik | 2019 |
| Exécution symbolique d'un tyran flou | Stefan Edwards | 2019 |
| Injection de fautes dans l'espace noyau avec KRF | William Woodruff | 2019 |
| Exécution symbolique de binaires avec KLEE-Native | Sai Vegasena | 2019 |
| Passer en mode sicko sur le noyau Linux | William Woodruff | 2019 |
| Modélisation de vulnérabilités avec Binary Ninja | Josh Watson | 2018 |
| Polyglotterie de fichiers ; ou, Cette POC est aussi une image de chats | Evan Sultanik | 2017 |
| Sois une rockstar du binaire | Sophia D'Antoine | 2017 |
| Exécution symbolique pour les humains | Mark Mossberg | 2017 |
| L'esprit des années 90 est toujours vivant à Brooklyn | Ryan Stortz, Sophia D'Antoine | 2017 |
| Le rêve d'un duel entre analyse statique et dynamique | Ryan Stortz | 2016 |
| Résolution de contraintes binaires pour la génération automatique d'exploits | Sophia D'Antoine | 2016 |
| La révolution du fuzzer intelligent | Dan Guido | 2016 |
| Créer un système de hacking automatisé évolutif | Artem Dinaburg | 2016 |
| Cyberdyne - Découverte automatique de bugs à grande échelle | Peter Goodman | 2016 |
| McSema - Traduction statique d'instructions x86 vers LLVM IR | Andrew Ruef, Artem Dinaburg | 2014 |
| Alex Sotirov |
| 2012 |
| Michael D. Brown |
| 2023 |
| Exploiter les fichiers Pickle de l'apprentissage automatique | Carson Harmon, Evan Sultanik, Jim Miller, Suha Sabi Hussain | 2021 |
| PrivacyRaven : tests de confidentialité complets pour l'apprentissage profond | Suha Sabi Hussain | 2020 |
| William Woodruff |
| 2022 |
| La viande mystère du packaging Python | William Woodruff | 2022 |
| Outils automatisés pour sécuriser la chaîne d'approvisionnement logicielle | Michael D. Brown | 2022 |
| Améliorer la sécurité de PyPI avec l'authentification à deux facteurs | 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 | 2e audit de sécurité de Helm | 📄 |
| Terraform | Mar 2020 | 6 |
| OPA | Mar 2020 | 2 | Proposition de graduation d'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 | Guide W3F et TOB sur les portefeuilles matériels | 💬 |
| 📄 |
| Zcash | Nov 2019 | 6 | 📄 |
| Paymail Protocol | Nov 2019 | 7 |
| Simple Ledger | Oct 2019 | 3 |
| Bitcoin SV | Nov 2018 | 12 |
| RSKj | Nov 2017 | 6 | RSK security audit results | 📄 |
| --- | --: | :-: | --- | :-: |
| 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 |
| Mar 2020 | 1 | Une nouvelle frontière |
| 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 |
| Squads V4 | oct. 2023 | 2 | Squads | 📄✅ |
| Solang Parser and Semantic Analysis | sept. 2023 | 2 | 📄 |
| Solang Solana Library | juil. 2023 | 1 | 📄 |
| Token-2022 Program | févr. 2023 | 1 | 📄✅ |
| Drift Protocol | déc. 2022 | 6 | Drift | 📄✅ |
| Solana | avr. 2022 | 12 |
| 📄 |
| Acala Network | juin 2021 | 4 |
| Compound Chain | mai 2021 | 6 |
| Acala Network | janv. 2021 | 6 | 📄 |
| Parity Fether | août 2019 | 4 |
| Parity | juil. 2018 | 12 | Parity termine la revue de sécurité de Trail of Bits | 📄 |
| STON.fi DEX V2 | janv. 2025 | 8 | 📄✅ |
| Tact Compiler | janv. 2025 | 8 | 📄✅ |
| TON Foundation Multisignature Wallet | mars 2024 | 4 | 📄✅ |
| oct. 2024 |
| 3 |
| 📄✅ |
| Wormhole Governors and Watchers | mars 2023 | 8 | 📄✅ |
| DFINITY Canister Sandbox | sept. 2022 | 2 | 📄✅ |
| DFINITY ECDSA/BTC | sept. 2022 | 4 | 📄✅ |
| FROST BLS Protocols | juil. 2022 | 12 |
| SORA Trustless Bridge | juil. 2022 | 8 |
| CAT Standard | juin 2022 | 8 |
| DFINITY Threshold ECDSA | mai 2022 | 8 |
| Arbitrum Nitro | mars 2022 | 16 |
| DeGate | févr. 2022 | 4 | 📄 |
| ShardX | déc. 2021 | 2 |
| DeGate | déc. 2021 | 4 |
| Threshold-DSA | nov. 2021 | 6 |
| DFINITY Consensus | nov. 2021 | 2 | DFINITY | 📄 |
| PolySign HSM | oct. 2021 | 6 |
| Hop Protocol V2 | sept. 2021 | 4 |
| Golden Gate Library | sept. 2021 | 1 |
| PolySign | sept. 2021 | 6 |
| Qredo Blockchain | sept. 2021 | 6 |
| Arbitrum | sept. 2021 | 16 |
| go-schnorrkel | août 2021 | 4 |
| ShardX | août 2021 | 4 |
| AElf | juil. 2021 | 4 |
| CrossChain-Bridge | juil. 2021 | 8 |
| DFINITY | mai 2021 | 24 | 📄 |
| Open Oracle | avr. 2021 | 2 |
| Arbitrum V2 | févr. 2021 | 8 |
| eFIL | janv. 2021 | 2 |
| Highway Consensus | nov. 2020 | 4 | CasperLabs | 📄 |
| Stacks V2 | sept. 2020 | 6 |
| VRFs | août 2020 | 2 |
| Celo Oracle | juil. 2020 | 2 | 📄 |
| Arbitrum | juil. 2020 | 6 |
| MYKEY | juil. 2020 | 4 |
| Symbol | juil. 2020 | 4 | Symbol | 📄 |
| Ledger Filecoin | juil. 2020 | 2 | 📄 |
| Chainlink | juin 2020 | 8 |
| Chainlink Flux | mai 2020 | 4 |
| Elrond | mars 2020 | 6 |
| EOSIO SDK | janv. 2020 | 4 |
| NEAR Protocol | nov. 2019 | 8 |
| EOSIO 2.0 | oct. 2019 | 8 |
| Status-go | oct. 2019 | 9 |
| Celo | sept. 2019 | 8 |
| Blockchain.com | août 2019 | 4 |
| RandomX | juin 2019 | 2 | Monero et Arweave valideront RandomX | 📄 |
| Interest Token | mai 2019 | 0.28 |
| Loom | mai 2019 | 10 | Audit de sécurité du SDK Loom T1 2019 |
| Building Blocks | août 2018 | 7 | Le PAM de l'ONU utilise Ethereum pour aider 100 000 réfugiés |
