Pubblicazioni di Trail of Bits
| Titolo del documento | Autore/i | Data di pubblicazione |
|---|---|---|
| Detecting Implicit Conversions in OpenVPN2 Using CodeQL | Paweł Płatek | Sep 2025 |
| Preventing Account Takeovers on Centralized Cryptocurrency Exchanges Recommended Practices | Shaun Mirani, Kelly Kaoudis, and Evan Sultanik | Feb 2025 |
| Input-Driven Recursion: Ongoing Security Risks | Alexis Challande and Brad Swain | Dec 2024 |
| OpenSearch Benchmark Assessment | Evan Downing, Riccardo Schirone, Francesco Bertolaccini, and Ronald Eytchison | Aug 2024 |
| Cedar, Rego, and OpenFGA Policy Languages: Comparative Language Security Assessment | Ian Smith and Kelly Kaoudis | Aug 2024 |
| Toward Comprehensive Risk Assessments and Assurance of AI-Based Systems | Heidy Khlaaf | Mar 2023 |
| Are Blockchains Decentralized? Unintended Centralities in Distributed Ledgers | Evan Sultanik et al. | Jun 2022 |
| Do You Really Need a Blockchain? An Operational Risk Assessment | Evan Sultanik and Mike Myers | Jun 2022 |
| Collegamento | Descrizione |
|---|---|
| Testing Handbook | Guide per configurare e automatizzare gli strumenti di analisi statica e dinamica |
| ZKDocs | Documentazione interattiva sui sistemi di prove a conoscenza zero |
| Building Secure Smart Contracts | Best practice per lo sviluppo di smart contract sicuri |
| CTF Field Guide | Guida pratica per vincere le competizioni Capture The Flag |
| Ruby Security Field Guide | Guida pratica alla sicurezza in Ruby |
| Titolo della presentazione | Autore/i | Anno |
|---|---|---|
| Finding Hidden Overflows in Go: Fuzzing Beyond the Compiler's Limits | Kevin Valerio | 2026 |
| Buttercup: Autonomously Finding and Fixing Bugs at Scale in Open-Source Software | Ronald Eytchison | 2025 |
| Buttercup: The Future of Trail of Bits' Solution to DARPA's AI Cyber Challenge | Trent Brunson | 2025 |
| Buttercup and DARPA's AI Cyber Challenge, Ringzer0 | Henrik Brodin, Ronald Eytchison | 2025 |
| Our experience competing in the AI Cyber Challenge | Michael Brown et al. | 2025 |
| Buttercup and DARPA's AI Cyber Challenge, CSAW | Ronald Eytchison | 2024 |
| Your Mitigations are My Opportunities | Yarden Shafir | 2023 |
| Detecting variability bugs with hybrid control and data flow | Kelly Kaoudis, Henrik Brodin, Evan Sultanik | 2023 |
| Blind Spots: Identifying Exploitable Program Inputs | Henrik Brodin, Evan Sultanik, and Marek Surovič |
| --- | --- | --- | | Test di mutazione con Slither: un nuovo modo per trovare problemi ad alta gravità | Guillermo Larregay | 2025 | | Il Model Context Protocol di Slither: fornire agli LLM la ground truth dall'analisi statica | Ben Samuels | 2025 | | Il problema da 1,5 miliardi di dollari: come gli exchange possono creare un cold storage più sicuro | Benjamin Samuels | 2025 | | Come diventare auditor di smart contract | nisedo | 2025 | | Metti alla prova i tuoi test: cosa fare e cosa non fare | Kurt Willis | 2023 | | Slither: uno strumento di analisi statica per Vyper e Solidity | Troy Sargent | 2023 | | Roundme: l'analisi degli arrotondamenti resa più semplice | Josselin Feist | 2023 | | Smart contract: la beta | Nat Chin | 2023 | | Fare fuzzing come un ingegnere della sicurezza | Nat Chin | 2023 | | Scrivere smart contract migliori con l'API Python di Slither | Troy Sargent | 2022 | | Sviluppare Cairo sicuro | Filipe Casal, Simone Monica | 2022 | | Come fare fuzzing come un professionista | Josselin Feist, Nat Chin | 2022 | | Demistificare il fuzzing | Nat Chin | 2022 | | Costruire un analizzatore statico pratico per smart contract | Josselin Feist | 2021 | | Testare e verificare gli smart contract: dalla teoria alla pratica | Josselin Feist | 2021 | | Integrarsi in modo sicuro con i token ERC20 | Josselin Feist | 2021 | | Rilevare gli attacchi di sostituzione delle transazioni con Manticore | Sam Moelius | 2020 | | Gli hack DeFi e le minacce future: il ruolo dell'economia nella progettazione di protocolli sicuri | Dan Guido | 2020 | | Bug fantastici e come schiacciarli; ovvero, i crimini di Solidity | Evan Sultanik | 2019 | | SlithIR: analisi di sicurezza ad alta precisione con un IR per Solidity | Josselin Feist | 2019 | | Slither: un framework di analisi statica per smart contract | Josselin Feist | 2019 | | Cosa la blockchain ha fatto bene | Dan Guido | 2019 | | Infosec tradizionale per le aziende blockchain | Dan Guido | 2019 | | Property testing degli smart contract | JP Smith | 2018 | | Anatomia di un linguaggio di programmazione non sicuro | Evan Sultanik | 2018 | | Rischi degli upgrade dei contratti e raccomandazioni | Josselin Feist | 2018 | | Blackhat Ethereum | Ryan Stortz, Jay Little | 2018 | | Autopsie blockchain - analizzare la morte degli smart contract | Jay Little | 2018 | | Rattle - un framework di analisi binaria per l'EVM di Ethereum | Ryan Stortz | 2018 | | Mettere in sicurezza il valore sulla blockchain di Ethereum | Dan Guido | 2018 | | Analisi binaria, ti presento la blockchain | Mark Mossberg | 2018 | | Ricerca automatica dei bug per la blockchain | Felipe Manzano, Josselin Feist | 2017 |
| Titolo della presentazione | Autore/i | Anno |
|---|---|---|
| Supporto al codice a tempo costante in LLVM | Julius Alexandre | 2025 |
| Un'ampia valutazione comparativa degli strumenti di debloating del software | Michael D. Brown, Adam Meily, Eric Kilmer, Ronald Eytchison | 2024 |
| Riutilizzare le analisi LLVM in MLIR: anche andata e ritorno attraverso la torre degli IR | Henrich Lauko | 2024 |
| VAST: MLIR per l'analisi dei programmi C/C++ | Henrich Lauko | 2022 |
| Un'ampia valutazione comparativa dei rewriter binari x86-64 | Michael D. Brown | 2022 |
| Sull'ottimizzazione di computazioni concorrenti equivalenti | Henrich Lauko, Lukáš Korenčik, Peter Goodman | 2022 |
| Titolo della presentazione | Autore/i | Anno |
|---|---|---|
| Al sodo con QUIC: tagliare le prestazioni di QUIC con un DoS basato su hash | Paul Bottinelli | 2025 |
| Uno, due, TEE: la fiducia nei numeri incontra la sicurezza hardware | Paul Bottinelli | 2025 |
| Attacchi Fiat-Shamir deboli ai moderni sistemi di prova | Jim Miller | 2024 |
| Costruire una libreria Rust di validazione dei percorsi per PyCA Cryptography | William Woodruff | 2024 |
| Implementare la validazione dei percorsi X.509 per Python | William Woodruff | 2024 |
| Attenzione a MAc-then-SIGn | Marc Ilunga | 2023 |
| Muori, PGP, muori | William Woodruff | 2022 |
| Sul serio, smettete di usare RSA | Ben Perez | 2019 |
| Best practice per la crittografia in Python | Paul Kehrer | 2019 |
| Analizzare la collisione MD5 in Flame | Alex Sotirov |
| Titolo della presentazione | Autore/i | Anno |
|---|---|---|
| Benchmark ripetibili: un'esplorazione di OpenSearch vs Elasticsearch | Evan Downing | 2025 |
| Ingegneria della sicurezza basata sulle evidenze | Dan Guido | 2019 |
| Monitoraggio degli eventi di sicurezza Linux con osquery | Alessandro Gario | 2019 |
| osql: il fork di osquery orientato alla community | Stefano Bonicatti, Mark Mossberg | 2019 |
| Come iniziare con osquery | Lauren Pearl, Andy Ying | 2018 |
| Le super funzionalità di osquery | Lauren Pearl | 2018 |
| Skunkworks delle estensioni di osquery | Mike Myers | 2018 |
| Costruiscilo, rompilo, riparalo | Andrew Ruef | 2014 |
| Titolo della presentazione | Autore/i | Anno |
|---|---|---|
| Introduzione a Semgrep e Esercizi pratici di Semgrep | Maciej Domański, Matt Schwager, Spencer Michaels | 2024 |
| Un'introduzione per lo più semplice a LLVM | William Woodruff | 2022 |
| I JWT e perché fanno schifo | Rory M | 2021 |
| La gioia del pwn | Sophia D'Antoine | 2017 |
| Come fare CTF - procurarsi e usare i computer degli altri (OPC) | Jay Little | 2014 |
| Sicurezza di basso livello | Andrew Ruef | 2014 |
| La sicurezza e la tua azienda | Andrew Ruef | 2014 |
| Arrivare alla festa a mani vuote | Vincenzo Iozzo | 2013 |
| Da una torre d'avorio all'altra | Vincenzo Iozzo | 2012 |
| Titolo della presentazione | Autore/i | Anno |
|---|---|---|
| Ritorno ai Boschi dei Cento Acri | Stefan Edwards | 2019 |
| Nuotare con i pesci kubectl | Stefan Edwards | 2019 |
| Titolo della presentazione | Autore/i | Anno |
|---|---|---|
| Come abbiamo reso Trail of Bits AI-native (finora) | Dan Guido | 2026 |
| Trasformare in arma il ridimensionamento delle immagini contro i sistemi AI in produzione | Kikimora Morozova, Suha Sabi Hussain | 2025 |
| Indirect Prompt Injection: approcci di test architetturali per sistemi AI/ML del mondo reale | Will Vandevanter | 2025 |
| Dai polyglot alle iniezioni di prompt: il parsing è ancora esecuzione (e il tuo LLM non ha ricevuto il memo) | Evan Sultanik | 2025 |
| AI di frontiera nella cybersecurity: rischi e opportunità | Dan Guido, Riccardo Schirone | 2025 |
| Il presente e il futuro di AI e sicurezza | Evan Downing | 2024 |
| Exploit di machine learning incubati: iniettare backdoor nelle pipeline ML tramite bug nella gestione degli input | Suha Sabi Hussain | 2024 |
| Modelli di minaccia ML olistici | Adelin Travers | 2024 |
| Uso di algoritmi di machine learning basati su grafi per l'analisi del software |
| Titolo della presentazione | Autore/i | Anno |
|---|---|---|
| Escalation dei privilegi su macOS tramite Traceroute6 | Paweł Płatek | 2025 |
| Reverse engineering di Swift | Ryan Stortz | 2016 |
| Sicurezza delle applicazioni iOS moderne | Sophia D'Antoine, Dan Guido | 2016 |
| Il progetto Mobile Exploit Intelligence | Dan Guido | 2012 |
| Un racconto di minacce mobile | Vincenzo Iozzo | 2012 |
| Titolo della presentazione | Autore/i | Anno |
|---|---|---|
| Python internals - parliamo dei dict | Dominik Czarnota | 2019 |
| Debugging di basso livello con Pwndbg | Dominik Czarnota | 2018 |
| Cose non sicure da evitare in Python | Dominik Czarnota | 2018 |
| Titolo della presentazione | Autore/i | Anno |
|---|---|---|
| Canali laterali hardware in ambienti virtualizzati | Sophia D'Antoine | 2015 |
| Sfruttare l'esecuzione fuori ordine | Sophia D'Antoine | 2015 |
| Titolo della presentazione | Autore/i | Anno |
|---|---|---|
| Attestazioni: una nuova generazione di firme su PyPI | William Woodruff | 2025 |
| I prossimi 5 anni di sicurezza della supply chain su PyPI | William Woodruff | 2024 |
| PEP 740 e PyPI: dare il via alla provenance per l'ecosistema Python | William Woodruff | 2024 |
| Immaginare un futuro zero-trust per PyPI | William Woodruff | 2024 |
| Provenance delle build: lezioni (finora) da Homebrew | Joe Sweeney | 2024 |
| Che aspetto ha la firma del codice per un intero ecosistema di packaging? | William Woodruff | 2023 |
| Mettere in sicurezza il tuo ecosistema di pacchetti con Trusted Publishing | William Woodruff | 2023 |
| Trusted Publishing: lezioni da PyPI | William Woodruff | 2023 |
| Code signing ergonomico per l'ecosistema Python con Sigstore | William Woodruff | 2023 |
| Sigstore per il packaging Python: prossimi passi per l'adozione |
| Titolo della presentazione | Autore/i | Anno |
|---|---|---|
| Togliendo gli strati degli 'Shlayers' del malware macOS | Josh Watson, Erika Noerenberg | 2019 |
| Il progetto Exploit Intelligence rivisitato | Dan Guido | 2013 |
| --- | --- | --- | --- |
| Risky Biz | Dan Guido | feb 2026 | AI in Trail of Bits |
| What's in the SOSS? 53 | Michael Brown | feb 2026 | AIxCC e Buttercup |
| Insecure Agents 18 | Kikimora Morozova | dic 2025 | Prompt injection nell'AI |
| Risky Biz | Keith Hoodlet | set 2025 | Prompt injection nell'AI |
| Zero Signal | Keith Hoodlet | set 2025 | Sicurezza dell'AI |
| Unsupervised Learning | Michael Brown | ago 2025 | AIxCC |
| Security Weekly 342 | Will Vandevanter | ago 2025 | Divulgazione delle vulnerabilità NVIDIA |
| CTF Radiooo 01E | Michael Brown & Evan Downing | ago 2025 | AIxCC |
| Click Here Show | Dan Guido | giu 2025 | Attacchi di controllo remoto su Zoom |
| Security Weekly 336 | Artur Cygan | giu 2025 | Fuzzing dei codici a barre |
| Protect AI | Keith Hoodlet | giu 2025 | Sicurezza di MCP |
| Open Source Security | William Woodruff | mag 2025 | Sicurezza di Zizmor e GitHub Actions |
| MLSecOps | Keith Hoodlet | apr 2025 | Sicurezza AI/ML |
| Risky Biz 786 | Tjaden Hess | apr 2025 | Crittografia e blockchain |
| Security Weekly 323 | Keith Hoodlet | mar 2025 | GenAI nell'AppSec |
| Xyonix | Keith Hoodlet | mar 2025 | Sicurezza AI/ML |
| The Impulsive Thinker | Dan Guido | feb 2025 | Neurodivergenza |
| Bugcrowd | Keith Hoodlet | ott 2024 | Bias nell'AI/ML |
| Risky Biz | Dan Guido | ott 2024 | Crittografia post-quantistica |
| Risky Biz 759 | Dan Guido | ago 2024 | AI Cyber Challenge della DARPA |
| Resilience Rundown | Josiah Dykstra | mag 2024 | Bias nella sicurezza |
| Risky Biz | Dan Guido | apr 2024 | Strumentazione open source |
| MLSecOps March 20 | William Woodruff | mar 2024 | Sicurezza della supply chain |
| yWhales | Dan Guido | dic 2023 | Sicurezza della blockchain |
| Risky Biz 707 | Dan Guido | mag 2023 | Sicurezza del ML |
| ASW 229 | Nick Selby | feb 2023 | Threat modeling, audit cloud-native |
| Risky Biz 690 | Dan Guido | gen 2023 | Divulgazione delle vulnerabilità |
| Risky Biz 672 | Dan Guido | lug 2022 | Sicurezza della blockchain |
| Cloud Security Reinvented | Nick Selby | giu 2022 | Sicurezza del cloud |
| Skiff Office Hours | Dan Guido | mar 2022 | Tecnologie per la privacy |
| Risky Biz 652 | Dan Guido | gen 2022 | Dimostrazioni a conoscenza zero |
| Secureum Safecast #3 | Josselin Feist | nov 2021 | Sicurezza della blockchain |
| Secureum Safecast #2 | Dan Guido | ott 2021 | Sicurezza della blockchain |
| Press Freedom Foundation | Dan Guido | lug 2021 | Sicurezza mobile e iVerify |
| Employee Cycle | Hannah Hanks | mar 2021 | Prima assunzione in PeopleOps |
| Risky Biz 614 | Dan Guido | feb 2021 | iVerify |
| Building Better Systems 6 | Dan Guido | gen 2021 | Cosa ha fatto bene la blockchain |
| WCBS 880 | Dan Guido | set 2020 | Anni sabbatici e assunzione di stagisti |
| Risky Biz 594 | Dan Guido | ago 2020 | Sicurezza di Apple |
| Epicenter 346 | Dan Guido | giu 2020 | Sicurezza degli smart contract |
| Absolute AppSec 97 | Stefan Edwards | mag 2020 | Threat modeling |
| Unchained 170 | Dan Guido | mag 2020 | Sicurezza della DeFi |
| Risky Biz 580 | Dan Guido | apr 2020 | Voto mobile |
| Absolute AppSec 91 | Stefan Edwards | apr 2020 | Voto mobile |
| Zero Knowledge 122 | Ben Perez | mar 2020 | Revisioni crittografiche, ZKP |
| Changelog | Dan Guido | gen 2020 | AlgoVPN |
| Risky Business 559 | Stefan Edwards | ott 2019 | Kubernetes |
| FOSS Weekly 545 | William Woodruff | set 2019 | Miglioramenti della sicurezza di PyPI |
| Podcast.__init__ 225 | William Woodruff | ago 2019 | Sicurezza di PyPI, UX e sostenibilità |
| Absolute AppSec 68 | Stefan Edwards, Bobby Tonic | ago 2019 | Kubernetes |
| Hashing it Out 53 | Dan Guido | lug 2019 | Test degli smart contract |
| Absolute AppSec 60 | Stefan Edwards | mag 2019 | Android, linguaggi di programmazione |
| Absolute AppSec 55 | Stefan Edwards | apr 2019 | Test di sicurezza |
| Hashing it Out 35 | Dan Guido, Josselin Feist | gen 2019 | Il fallito EIP-1283 di Ethereum |
| Risky Biz 526 | JP Smith | gen 2019 | Crittografia post-quantistica nelle CTF |
| Absolute AppSec 37 | Stefan Edwards | nov 2018 | Linguaggi di programmazione, symbex |
| Risky Biz 510 | Lauren Pearl | ago 2018 | Ingegneria della sicurezza open source |
| Absolute AppSec 34 | Stefan Edwards | ott 2018 | Test di sicurezza, blockchain |
| The Smartest Contract 15 | JP Smith | ago 2018 | Strumenti di sicurezza e auditing di Trail of Bits |
| Zero Knowledge 16 | JP Smith | mar 2018 | Sicurezza degli smart contract |
| Risky Biz 488 | JP Smith | feb 2018 | Test degli smart contract con Manticore |
| Risky Biz 474 | Dan Guido | ott 2017 | Come progettare software sicuri |
| Georgian Partners 47 | Dan Guido | mag 2017 | AlgoVPN e Tor |
| VUC 643 | Dan Guido | apr 2017 | AlgoVPN |
| Risky Biz 449 | Dan Guido | mar 2017 | Integrità del flusso di controllo |
| Risky Biz 425 | Dan Guido | set 2016 | Riepilogo delle notizie della settimana |
| Risky Biz 421 | Dan Guido | ago 2016 | Hacking delle auto e notizie della settimana |
| Risky Biz 416 | Dan Guido | lug 2016 | DARPA Cyber Grand Challenge |
| Risky Biz 399 | Dan Guido | feb 2016 | Apple contro l'FBI |
| Risky Biz 348 | Dan Guido | giu 2015 | DARPA Cyber Grand Challenge |
| Risky Biz 370 | Dan Guido | feb 2015 | DARPA Cyber Grand Challenge |
| Titolo | Relatori | Data |
|---|---|---|
| Top TEE bugs you should fix before your audit | Tjaden Hess, Paul Bottinelli, & Jules Drean | dic 2025 |
| Building secure end-to-end encrypted systems | Marc Ilunga & Fredrik Dahlgren | dic 2025 |
| After Wiretap and Battering RAM: What Changes for TEE-Based Blockchain Infrastructure | Tjaden Hess & Andy Campbell | nov 2025 |
| MCP Security Deep Dive: From Attacks to Defense | Keith Hoodlet, Cliff Smith, Vineeth Sai Narajala, Manish Bhatt | lug 2025 |
| Security Audits: Best Practices with Trail of Bits | Chris Dahlheimer, Lindsay Rakowski, & Vanessa Gennarelli | mar 2025 |
| Mastering Web Research with Burp Suite | Keith Hoodlet, Cliff Smith, & James Kettle | giu 2024 |
| Introduction to CodeQL: Examples, Tools and CI Integration | Filipe Casal & Fredrik Dahlgren | mar 2024 |
| Introduction to Semgrep | Maciej Domanski & Matt Schwager | gen 2024 |
| Argomento | Ente | Data |
|---|---|---|
| Automated Artifical Intelligence Bill Of Materials for AI/ML Ops | Esercito degli Stati Uniti PEO IEW&S | dic 2023 |
| Open-Source Software Security: Areas of Long-Term Focus and Prioritization | ONCD, CISA, NSF, DARPA, OMB | nov 2023 |
| Understanding the National Security Implications of AI | Whitehouse OTSP | lug 2023 |
| AI Accountability, Regulation, and Audits | NTIA | giu 2023 |
| A Comprehensive Risk Assessment Framework for AI Assurance in Ethical, Legal, and Societal Domains | DARPA | giu 2023 |
| Understanding Crypto Markets Security | CFTC | mar 2023 |
| Regulation of Intrusion and Surveillance Software | Dipartimento del Commercio | lug 2015 |
Analisi approfondite di come i clienti hanno lavorato con Trail of Bits: la sfida, il nostro approccio e i risultati. Il livello di impegno è espresso in settimane-uomo.
| Cliente | Focus | Data | Livello di impegno | Caso di studio |
|---|---|---|---|---|
| Turnkey | Infrastruttura TEE e AWS Nitro Enclaves | giu 2026 | 8 | 📖 |
| Vanta | Revisione dell'architettura di isolamento multi-tenant | nov – dic 2025 | 6 | 📖 |
| Scopely | Valutazione del design di correttezza del PRNG di Monopoly GO! | dic 2024 | 2 | 📖 |
| Hugging Face | Valutazione della sicurezza pre-release di Gradio 5.0 | giu – lug 2024 | 4 | 📖 |
| Scroll | Revisioni della sicurezza dei circuiti zkEVM | apr – set 2023 | 45.8 | 📖 |
Le aziende che ci hanno permesso di parlare del nostro lavoro sono elencate qui. Molte altre restano riservate.
I seguenti clienti hanno incaricato Trail of Bits per 5 o più revisioni di sicurezza:
| Prodotto | Data | Livello di impegno | Annuncio | Rapporto |
|---|---|---|---|---|
| MobileCoin | lug 2022 | 2 | 📄 | |
| Protocollo Fog | gen 2021 | 4 | 📄 | |
| MobileCoin BFT | ott 2020 | 4 | 📄 | |
| MobileCoin | ago 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 | | 📄✅ |
| Prodotto | Data | Livello di impegno | Annuncio | Rapporto |
|---|---|---|---|---|
| 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 | 📄 |
| Prodotto | Data | Livello di impegno | Annuncio | Rapporto |
|---|---|---|---|---|
| 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 | 📄✅ |
| Prodotto | Data | Livello di impegno | Annuncio | Rapporto |
|---|---|---|---|---|
| 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 | 📄 |
| Prodotto | Data | Livello di impegno | Annuncio | Rapporto |
|---|---|---|---|---|
| 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 | Molteplici vulnerabilità in SanDisk X600 | 📄 |
| Prodotto | Data | Livello di impegno | Annuncio | Rapporto |
|---|---|---|---|---|
| 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 | Forum, Blog | | | Dfinity SNS Phase 2 | Jun 2023 | 2.5 | Forum, Blog | 📄 | | 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 | Forum, Blog | 📄✅ | | 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 | Firma e gestione dei rilasci | 📄 | | Standard Notes | Mar 2020 | 1 | Standard Notes | 📄 | | Project Callisto | Aug 2018 | 5 | | |
| --- | --: | :-: | --- | :-: | | PyTorch ExecuTorch | Giu 2026 | 9 | OSTIF| 📄✅ | | Turnkey Key Management System | Giu 2026 | 8 | | 📄✅ | | Persona Identities Claims Verification | Mag 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 | Giu 2026 | 2 | | 📄✅ | | X XChat | Ott 2025 | 4 | | 📄✅ | | Edera Runtime Container | Ott 2025 | 4 | | 📄 | | Meta WhatsApp Private Processing | Ago 2025 | 12 | WhatsApp, Trail of Bits | 📄✅ | | Discord E2EE WebAssembly | Giu 2025 | 3 | | 📄 | | libVLC | Mag 2025 | 5 | | 📄 | | NATS Server | Feb 2025 | 6 | | 📄✅ | | Istio Ztunnel | Dic 2024 | 2 | OSTIF, Istio | 📄✅ | | RubyGems.org | Dic 2024 | 5 | | 📄 | | Kraken Wallet In-App Browser | Nov 2024 | 4 | | 📄✅ | | Kraken Wallet iCloud Backup | Set 2024 | 2 | | 📄✅ | | Hugging Face Gradio | Lug 2024 | 4 | Hugging Face, Trail of Bits | 📄✅ | | Zoo KittyCAD | Giu 2024 | 4.6 | | 📄✅ | | Polygon Labs Iden3 Circuits | Mag 2024 | 2 | | 📄✅ | | Kraken Mobile Wallet | Gen 2024 | 7 | Kraken| 📄✅ | | Eclipse Temurin | Dic 2023 | 4 | Risposta, OSTIF, Eclipse Foundation | 📄✅ | | Arch Linux Pacman | Dic 2023 | 2 | OTF | 📄✅ | | cURL HTTP3 | Dic 2023 | 4 | OSTIF, Daniel Stenberg | 📄 | | Lisk SDK 6.1 modules | Set 2023 | 4 | | 📄✅ | | OpenSSL | Set 2023 | 9 | OSTIF, OpenSSL | 📄✅ | | PyPI Warehouse | Set 2023 | 10 | PyPI, Trail of Bits | 📄✅ | | wasmCloud | Set 2023 | 6 | | 📄✅ | | Worldcoin | Ago 2023 | 6 | | 📄✅ | | Homebrew | Ago 2023 | 6 | | 📄 | | DigitalOcean OIDC | Ago 2023 | 4 | | 📄 | | Flux | Ago 2023 | 4 | OSTIF, Flux | 📄✅ | | Lisk SDK | Lug 2023 | 30 | | 📄✅ | | DragonFly2 | Lug 2023 | 4 | Dragonfly, OSTIF | 📄✅ | | Eclipse JKube | Mag 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 | Gen 2023 | 4 | | | | Injective Labs Options Market | Gen 2023 | 4 | | | | OpenVPN3 | Gen 2023 | 6 | | | | OpenVPN2 | Dic 2022 | 4 | OpenVPN | 📄✅ | | OpenArchive Save (Android) | Dic 2022 | 1 |OpenArchive Save | 📄✅ | | Enclave Markets | Nov 2022 | 9 | | | | Fiat Ramps | Nov 2022 | 4 | | | | cURL | Ott 2022 | 9.5 | OSTIF, Daniel Stenberg. Trail of Bits | 📄✅📛 | | CloudEvents | Ott 2022 | 4 | OSTIF | 📄 | | OpenArchive Save (iOS) | Ott 2022 | 1.2 |OpenArchive Save | 📄✅ | | AlphaSOC API | Set 2022 | 1 | | 📄✅ | | Consul Enterprise | Set 2022 | 6 | | | | snarkVM | Set 2022 | 12 | | 📄✅ | | Hashicorp Boundary | Lug 2022 | 6 | | | | Skiff | Lug 2022 | 6 | | | Terraform Cloud | Giu 2022 | 6 | | | | Datadog | Mag 2022 | 6 | | | | MATTR | Mag 2022 | 4 | | | | ArmorLock | Apr 2022 | 6 | | | | DigitalOcean Function | Apr 2022 | 4 | | | | Auvik Collector | Apr 2022 | 8 | | | | Fuchsia Platform | Mar 2022 | 8 | | | Optimus ROM | Gen 2022 | 4 | | | | BitcoinBeach | Mar 2022 | 4 | | 📄 | | osquery | Gen 2022 | 6 | | 📄 | | Redjack | Dic 2021 | 2 | | | DigitalOcean Cloud | Nov 2021 | 12 | | | SpruceID | Ott 2021 | 12 | | 📄 | | Doppler | Set 2021 | 4 | | | Datadog Agent | Ago 2021 | 8 | | | Appian | Giu 2021 | 4 | | | | Cashero-2.0 | Giu 2021 | 4 | | | | Orbit | Apr 2021 | 1 | | | | VGS Proxy | Apr 2021 | 4 | | | | Skiff | Feb 2021 | 4 | | | | CircleCI Server 3.0 | Gen 2021 | 6 | Test di penetrazione su CircleCI | | BitMEX | Gen 2021 | 4 | | | | SecureDrop | Dic 2020 | 8 | Secondo audit di SecureDrop Workstation | 📄 | | Citizen Browser | Dic 2020 | 0.43 | Come abbiamo costruito Facebook Inspector| | Ren | Ago 2020 | 4 | Aggiornamento di sviluppo di agosto | 📄 | | Hey.com | Giu 2020 | 1 | Sicurezza seria | 📄 | | Azure Sphere | Giu 2020 | 12 | Miglioramenti della sicurezza di Azure Sphere 20.07 | | Zoom | Mag 2020 | 9 | 90 giorni completati: cosa c'è dopo per Zoom | | Secure Transport | Apr 2020 | 4 | | | | ZeroTier 2.0 | Mar 2020 | 2 | ZeroTier | 📄 | | Voatz | Feb 2020 | 12 | Voatz, Tusk | 📄📛 | | Vault | Feb 2020 | 12 | | | | Voice | Gen 2020 | 4 | | | | Azure Sphere | Giu 2019 | 12 | | | | zlib | Set 2016 | 1 | | 📄 |
| Prodotto | Data | Livello di impegno | Annuncio | Rapporto |
|---|---|---|---|---|
| KEDA | Dic 2022 | 6 | OSTIF | 📄 |
| Terraform Enterprise | Nov 2022 | 6 | ||
| Nomad Enterprise | Nov 2022 | 6 | ||
| HashiCorp Cloud | Giu 2022 | 9 | ||
| Tekton | Mar 2022 | 4 | Revisione di sicurezza di Tekton completata | 📄 |
| Linkerd | Feb 2022 | 4 | 📛📄✅ | |
| CoreDNS | Gen 2022 | 4 | 📄 | |
| Terraform Enterprise | Nov 2021 |
| Prodotto | Data | Livello di impegno | Annuncio | Rapporto | Suite pubblica |
|---|---|---|---|---|---|
| Panoptic | Mag 2024 | 9 | 📄 | ||
| Curvance | Mar 2024 | 5 | 📄 | Invarianti pubbliche |
| Prodotto | Data | Livello di impegno | Annuncio | Rapporto |
|---|---|---|---|---|
| Gemini Smart Wallet | Ago 2025 | 4 | 📄✅🔖 | |
| Otim Smart Wallet | Mar 2025 | 3 | 📄✅ | |
| dappOS v2 wallet | Lug 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 |
| Prodotto | Data | Livello di impegno | Annuncio | Rapporto |
|---|---|---|---|---|
| Folks Finance Protocol | Nov 2022 | 6 | 📄✅ | |
| wXTZ | Nov 2020 | 4 | 📄 | |
| wALGO | Nov 2020 | 4 | 📄 | |
| Meld Gold | Lug 2020 | 2 | ||
| Pixel | Dic 2019 | 4 | ||
| Algorand | Mar 2019 | 14 | Successo e slancio di Algorand |
| Prodotto | Data | Livello di impegno | Annuncio | Rapporto |
|---|---|---|---|---|
| Ava Labs AvalancheGo | Ago 2025 | 10 | 📄 | |
| Alkimiya Silica V2 | Giu 2022 | 6 | ||
| Ava Labs | Apr 2022 | 8 | ||
| Flare Network | Mar 2021 | 8 |
| ---| --: | :-: | --- | :-: | | ZetaChain Bitcoin Inscriptions | gen 2025 | 2 | | 📄✅ | | Nomic | nov 2024 | 10 | Nomic | 📄✅ | | STAS SDK | ott 2021 | 4 | | | | STAS-JS SDK | set 2021 | 4 | | | | Bitcoin SV | gen 2021 | 6 | | | Zcoin | lug 2020 | 2 | Zcoin | 📄 | | Zcash | apr 2020 | 3 | Electric Coin Co. | 📄 | | Zcash | nov 2019 | 6 | Revisioni di sicurezza di NU3, Blossom e Sapling| 📄 | | Zcash | nov 2019 | 6 | | 📄 | | Paymail Protocol | nov 2019 | 7 | | | | Simple Ledger | ott 2019 | 3 | | | | Bitcoin SV | nov 2018 | 12 | | | RSKj | nov 2017 | 6 | Risultati dell'audit di sicurezza di 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
| Prodotto | Data | Livello di impegno | Annuncio | Report |
|---|---|---|---|---|
| xUDT | giu 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 | ott 2020 | 6 | 📄 |
| Prodotto | Data | Livello di impegno | Annuncio | Report |
|---|---|---|---|---|
| Opus | dic 2023 | 8 | 📄✅ | |
| Aura | ago 2023 | 8 | 📄✅ | |
| Nostra | dic 2022 | 8 | ||
| StarkGate | dic 2022 | 2 | ||
| StarkEx | ott 2022 | 1 | ||
| StarkNet token | lug 2022 | 1 | ||
| StarkPerpetual | gen 2022 | 8 | ||
| StarkEx | nov 2021 | 8 |
| Prodotto | Data | Livello di impegno | Annuncio | Report |
|---|---|---|---|---|
| Telcoin Solana Peg Stability Vault | mag 2026 | 1.2 | 📄✅ | |
| Jobcoin Clock-in Program | mar 2026 | 0.6 | 📄✅ | |
| Anza Token-2022 Confidential Transfer, Blockchain | gen 2026 | 3 | 📄 | |
| Franklin Templeton Benji Contracts | feb 2025 | 2 | 📄✅ | |
| ZetaChain Solana Gateway | gen 2025 | 1 | 📄✅ | |
| Solang Code Generation | nov 2023 | 4 | 📄 | |
| Solang Code Generation, Part 1 | nov 2023 | 2 | 📄 |
| Prodotto | Data | Livello di impegno | Annuncio | Report |
|---|---|---|---|---|
| Orga and Merk | nov 2024 | 10 | Audit di sicurezza di Orga & Merk di Trail of Bits | 📄✅ |
| Berachain polaris-geth | ago 2023 | 8 | ||
| Berachain berachain | giu 2023 | 6 | ||
| Umee | feb 2022 | 8 | 📄 | |
| Columbus-5 | gen 2022 | 2 | ||
| IBC Protocol | dic 2021 | 4 | ||
| THORChain | ago 2021 | 12 | ||
| Tendermint | mar 2019 | 12 | ||
| ndau | nov 2018 | 8 | Policy Council |
| Prodotto | Data | Livello di impegno | Annuncio | Report |
|---|---|---|---|---|
| Kolibri | apr 2022 | 4 | ||
| Tezori (T2) | dic 2020 | 4 | 📄 | |
| Dexter | giu 2020 | 4 | 📄 | |
| Tezori | lug 2018 | 2 | Grazie a @trailofbits per la loro revisione di sicurezza |
| Prodotto | Data | Livello di impegno | Annuncio | Report |
|---|---|---|---|---|
| TONCO CLAMM DEX v1.6 | gen 2026 | 11 | TONCO v1.6 è live | 📄✅ |
| EVAA Finance | ago 2025 | 8.6 | 📄✅ | |
| Swap Coffee TON DEX | lug 2025 | 6 | 📄✅ | |
| FIVA Yield Protocol | mag 2025 | 6 | 📄✅ | |
| FIVA Evaa Integration | mag 2025 | 6 | 📄✅ | |
| Whales Holders | mag 2025 | 4 | 📄✅ | |
| Whales Nominators | mag 2025 | 4 | 📄✅ |
| Prodotto | Data | Livello di impegno | Annuncio | Report |
|---|---|---|---|---|
| Mina Decentralized Treasury | giu 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 | gen 2025 | 2 | 📄✅ | |
| PixelSwap DEX | dic 2024 | 6 | 📄✅ | |
| Arkis Prime | dic 2024 | 5 | 📄✅ | |
| Franklin Templeton Aptos |
| 2023 |
| Weak Fiat-Shamir Attacks on Modern Proof Systems | IEEE S&P 2023 | 2023 |
| Endoprocess: Programmable and Extensible Subprocess Isolation | NSPW 2023 | 2023 |
| CIVSCOPE: Analyzing Potential Memory Corruption Bugs in Compartment Interfaces | SOSP KISV 2023 | 2023 |
| Detecting variability bugs through hybrid control and data flow analysis | LangSec 2023 | 2023 |
| Blind Spots: Automatically detecting ignored program inputs | LangSec 2023 | 2023 |
| Efficient Proofs of Software Exploitability for Real-world Processors | PETS 2023 | 2023 |
| Toward Comprehensive Risk Assessments and Assurance of AI Systems | arXiv | 2023 |
| A Broad Comparative Evaluation of x86-64 Binary Rewriters | CSET 22 | 2022 |
| On the Optimization of Equivalent Concurrent Computations | PLDI EGRAPHS 2022 | 2022 |
| Evaluating Static Analysis Tools via Differential Mutation | QRS 2021 | 2021 |
| echidna-parade: Diverse multicore smart contract fuzzing | ISSTA 2021 | 2021 |
| Differential analysis of x86-64 instruction decoders | LangSec 2021 | 2021 |
| Echidna: effective, usable, and fast fuzzing for smart contracts | ISSTA 2020 | 2020 |
| ICARUS: Understanding De Facto Formats By Way of Feathers and Wax | LangSec 2020 | 2020 |
| Toward Automated Grammar Extraction via Semantic Labeling of Parser Implementations | LangSec 2020 | 2020 |
| What are the Actual Flaws in Important Smart Contracts? | FC 2020 | 2020 |
| Echidna: A Practical Smart Contract Fuzzer | FC 2020 | 2020 |
| RSA GTFO | PoC||GTFO 0x20 | 2020 |
| Manticore: Symbolic Execution for Binaries and Smart Contracts | ASE 2019 | 2019 |
| Slither: A Static Analysis Framework For Smart Contracts | WETSEB 2019 | 2019 |
| Toward Smarter Vulnerability Discovery Using Machine Learning | AISec 2018 | 2018 |
| The Past, Present, and Future of Cyberdyne | IEEE S&P | 2018 |
| DeepState - Symbolic Unit Testing for C and C++ | BAR 2018 | 2018 |
| Cyber-Deception and Attribution in Capture-the-Flag Exercises | FOSINT-SI 2015 | 2015 |
| 2023 |
| MLIR is the future of program analysis | Peter Goodman | 2023 |
| A Sermon on the Indulgences of Computational Sacrifice; or, The Superabundant Benedictions of Programming an Absurd NES Game | Evan Sultanik | 2021 |
| Differential analysis of x86-64 instruction decoders | William Woodruff, Niki Carroll, Sebastiaan Peters | 2021 |
| How to find bugs when (ground) truth isn't real | William Woodruff | 2020 |
| Toward Automated Grammar Extraction via Semantic Labeling of Parser Implementations | Carson Harmon, Brad Larsen, Evan Sultanik | 2020 |
| The Treachery of Files and Two New Tools that Tame It | Evan Sultanik | 2019 |
| Symbolically Executing a Fuzzy Tyrant | Stefan Edwards | 2019 |
| Kernel space fault injection with KRF | William Woodruff | 2019 |
| Binary Symbolic Execution With KLEE-Native | Sai Vegasena | 2019 |
| Going sicko mode on the Linux Kernel | William Woodruff | 2019 |
| Vulnerability Modeling with Binary Ninja | Josh Watson | 2018 |
| File Polyglottery; or, This PoC is also a picture of cats | Evan Sultanik | 2017 |
| Be a binary rockstar | Sophia D'Antoine | 2017 |
| Symbolic Execution for Humans | Mark Mossberg | 2017 |
| The spirit of the 90s is still alive in Brooklyn | Ryan Stortz, Sophia D'Antoine | 2017 |
| The dream of a static and dynamic analysis shootout | Ryan Stortz | 2016 |
| Binary constraint solving for automatic exploit generation | Sophia D'Antoine | 2016 |
| The Smart Fuzzer Revolution | Dan Guido | 2016 |
| Making a scaleable automated hacking system | Artem Dinaburg | 2016 |
| Cyberdyne - Automatic bug-finding at scale | Peter Goodman | 2016 |
| McSema: Static translation of x86 to LLVM IR | Andrew Ruef, Artem Dinaburg | 2014 |
| 2012 |
| Michael D. Brown |
| 2023 |
| Sfruttare i file pickle del machine learning | Carson Harmon, Evan Sultanik, Jim Miller, Suha Sabi Hussain | 2021 |
| PrivacyRaven: test di privacy completi per il deep learning | Suha Sabi Hussain | 2020 |
| William Woodruff |
| 2022 |
| La carne misteriosa del packaging Python | William Woodruff | 2022 |
| Strumenti automatizzati per mettere in sicurezza la supply chain del software | Michael D. Brown | 2022 |
| Migliorare la sicurezza di PyPI con l'autenticazione a due fattori | 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 | 📄✅ |
| 6 |
| Nomad Enterprise | Nov 2021 | 6 |
| Consul Enterprise | Ott 2021 | 6 |
| Vault Enterprise | Ott 2021 | 6 |
| HashiCorp Cloud | Giu 2021 | 8 |
| Argo | Mar 2021 | 4 | 📛📄 |
| Terraform Cloud | Gen 2021 | 6 |
| Consul | Ott 2020 | 10 |
| Nomad | Ago 2020 | 6 |
| Helm | Ago 2020 | 4 | Secondo audit di sicurezza di Helm | 📄 |
| Terraform | Mar 2020 | 6 |
| OPA | Mar 2020 | 2 | Proposta di graduation per Open Policy Agent (OPA) | 📄 |
| etcd | Gen 2020 | 4 | CNCF | 📄 |
| Rook | Dic 2019 | 2 | CNCF | 📄 |
| Kubernetes | Mag 2019 | 12 | Google, CNCF | 📛📄📰 |
| Feb 2022 |
| 4 |
| Casper Web Wallet | Lug 2021 | 4 | 📄 |
| Argent | Ago 2020 | 4 |
| Magma | Giu 2020 | 1 | 📄 |
| Dharma Wallet | Ott 2019 | 4 | 📄 |
| ZecWallet | Apr 2019 | 2 | 📄 |
| Web3 | Mar 2018 | 2 | Guida per wallet hardware W3F e TOB | 💬 |
| Squads V4 | ott 2023 | 2 | Squads | 📄✅ |
| Solang Parser and Semantic Analysis | set 2023 | 2 | 📄 |
| Solang Solana Library | lug 2023 | 1 | 📄 |
| Token-2022 Program | feb 2023 | 1 | 📄✅ |
| Drift Protocol | dic 2022 | 6 | Drift | 📄✅ |
| Solana | apr 2022 | 12 |
| 📄 |
| Acala Network | giu 2021 | 4 |
| Compound Chain | mag 2021 | 6 |
| Acala Network | gen 2021 | 6 | 📄 |
| Parity Fether | ago 2019 | 4 |
| Parity | lug 2018 | 12 | Parity completa la revisione di sicurezza di Trail of Bits | 📄 |
| STON.fi DEX V2 | gen 2025 | 8 | 📄✅ |
| Tact Compiler | gen 2025 | 8 | 📄✅ |
| TON Foundation Multisignature Wallet | mar 2024 | 4 | 📄✅ |
| ott 2024 |
| 3 |
| 📄✅ |
| Wormhole Governors and Watchers | mar 2023 | 8 | 📄✅ |
| DFINITY Canister Sandbox | set 2022 | 2 | 📄✅ |
| DFINITY ECDSA/BTC | set 2022 | 4 | 📄✅ |
| FROST BLS Protocols | lug 2022 | 12 |
| SORA Trustless Bridge | lug 2022 | 8 |
| CAT Standard | giu 2022 | 8 |
| DFINITY Threshold ECDSA | mag 2022 | 8 |
| Arbitrum Nitro | mar 2022 | 16 |
| DeGate | feb 2022 | 4 | 📄 |
| ShardX | dic 2021 | 2 |
| DeGate | dic 2021 | 4 |
| Threshold-DSA | nov 2021 | 6 |
| DFINITY Consensus | nov 2021 | 2 | DFINITY | 📄 |
| PolySign HSM | ott 2021 | 6 |
| Hop Protocol V2 | set 2021 | 4 |
| Golden Gate Library | set 2021 | 1 |
| PolySign | set 2021 | 6 |
| Qredo Blockchain | set 2021 | 6 |
| Arbitrum | set 2021 | 16 |
| go-schnorrkel | ago 2021 | 4 |
| ShardX | ago 2021 | 4 |
| AElf | lug 2021 | 4 |
| CrossChain-Bridge | lug 2021 | 8 |
| DFINITY | mag 2021 | 24 | 📄 |
| Open Oracle | apr 2021 | 2 |
| Arbitrum V2 | feb 2021 | 8 |
| eFIL | gen 2021 | 2 |
| Highway Consensus | nov 2020 | 4 | CasperLabs | 📄 |
| Stacks V2 | set 2020 | 6 |
| VRFs | ago 2020 | 2 |
| Celo Oracle | lug 2020 | 2 | 📄 |
| Arbitrum | lug 2020 | 6 |
| MYKEY | lug 2020 | 4 |
| Symbol | lug 2020 | 4 | Symbol | 📄 |
| Ledger Filecoin | lug 2020 | 2 | 📄 |
| Chainlink | giu 2020 | 8 |
| Chainlink Flux | mag 2020 | 4 |
| Elrond | mar 2020 | 6 |
| EOSIO SDK | gen 2020 | 4 |
| NEAR Protocol | nov 2019 | 8 |
| EOSIO 2.0 | ott 2019 | 8 |
| Status-go | ott 2019 | 9 |
| Celo | set 2019 | 8 |
| Blockchain.com | ago 2019 | 4 |
| RandomX | giu 2019 | 2 | Monero e Arweave validano RandomX | 📄 |
| Interest Token | mag 2019 | 0.28 |
| Loom | mag 2019 | 10 | Audit di sicurezza di Loom SDK Q1 2019 |
| Building Blocks | ago 2018 | 7 | L'UN WFP usa Ethereum per aiutare 100.000 rifugiati |
