Trail of Bits के प्रकाशन
| पेपर शीर्षक | लेखक | प्रकाशन तिथि |
|---|---|---|
| CodeQL का उपयोग करके OpenVPN2 में अंतर्निहित रूपांतरणों का पता लगाना | Paweł Płatek | Sep 2025 |
| केंद्रीकृत क्रिप्टोकरेंसी एक्सचेंजों पर खाता अधिग्रहण को रोकना: अनुशंसित अभ्यास | Shaun Mirani, Kelly Kaoudis, and Evan Sultanik | Feb 2025 |
| इनपुट-संचालित रिकर्सन: चल रहे सुरक्षा जोखिम | Alexis Challande and Brad Swain | Dec 2024 |
| OpenSearch बेंचमार्क मूल्यांकन | Evan Downing, Riccardo Schirone, Francesco Bertolaccini, and Ronald Eytchison | Aug 2024 |
| Cedar, Rego, और OpenFGA नीति भाषाएँ: तुलनात्मक भाषा सुरक्षा मूल्यांकन | Ian Smith and Kelly Kaoudis | Aug 2024 |
| AI-आधारित प्रणालियों के व्यापक जोखिम मूल्यांकन और आश्वासन की दिशा में | Heidy Khlaaf | Mar 2023 |
| क्या ब्लॉकचेन विकेंद्रीकृत हैं? वितरित खातों में अनपेक्षित केंद्रीयताएँ | Evan Sultanik et al. | Jun 2022 |
| क्या आपको वास्तव में ब्लॉकचेन की आवश्यकता है? एक परिचालन जोखिम मूल्यांकन | Evan Sultanik and Mike Myers | Jun 2022 |
| लिंक | विवरण |
|---|---|
| परीक्षण हैंडबुक | स्थैतिक और गतिशील विश्लेषण उपकरणों को कॉन्फ़िगर और स्वचालित करने के लिए गाइड |
| ZKDocs | शून्य-ज्ञान प्रमाण प्रणालियों पर इंटरैक्टिव दस्तावेज़ीकरण |
| सुरक्षित स्मार्ट कॉन्ट्रैक्ट बनाना | सुरक्षित स्मार्ट कॉन्ट्रैक्ट विकसित करने के लिए सर्वोत्तम अभ्यास |
| CTF फील्ड गाइड | कैप्चर द फ्लैग प्रतियोगिताओं में जीतने के लिए फील्ड गाइड |
| Ruby सुरक्षा फील्ड गाइड | व्यावहारिक Ruby सुरक्षा गाइड |
| प्रस्तुति शीर्षक | लेखक | वर्ष |
|---|---|---|
| Go में छिपे ओवरफ्लो खोजना: कंपाइलर की सीमाओं से परे फ़ज़िंग | Kevin Valerio | 2026 |
| Buttercup: ओपन-सोर्स सॉफ़्टवेयर में बड़े पैमाने पर स्वायत्त रूप से बग ढूँढना और ठीक करना | Ronald Eytchison | 2025 |
| Buttercup: DARPA की AI साइबर चैलेंज के लिए Trail of Bits के समाधान का भविष्य | Trent Brunson | 2025 |
| Buttercup और DARPA की AI साइबर चैलेंज, Ringzer0 | Henrik Brodin, Ronald Eytchison | 2025 |
| AI साइबर चैलेंज में प्रतिस्पर्धा करने का हमारा अनुभव | Michael Brown et al. | 2025 |
| Buttercup और DARPA की AI साइबर चैलेंज, CSAW | Ronald Eytchison | 2024 |
| आपकी शमन मेरे अवसर हैं | Yarden Shafir | 2023 |
| हाइब्रिड नियंत्रण और डेटा प्रवाह के साथ परिवर्तनशीलता बग का पता लगाना | Kelly Kaoudis, Henrik Brodin, Evan Sultanik | 2023 |
| अंध स्थान: शोषण योग्य प्रोग्राम इनपुट की पहचान करना | Henrik Brodin, Evan Sultanik, and Marek Surovič |
| --- | --- | --- | | Mutation Testing with Slither: A New Way to Find High-Severity Issues | Guillermo Larregay | 2025 | | Slither's Model Context Protocol: Giving LLMs Ground Truth from Static Analysis | Ben Samuels | 2025 | | The $1.5B Problem: How Exchanges Can Build Safer Cold Storage | Benjamin Samuels | 2025 | | How to Become a Smart Contract Auditor | nisedo | 2025 | | Test your tests: the do's and don'ts of testing | Kurt Willis | 2023 | | Slither: a static analysis tool for Vyper and Solidity | Troy Sargent | 2023 | | Roundme: rounding analysis made simpler | Josselin Feist | 2023 | | Smart Contracts: The Beta | Nat Chin | 2023 | | Fuzzing like a security engineer | Nat Chin | 2023 | | Write better smart contracts with Slither's Python API | Troy Sargent | 2022 | | Building Secure Cairo | Filipe Casal, Simone Monica | 2022 | | How to fuzz like a pro | Josselin Feist, Nat Chin | 2022 | | Demystifying Fuzzing | Nat Chin | 2022 | | Building a Practical Static Analyzer for Smart Contracts | Josselin Feist | 2021 | | Testing and Verifying Smart Contracts: From Theory to Practice | Josselin Feist | 2021 | | Safely integrating with ERC20 tokens | Josselin Feist | 2021 | | Detecting transaction replacement attacks with Manticore | Sam Moelius | 2020 | | DeFi Hacks and Future Threats: The Role of Economics in Secure Protocol Design | Dan Guido | 2020 | | Fantastic Bugs and How to Squash Them; or, the Crimes of Solidity | Evan Sultanik | 2019 | | SlithIR: High-Precision Security Analysis with an IR for Solidity | Josselin Feist | 2019 | | Slither: A Static Analysis Framework for Smart Contracts | Josselin Feist | 2019 | | What blockchain got right | Dan Guido | 2019 | | Traditional Infosec for Blockchain Firms | Dan Guido | 2019 | | Property-testing of smart contracts | JP Smith | 2018 | | Anatomy of an unsafe programming language | Evan Sultanik | 2018 | | Contract upgrade risks and recommendations | Josselin Feist | 2018 | | Blackhat Ethereum | Ryan Stortz, Jay Little | 2018 | | Blockchain Autopsies - Analyzing Smart Contract Deaths | Jay Little | 2018 | | Rattle - an Ethereum EVM binary analysis framework | Ryan Stortz | 2018 | | Securing value on the Ethereum blockchain | Dan Guido | 2018 | | Binary analysis, meet the blockchain | Mark Mossberg | 2018 | | Automatic bug finding for the blockchain | Felipe Manzano, Josselin Feist | 2017 |
| प्रस्तुति शीर्षक | लेखक | वर्ष |
|---|---|---|
| Constant-Time Coding Support in LLVM | Julius Alexandre | 2025 |
| A Broad Comparative Evaluation of Software Debloating Tools | Michael D. Brown, Adam Meily, Eric Kilmer, Ronald Eytchison | 2024 |
| Repurposing LLVM analyses in MLIR: Also there and back again across the tower of IRs | Henrich Lauko | 2024 |
| VAST: MLIR for program analysis of C/C++ | Henrich Lauko | 2022 |
| A Broad Comparative Evaluation of x86-64 Binary Rewriters | Michael D. Brown | 2022 |
| On the Optimization of Equivalent Concurrent Computations | Henrich Lauko, Lukáš Korenčik, Peter Goodman | 2022 |
| प्रस्तुति शीर्षक | लेखक | वर्ष |
|---|---|---|
| Cut To The QUIC: Slashing QUIC's Performance With A Hash DoS | Paul Bottinelli | 2025 |
| One, Two, TEE: Trust in Numbers Meets Hardware Security | Paul Bottinelli | 2025 |
| Weak Fiat-Shamir attacks on modern proof systems | Jim Miller | 2024 |
| Building a Rusty path validation library for PyCA Cryptography | William Woodruff | 2024 |
| Implementing X.509 path validation for Python | William Woodruff | 2024 |
| Careful with MAc-then-SIGn | Marc Ilunga | 2023 |
| die, PGP, die | William Woodruff | 2022 |
| Seriously, stop using RSA | Ben Perez | 2019 |
| Best Practices for Cryptography in Python | Paul Kehrer | 2019 |
| Analyzing the MD5 collision in Flame | Alex Sotirov | 2012 |
| प्रस्तुति शीर्षक | लेखक | वर्ष |
|---|---|---|
| Repeatable Benchmarking: An Exploration of OpenSearch vs Elasticsearch | Evan Downing | 2025 |
| Evidence-driven Security Engineering | Dan Guido | 2019 |
| Linux Security Event Monitoring with osquery | Alessandro Gario | 2019 |
| osql: The community oriented osquery fork | Stefano Bonicatti, Mark Mossberg | 2019 |
| Getting started with osquery | Lauren Pearl, Andy Ying | 2018 |
| osquery Super Features | Lauren Pearl | 2018 |
| osquery Extension Skunkworks | Mike Myers | 2018 |
| Build it Break it Fix it | Andrew Ruef | 2014 |
| प्रस्तुति शीर्षक | लेखक | वर्ष |
|---|---|---|
| Introduction to Semgrep और Semgrep Practice Exercises | Maciej Domański, Matt Schwager, Spencer Michaels | 2024 |
| A mostly gentle introduction to LLVM | William Woodruff | 2022 |
| JWTs, and why they suck | Rory M | 2021 |
| The Joy of Pwning | Sophia D'Antoine | 2017 |
| How to CTF - Getting and using Other People's Computers (OPC) | Jay Little | 2014 |
| Low-level Security | Andrew Ruef | 2014 |
| Security and Your Business | Andrew Ruef | 2014 |
| Bringing nothing to the party | Vincenzo Iozzo | 2013 |
| From One Ivory Tower to Another | Vincenzo Iozzo | 2012 |
| प्रस्तुति शीर्षक | लेखक | वर्ष |
|---|---|---|
| Return to the 100 Acre Woods | Stefan Edwards | 2019 |
| Swimming with the kubectl fish | Stefan Edwards | 2019 |
| प्रस्तुति शीर्षक | लेखक | वर्ष |
|---|---|---|
| How we made Trail of Bits AI-Native (so far) | Dan Guido | 2026 |
| Weaponizing Image Scaling Against Production AI Systems | Kikimora Morozova, Suha Sabi Hussain | 2025 |
| Indirect Prompt Injection: Architectural Testing Approaches for Real World AI/ML Systems | Will Vandevanter | 2025 |
| From Polyglots to Prompt Injections: Parsing is Still Execution (And Your LLM Didn't Get the Memo) | Evan Sultanik | 2025 |
| Frontier AI in Cybersecurity: Risks and Opportunities | Dan Guido, Riccardo Schirone | 2025 |
| The Present and Future of AI and Security | Evan Downing | 2024 |
| Incubated Machine Learning Exploits: Backdooring ML Pipelines Using Input-Handling Bugs | Suha Sabi Hussain | 2024 |
| Holistic ML Threat Models | Adelin Travers | 2024 |
| Using Graph-Based Machine Learning Algorithms for Software Analysis |
| प्रस्तुति शीर्षक | लेखक | वर्ष |
|---|---|---|
| macOS Privilege Escalation Via Traceroute6 | Paweł Płatek | 2025 |
| Swift Reversing | Ryan Stortz | 2016 |
| Modern iOS Application Security | Sophia D'Antoine, Dan Guido | 2016 |
| The Mobile Exploit Intelligence Project | Dan Guido | 2012 |
| A Tale of Mobile Threats | Vincenzo Iozzo | 2012 |
| प्रस्तुति शीर्षक | लेखक | वर्ष |
|---|---|---|
| Python internals - let's talk about dicts | Dominik Czarnota | 2019 |
| Low-level debugging with Pwndbg | Dominik Czarnota | 2018 |
| Insecure Things to Avoid in Python | Dominik Czarnota | 2018 |
| प्रस्तुति शीर्षक | लेखक | वर्ष |
|---|---|---|
| Hardware side channels in virtualized environments | Sophia D'Antoine | 2015 |
| Exploiting Out-of-Order Execution | Sophia D'Antoine | 2015 |
| प्रस्तुति शीर्षक | लेखक | वर्ष |
|---|---|---|
| Attestations: a new generation of signatures on PyPI | William Woodruff | 2025 |
| The Next 5 Years of Supply Chain Security on PyPI | William Woodruff | 2024 |
| PEP 740 and PyPI: Bootstrapping Provenance for the Python Ecosystem | William Woodruff | 2024 |
| Imagining a zero-trust future for PyPI | William Woodruff | 2024 |
| Build Provenance: Lessons (so far) from Homebrew | Joe Sweeney | 2024 |
| What does it look like to code-sign for an entire packaging ecosystem? | William Woodruff | 2023 |
| Securing your Package Ecosystem with Trusted Publishing | William Woodruff | 2023 |
| Trusted Publishing: Lessons from PyPI | William Woodruff | 2023 |
| Ergonomic codesigning for the Python ecosystem with Sigstore | William Woodruff | 2023 |
| Sigstore for Python Packaging: Next Steps for Adoption |
| प्रस्तुति शीर्षक | लेखक | वर्ष |
|---|---|---|
| Peeling back the 'Shlayers' of macOS Malware | Josh Watson, Erika Noerenberg | 2019 |
| The Exploit Intelligence Project Revisited | Dan Guido | 2013 |
| --- | --- | --- | --- |
| Risky Biz | Dan Guido | Feb 2026 | Trail of Bits में AI |
| What's in the SOSS? 53 | Michael Brown | Feb 2026 | AIxCC और Buttercup |
| Insecure Agents 18 | Kikimora Morozova | Dec 2025 | AI प्रॉम्प्ट इंजेक्शन |
| Risky Biz | Keith Hoodlet | Sep 2025 | AI प्रॉम्प्ट इंजेक्शन |
| Zero Signal | Keith Hoodlet | Sep 2025 | AI सुरक्षा |
| Unsupervised Learning | Michael Brown | Aug 2025 | AIxCC |
| Security Weekly 342 | Will Vandevanter | Aug 2025 | NVIDIA भेद्यता प्रकटीकरण |
| CTF Radiooo 01E | Michael Brown और Evan Downing | Aug 2025 | AIxCC |
| Click Here Show | Dan Guido | Jun 2025 | Zoom रिमोट कंट्रोल हमले |
| Security Weekly 336 | Artur Cygan | Jun 2025 | बारकोड फज़िंग |
| Protect AI | Keith Hoodlet | Jun 2025 | MCP सुरक्षा |
| Open Source Security | William Woodruff | May 2025 | Zizmor और GitHub Actions सुरक्षा |
| MLSecOps | Keith Hoodlet | Apr 2025 | AI/ML सुरक्षा |
| Risky Biz 786 | Tjaden Hess | Apr 2025 | क्रिप्टोग्राफी और ब्लॉकचेन |
| Security Weekly 323 | Keith Hoodlet | Mar 2025 | Appsec में GenAI |
| Xyonix | Keith Hoodlet | Mar 2025 | AI/ML सुरक्षा |
| The Impulsive Thinker | Dan Guido | Feb 2025 | न्यूरोडाइवर्जेंस |
| Bugcrowd | Keith Hoodlet | Oct 2024 | AI/ML पूर्वाग्रह |
| Risky Biz | Dan Guido | Oct 2024 | पोस्ट-क्वांटम क्रिप्टोग्राफी |
| Risky Biz 759 | Dan Guido | Aug 2024 | DARPA की AI साइबर चैलेंज |
| Resilience Rundown | Josiah Dykstra | May 2024 | सुरक्षा में पूर्वाग्रह |
| Risky Biz | Dan Guido | Apr 2024 | ओपन सोर्स टूलिंग |
| MLSecOps March 20 | William Woodruff | Mar 2024 | सप्लाई चेन सुरक्षा |
| yWhales | Dan Guido | Dec 2023 | ब्लॉकचेन सुरक्षा |
| Risky Biz 707 | Dan Guido | May 2023 | ML सुरक्षा |
| ASW 229 | Nick Selby | Feb 2023 | थ्रेट मॉडलिंग, क्लाउड-नेटिव ऑडिट |
| Risky Biz 690 | Dan Guido | Jan 2023 | भेद्यता प्रकटीकरण |
| Risky Biz 672 | Dan Guido | Jul 2022 | ब्लॉकचेन सुरक्षा |
| Cloud Security Reinvented | Nick Selby | Jun 2022 | क्लाउड सुरक्षा |
| Skiff Office Hours | Dan Guido | Mar 2022 | गोपनीयता प्रौद्योगिकी |
| Risky Biz 652 | Dan Guido | Jan 2022 | ज़ीरो-नॉलेज प्रूफ़ |
| Secureum Safecast #3 | Josselin Feist | Nov 2021 | ब्लॉकचेन सुरक्षा |
| Secureum Safecast #2 | Dan Guido | Oct 2021 | ब्लॉकचेन सुरक्षा |
| Press Freedom Foundation | Dan Guido | Jul 2021 | मोबाइल सुरक्षा और iVerify |
| Employee Cycle | Hannah Hanks | Mar 2021 | पहली PeopleOps भर्ती |
| Risky Biz 614 | Dan Guido | Feb 2021 | iVerify |
| Building Better Systems 6 | Dan Guido | Jan 2021 | ब्लॉकचेन ने क्या सही किया |
| WCBS 880 | Dan Guido | Sep 2020 | गैप ईयर और इंटर्न भर्ती |
| Risky Biz 594 | Dan Guido | Aug 2020 | Apple सुरक्षा |
| Epicenter 346 | Dan Guido | Jun 2020 | स्मार्ट कॉन्ट्रैक्ट सुरक्षा |
| Absolute AppSec 97 | Stefan Edwards | May 2020 | थ्रेट मॉडलिंग |
| Unchained 170 | Dan Guido | May 2020 | DeFi सुरक्षा |
| Risky Biz 580 | Dan Guido | Apr 2020 | मोबाइल वोटिंग |
| Absolute AppSec 91 | Stefan Edwards | Apr 2020 | मोबाइल वोटिंग |
| Zero Knowledge 122 | Ben Perez | Mar 2020 | क्रिप्टोग्राफी समीक्षाएँ, ZKP |
| Changelog | Dan Guido | Jan 2020 | AlgoVPN |
| Risky Business 559 | Stefan Edwards | Oct 2019 | Kubernetes |
| FOSS Weekly 545 | William Woodruff | Sep 2019 | PyPI सुरक्षा सुधार |
| Podcast.__init__ 225 | William Woodruff | Aug 2019 | PyPI सुरक्षा, UX और स्थिरता |
| Absolute AppSec 68 | Stefan Edwards, Bobby Tonic | Aug 2019 | Kubernetes |
| Hashing it Out 53 | Dan Guido | Jul 2019 | स्मार्ट कॉन्ट्रैक्ट परीक्षण |
| Absolute AppSec 60 | Stefan Edwards | May 2019 | Android, प्रोग्रामिंग भाषाएँ |
| Absolute AppSec 55 | Stefan Edwards | Apr 2019 | सुरक्षा परीक्षण |
| Hashing it Out 35 | Dan Guido, Josselin Feist | Jan 2019 | Ethereum का विफल EIP-1283 |
| Risky Biz 526 | JP Smith | Jan 2019 | CTF में पोस्ट-क्वांटम क्रिप्टो |
| Absolute AppSec 37 | Stefan Edwards | Nov 2018 | प्रोग्रामिंग भाषाएँ, symbex |
| Risky Biz 510 | Lauren Pearl | Aug 2018 | ओपन सोर्स सुरक्षा इंजीनियरिंग |
| Absolute AppSec 34 | Stefan Edwards | Oct 2018 | सुरक्षा परीक्षण, ब्लॉकचेन |
| The Smartest Contract 15 | JP Smith | Aug 2018 | Trail of Bits सुरक्षा उपकरण और ऑडिटिंग |
| Zero Knowledge 16 | JP Smith | Mar 2018 | स्मार्ट कॉन्ट्रैक्ट सुरक्षा |
| Risky Biz 488 | JP Smith | Feb 2018 | Manticore के साथ स्मार्ट कॉन्ट्रैक्ट परीक्षण |
| Risky Biz 474 | Dan Guido | Oct 2017 | सुरक्षित सॉफ़्टवेयर कैसे इंजीनियर करें |
| Georgian Partners 47 | Dan Guido | May 2017 | AlgoVPN और Tor |
| VUC 643 | Dan Guido | Apr 2017 | AlgoVPN |
| Risky Biz 449 | Dan Guido | Mar 2017 | कंट्रोल फ्लो इंटीग्रिटी |
| Risky Biz 425 | Dan Guido | Sep 2016 | सप्ताह की खबरों का सारांश |
| Risky Biz 421 | Dan Guido | Aug 2016 | कार हैकिंग और सप्ताह की खबरें |
| Risky Biz 416 | Dan Guido | Jul 2016 | DARPA साइबर ग्रैंड चैलेंज |
| Risky Biz 399 | Dan Guido | Feb 2016 | Apple बनाम FBI |
| Risky Biz 348 | Dan Guido | Jun 2015 | DARPA साइबर ग्रैंड चैलेंज |
| Risky Biz 370 | Dan Guido | Feb 2015 | DARPA साइबर ग्रैंड चैलेंज |
| शीर्षक | वक्ता | दिनांक |
|---|---|---|
| ऑडिट से पहले आपको जिन शीर्ष TEE बग्स को ठीक करना चाहिए | Tjaden Hess, Paul Bottinelli, और Jules Drean | Dec 2025 |
| सुरक्षित एंड-टू-एंड एन्क्रिप्टेड सिस्टम बनाना | Marc Ilunga और Fredrik Dahlgren | Dec 2025 |
| Wiretap और Battering RAM के बाद: TEE-आधारित ब्लॉकचेन इंफ्रास्ट्रक्चर के लिए क्या बदलता है | Tjaden Hess और Andy Campbell | Nov 2025 |
| MCP सुरक्षा डीप डाइव: हमलों से बचाव तक | Keith Hoodlet, Cliff Smith, Vineeth Sai Narajala, Manish Bhatt | Jul 2025 |
| सुरक्षा ऑडिट: Trail of Bits के साथ सर्वोत्तम अभ्यास | Chris Dahlheimer, Lindsay Rakowski, और Vanessa Gennarelli | Mar 2025 |
| Burp Suite के साथ वेब रिसर्च में महारत | Keith Hoodlet, Cliff Smith, और James Kettle | Jun 2024 |
| CodeQL का परिचय: उदाहरण, उपकरण और CI एकीकरण | Filipe Casal और Fredrik Dahlgren | Mar 2024 |
| Semgrep का परिचय | Maciej Domanski और Matt Schwager | Jan 2024 |
| विषय | एजेंसी | दिनांक |
|---|---|---|
| AI/ML Ops के लिए स्वचालित आर्टिफिशियल इंटेलिजेंस बिल ऑफ मैटेरियल्स | U.S. Army PEO IEW&S | Dec 2023 |
| ओपन-सोर्स सॉफ़्टवेयर सुरक्षा: दीर्घकालिक फोकस और प्राथमिकता के क्षेत्र | ONCD, CISA, NSF, DARPA, OMB | Nov 2023 |
| AI के राष्ट्रीय सुरक्षा निहितार्थों को समझना | Whitehouse OTSP | Jul 2023 |
| AI जवाबदेही, विनियमन और ऑडिट | NTIA | Jun 2023 |
| नैतिक, कानूनी और सामाजिक डोमेन में AI आश्वासन के लिए एक व्यापक जोखिम मूल्यांकन ढांचा | DARPA | Jun 2023 |
| क्रिप्टो मार्केट्स सुरक्षा को समझना | CFTC | Mar 2023 |
| घुसपैठ और निगरानी सॉफ़्टवेयर का विनियमन | वाणिज्य विभाग | Jul 2015 |
इस बात पर गहराई से नज़र कि ग्राहकों ने Trail of Bits के साथ कैसे काम किया: चुनौती, हमारा दृष्टिकोण और परिणाम। प्रयास स्तर इंजीनियर-सप्ताह में है।
| ग्राहक | फोकस | दिनांक | प्रयास स्तर | केस स्टडी |
|---|---|---|---|---|
| Turnkey | TEE और AWS Nitro Enclaves इंफ्रास्ट्रक्चर | Jun 2026 | 8 | 📖 |
| Vanta | मल्टी-टेनेंट आइसोलेशन आर्किटेक्चर समीक्षा | Nov – Dec 2025 | 6 | 📖 |
| Scopely | Monopoly GO! PRNG फेयरनेस डिज़ाइन मूल्यांकन | Dec 2024 | 2 | 📖 |
| Hugging Face | Gradio 5.0 प्री-रिलीज़ सुरक्षा मूल्यांकन | Jun – Jul 2024 | 4 | 📖 |
| Scroll | zkEVM सर्किट सुरक्षा समीक्षाएँ | Apr – Sep 2023 | 45.8 | 📖 |
जिन कंपनियों ने हमें अपने काम के बारे में बात करने की अनुमति दी है, उन्हें यहाँ पाया जा सकता है। कई और गोपनीय बनी हुई हैं।
निम्नलिखित ग्राहकों ने Trail of Bits को 5 या अधिक सुरक्षा समीक्षाओं के लिए नियुक्त किया है:
| उत्पाद | दिनांक | प्रयास स्तर | घोषणा | रिपोर्ट |
|---|---|---|---|---|
| MobileCoin | Jul 2022 | 2 | 📄 | |
| Fog Protocol | Jan 2021 | 4 | 📄 | |
| MobileCoin BFT | Oct 2020 | 4 | 📄 | |
| MobileCoin | Aug 2020 | 4 | 📄 |
| --- | --: | :-: | --- | :-: | | Offchain Labs Arbitrum ArbOS 60/61 | Jul 2026 | 24 | | 📄 | | Offchain Labs Reward Distributor Fixes | Jun 2026 | 0.8 | | 📄 | | Offchain Labs Stylus SDK | Apr 2026 | 9 | | 📄 | | Offchain Labs Arbitrum Quorum Changes | Feb 2026 | 1.2 | | 📄 | | Offchain Labs Arbitrum Nitro External DA | Jan 2026 | 4 | | 📄✅ | | Offchain Labs Arbitrum ArbOS 50 and 51 (Fusaka) | Dec 2025 | | | 📄 | | Offchain Labs Arbitrum Chains Genesis File Generator | Dec 2025 | 1.6 | | 📄✅ | | Offchain Labs Upgrade Executor | Jul 2025 | 0.2 | | 📄 | | Offchain SetCoreGovernorQuorumAction | Jun 2025 | 1.2 | | 📄 | | Offchain Arbitrum Mint/Burn Precompile | Jun 2025 | 1.8 | | 📄✅ | | Offchain Arbitrum Block Hash Pusher | Jun 2025 | 1.8 | | 📄 | | Offchain ArbOS 40 Nitro | May 2025 | 6 | | 📄 | | Offchain Reward Distributor Fixes | Apr 2025 | 0.8 | | 📄 | | Offchain Sequencer Liveness | Mar 2025 | 3 | | 📄 | | Offchain Custom Fee Bridge & EIP-7702 | Mar 2025 | 1 | | 📄 | | Offchain Geth 14.4 Pectra | Mar 2025 | 0.8 | | 📄 | | Offchain Custom Fee Exchange Rate | Mar 2025 | 1 | | 📄 | | Offchain Security Council Rotation | Mar 2025 | 1.6 | | 📄 | | Offchain DisableGateway USDT | Mar 2025 | 0.4 | | 📄 | | Offchain BoLD Fixes | Dec 2024 | 0.8 | | 📄 | | Offchain Stylus Emergency Fixes | Oct 2024 | 2 | | 📄 | | Offchain BoLD History Commits | Oct 2024 | 2 | | 📄 | | Offchain Nitro with BoLD | Oct 2024 | 2.6 | | 📄 | | Offchain Stylus | Sep 2024 | 2 | | 📄✅ | | Offchain RARI | Aug 2024 | 0.6 | | 📄 | | Offchain Office Hours Action | Aug 2024 | 0.6 | | 📄 | | Offchain Timeboost Auction | Aug 2024 | 3 | | 📄 | | Offchain Orbit Actions | Aug 2024 | 1 | | 📄 | | Offchain USDC Gateway | Jul 2024 | 2 | | 📄 | | Offchain BoLD & DAC Rewards | Jun 2024 | 3 | | 📄 | | Offchain Arbitrum Stylus | May 2024 | 47 | | 📄 | | Offchain L1-L3 Teleporter | Apr 2024 | 2 | | 📄 | | Offchain ArbOS 31 | Apr 2024 | 2 | | 📄 | | Offchain ArbOS 30 Nitro | Apr 2024 | 6 | | 📄 | | Offchain BoLD | Apr 2024 | 5 | | 📄 | | Offchain ArbOS | Feb 2024 | 4 | | 📄 | | Offchain Arbitrum | Jan 2024 | 2 | | 📄 | | Offchain Token Bridge Creator | Dec 2023 | 6 | | 📄 | | Offchain Custom Fee Token | Sep 2023 | 3 | | 📄 | | Offchain Arbitrum Challenge v2 | Aug 2023 | 20 | | 📄✅ |
| उत्पाद | दिनांक | प्रयास का स्तर | घोषणा | रिपोर्ट |
|---|---|---|---|---|
| Reserve Protocol Solidity 4.0.0 | Jun 2025 | 3.6 | 📄✅ | |
| Reserve Protocol Solana DTFs | Apr 2025 | 2 | 📄✅ | |
| Reserve Folio Solidity-Based Contracts | Apr 2025 | 2 | 📄✅ | |
| Reserve Protocol | Aug 2022 | 8 | 📄, ✅ | |
| Reserve Protocol | Mar 2019 | 1 | 📄 |
| उत्पाद | दिनांक | प्रयास का स्तर | घोषणा | रिपोर्ट |
|---|---|---|---|---|
| Scroll Feynman Upgrade Smart Contract Changes | Jul 2025 | 1 | 📄 | |
| Scroll Euclid Phase 2 | Apr 2025 | 4 | Scroll | 📄✅🔖 |
| Scroll Euclid Phase 1 | Apr 2025 | 3 | Scroll | 📄✅🔖 |
| Scroll zstd Compression | Jun 2024 | 12 | 📄✅ | |
| Scroll ZkEVM 4844 Blob | Apr 2024 | 6 | 📄✅ | |
| Scroll ZkEVM Wave 3 | Sep 2023 | 9 | 📄✅ |
| उत्पाद | दिनांक | प्रयास का स्तर | घोषणा | रिपोर्ट |
|---|---|---|---|---|
| Uniswap v4 Core | Jul 2024 | 6 | 📄✅ | |
| Uniswap Browser Extension | Feb 2024 | 6 | 📄✅ | |
| Uniswap | Sep 2023 | 4 | 📄✅ | |
| Uniswap Mobile Wallet | Aug 2022 | 4 | 📄✅ | |
| Uniswap V3 Staker | Jun 2021 | 2 | ||
| Uniswap V3 | Mar 2021 | 10 | Uniswap | 📄 |
| उत्पाद | दिनांक | प्रयास का स्तर | घोषणा | रिपोर्ट |
|---|---|---|---|---|
| ArmorLock | Apr 2022 | 6 | ||
| Optimus ROM | Jan 2022 | 4 | ||
| Secure Transport | Apr 2020 | 4 | ||
| Western Digital Sweet B | Jan 2020 | 4 | Western Digital | 📄 |
| SanDisk X600 | May 2019 | 6 | SanDisk X600 में कई कमज़ोरियाँ | 📄 |
| उत्पाद | दिनांक | प्रयास का स्तर | घोषणा | रिपोर्ट |
|---|---|---|---|---|
| YOLOv7 | Oct 2023 | 4 | 📄 | |
| SafeTensors | Mar 2023 | 2 | 📄 |
| ---| --: | :-: | --- | :-: | | MAGIC Grants Monero FCMP ++ Crypto | Jul 2026 | 2 | | 📄✅ | | Ripple Labs XRP Ledger Confidential Transfer | Apr 2026 | 6 | | 📄✅ | | HyperLink AWS Nitro TEE | Mar 2026 | 2.2 | | 📄✅ | | Open Home Foundation SecureTar v3 | Mar 2026 | 1 | | 📄✅ | | Obsidian Sync | Dec 2025 | 2 | | 📄✅ | | NEAR One PedPop+ | May 2025 | 4 | | 📄 | | NEAR One MPC Chain Signatures | Mar 2025 | 6 | | 📄 | | NEAR One Robust ECDSA | Feb 2026 | 6.4 | | 📄✅ | | Anza BLS Signatures | Mar 2026 | 1 | | 📄 | | DV Labs Charon Pedersen DKG | Feb 2026 | 2 | | 📄✅ | | Anza Token-2022 Confidential Transfer, Cryptography | Jan 2026 | 7 | | 📄 | | Calyx Institute HSM Provisioning Ceremony Scripts | Jan 2026 | 1 | | 📄✅ | | BSV Blockchain TS-SDK | Jan 2026 | 6 | | 📄✅ | | Bron Labs MCP Library | Jan 2026 | 8 | | 📄✅ | | NEAR One Confidential Key Derivation | Dec 2025 | 4 | | 📄✅ | | Zama | Oct 2025 | 32.2 | | | | DFINITY Orbit | Sep 2025 | 4 | | 📄✅ | | DFINITY Oisy | Sep 2025 | 4 | | 📄✅ | | Google Longfellow | Aug 2025 | 4.6 | | 📄✅ | | Open Quantum Safe liboqs | Apr 2025 | 5 | Open Quantum Safe | 📄 | | Go Crypto Libraries | Mar 2025 | 12 | Go | 📄✅ | | Zkonduit EZKL | Mar 2025 | 11 | EZKL | 📄✅ | | Scopely Monopoly Go! | Dec 2024 | 2 | | 🔖 | | Aligned | Dec 2024 | 3 | | 📄✅ | | Discord DAVE | Sep 2024 | 5 | Discord | 📄✅ | | Discord DAVE | Aug 2024 | 4 | Discord | 📄✅ | | Lit Protocol Cait-Sith | Jun 2024 | 10 | | 📄✅ | | Iron Fish FishHash | Apr 2024 | 1 | Iron Fish | 📄✅ | | AgileBits Snow | Mar 2024 | 4 | | 📄✅ | | Silence Laboratories Silent Shard | Feb 2024 | 5 | | 📄✅ | | Snow | Jan 2024 | 4 | | 📄✅ | | Ockam | Nov 2023 | 11 | Trail of Bits | 📄 | | Dfinity Candid | Nov 2023 | 3 | | 📄✅ | | Axiom Halo2 Library Upgrades | Oct 2023 | 6 | Axiom | 📄✅ | | Aleo snarkVM, snarkOS, BullsharkBFT | Oct 2023 | 18 | Aleo | 📄✅ | | Axiom Halo2 Libraries | Jun 2023 | 14 | Axiom | 📄✅ | | Dfinity ckBTC and BTC Integration | Jun 2023 | 2.5 | फ़ोरम, ब्लॉग | | | Dfinity SNS Phase 2 | Jun 2023 | 2.5 | फ़ोरम, ब्लॉग | 📄 | | Thesis tss-lib BitForge | Jun 2023 | 0.2 | Threshold | 📄✅ | | Chainflip | Apr 2023 | 12 | Chainflip | 📄✅ | | Stealth Addresses | Feb 2023 | 2 | | 📄✅ | | Succinct ZK Light Client | Feb 2023 | 8 | Succinct | 📄✅ | | noble-curves Library | Jan 2023 | 2 | | 📄✅ | | ParaSpace | Dec 2022 | 1 | | 📄 | | Phantom Wallet | Nov 2022 | 2 | | | | ParaSpace | Nov 2022 | 7 | | 📄✅ | | SimpleX Chat | Oct 2022 | 1 | SimpleX | 📄 | | Dfinity | Sep 2022 | 4 | फ़ोरम, ब्लॉग | 📄✅ | | Aleo snarkVM | Sep 2022 | 12 | | 📄✅ | | Microsoft/Verasion Go-COSE | Jul 2022 | 4 | | 📄✅ | | BLS Signature Scheme | Jul 2022 | 1 | | | | Binance CGGMP21 and FROST | May 2022 | 8 | | | | Aleo snarkVM & snarkOS | Apr 2022 | 12 | | | | Phantom Wallet | Apr 2022 | 4 | | | | Parallel Finance | Mar 2022 | 6 | | 📄 | | Polkadex | Feb 2022 | 10 | | | | Linux Kernel | Apr 2021 | 2 | रिलीज़ हस्ताक्षर और प्रबंधन | 📄 | | Standard Notes | Mar 2020 | 1 | Standard Notes | 📄 | | Project Callisto | Aug 2018 | 5 | | |
| --- | --: | :-: | --- | :-: | | PyTorch ExecuTorch | Jun 2026 | 9 | OSTIF| 📄✅ | | Turnkey Key Management System | Jun 2026 | 8 | | 📄✅ | | Persona Identities Claims Verification | May 2026 | 3 | | 🔖 | | PyPI Warehouse | Apr 2026 | 6 | | 📄 | | Propeller Heads Turbine Front End and SDK | Mar 2026 | 2 | | 📄✅ | | Propeller Heads Turbine | Mar 2026 | 8 | | 📄✅ | | Zoo Text-to-CAD Platform | Mar 2026 | 4 | | 📄✅ | | iVerify | Jun 2026 | 2 | | 📄✅ | | X XChat | Oct 2025 | 4 | | 📄✅ | | Edera Runtime Container | Oct 2025 | 4 | | 📄 | | Meta WhatsApp Private Processing | Aug 2025 | 12 | WhatsApp, Trail of Bits | 📄✅ | | Discord E2EE WebAssembly | Jun 2025 | 3 | | 📄 | | libVLC | May 2025 | 5 | | 📄 | | NATS Server | Feb 2025 | 6 | | 📄✅ | | Istio Ztunnel | Dec 2024 | 2 | OSTIF, Istio | 📄✅ | | RubyGems.org | Dec 2024 | 5 | | 📄 | | Kraken Wallet In-App Browser | Nov 2024 | 4 | | 📄✅ | | Kraken Wallet iCloud Backup | Sep 2024 | 2 | | 📄✅ | | Hugging Face Gradio | Jul 2024 | 4 | Hugging Face, Trail of Bits | 📄✅ | | Zoo KittyCAD | Jun 2024 | 4.6 | | 📄✅ | | Polygon Labs Iden3 Circuits | May 2024 | 2 | | 📄✅ | | Kraken Mobile Wallet | Jan 2024 | 7 | Kraken| 📄✅ | | Eclipse Temurin | Dec 2023 | 4 | Response, OSTIF, Eclipse Foundation | 📄✅ | | Arch Linux Pacman | Dec 2023 | 2 | OTF | 📄✅ | | cURL HTTP3 | Dec 2023 | 4 | OSTIF, Daniel Stenberg | 📄 | | Lisk SDK 6.1 modules | Sep 2023 | 4 | | 📄✅ | | OpenSSL | Sep 2023 | 9 | OSTIF, OpenSSL | 📄✅ | | PyPI Warehouse | Sep 2023 | 10 | PyPI, Trail of Bits | 📄✅ | | wasmCloud | Sep 2023 | 6 | | 📄✅ | | Worldcoin | Aug 2023 | 6 | | 📄✅ | | Homebrew | Aug 2023 | 6 | | 📄 | | DigitalOcean OIDC | Aug 2023 | 4 | | 📄 | | Flux | Aug 2023 | 4 | OSTIF, Flux | 📄✅ | | Lisk SDK | Jul 2023 | 30 | | 📄✅ | | DragonFly2 | Jul 2023 | 4 | Dragonfly, OSTIF | 📄✅ | | Eclipse JKube | May 2023 | 5 | OSTIF, Eclipse | 📄✅ | | Chainflip | Apr 2023 | 12 | Chainflip | 📄✅ | | Eclipse Mosquitto | Mar 2023 | 4 | OSTIF, Eclipse | 📛📄✅ | | Eclipse Jetty | Mar 2023 | 6 | Jetty, Eclipse | 📄✅ | | Spool Platform | Mar 2023 | 8 | | 📄✅ | | Redpanda Platform | Jan 2023 | 4 | | | | Injective Labs Options Market | Jan 2023 | 4 | | | | OpenVPN3 | Jan 2023 | 6 | | | | OpenVPN2 | Dec 2022 | 4 | OpenVPN | 📄✅ | | OpenArchive Save (Android) | Dec 2022 | 1 |OpenArchive Save | 📄✅ | | Enclave Markets | Nov 2022 | 9 | | | | Fiat Ramps | Nov 2022 | 4 | | | | cURL | Oct 2022 | 9.5 | OSTIF, Daniel Stenberg. Trail of Bits | 📄✅📛 | | CloudEvents | Oct 2022 | 4 | OSTIF | 📄 | | OpenArchive Save (iOS) | Oct 2022 | 1.2 |OpenArchive Save | 📄✅ | | AlphaSOC API | Sep 2022 | 1 | | 📄✅ | | Consul Enterprise | Sep 2022 | 6 | | | | snarkVM | Sep 2022 | 12 | | 📄✅ | | Hashicorp Boundary | Jul 2022 | 6 | | | | Skiff | Jul 2022 | 6 | | | Terraform Cloud | Jun 2022 | 6 | | | | Datadog | May 2022 | 6 | | | | MATTR | May 2022 | 4 | | | | ArmorLock | Apr 2022 | 6 | | | | DigitalOcean Function | Apr 2022 | 4 | | | | Auvik Collector | Apr 2022 | 8 | | | | Fuchsia Platform | Mar 2022 | 8 | | | Optimus ROM | Jan 2022 | 4 | | | | BitcoinBeach | Mar 2022 | 4 | | 📄 | | osquery | Jan 2022 | 6 | | 📄 | | Redjack | Dec 2021 | 2 | | | DigitalOcean Cloud | Nov 2021 | 12 | | | SpruceID | Oct 2021 | 12 | | 📄 | | Doppler | Sep 2021 | 4 | | | Datadog Agent | Aug 2021 | 8 | | | Appian | Jun 2021 | 4 | | | | Cashero-2.0 | Jun 2021 | 4 | | | | Orbit | Apr 2021 | 1 | | | | VGS Proxy | Apr 2021 | 4 | | | | Skiff | Feb 2021 | 4 | | | | CircleCI Server 3.0 | Jan 2021 | 6 | CircleCI पर पेनिट्रेशन परीक्षण | | BitMEX | Jan 2021 | 4 | | | | SecureDrop | Dec 2020 | 8 | SecureDrop Workstation का दूसरा ऑडिट | 📄 | | Citizen Browser | Dec 2020 | 0.43 | हमने Facebook Inspector कैसे बनाया| | Ren | Aug 2020 | 4 | अगस्त विकास अपडेट | 📄 | | Hey.com | Jun 2020 | 1 | गंभीर सुरक्षा | 📄 | | Azure Sphere | Jun 2020 | 12 | Azure Sphere 20.07 सुरक्षा संवर्द्धन | | Zoom | May 2020 | 9 | 90 दिन पूरे, Zoom के लिए आगे क्या | | Secure Transport | Apr 2020 | 4 | | | ZeroTier 2.0 | Mar 2020 | 2 | ZeroTier | 📄 | | Voatz | Feb 2020 | 12 | Voatz, Tusk | 📄📛 | | Vault | Feb 2020 | 12 | | | Voice | Jan 2020 | 4 | | | Azure Sphere | Jun 2019 | 12 | | | | zlib | Sep 2016 | 1 | | 📄 |
| उत्पाद | दिनांक | प्रयास का स्तर | घोषणा | रिपोर्ट |
|---|---|---|---|---|
| KEDA | Dec 2022 | 6 | OSTIF | 📄 |
| Terraform Enterprise | Nov 2022 | 6 | ||
| Nomad Enterprise | Nov 2022 | 6 | ||
| HashiCorp Cloud | Jun 2022 | 9 | ||
| Tekton | Mar 2022 | 4 | Tekton सुरक्षा समीक्षा पूर्ण | 📄 |
| Linkerd | Feb 2022 | 4 | 📛📄✅ | |
| CoreDNS | Jan 2022 | 4 | 📄 | |
| Terraform Enterprise | Nov 2021 | 6 |
| उत्पाद | दिनांक | प्रयास का स्तर | घोषणा | रिपोर्ट | सार्वजनिक सूट |
|---|---|---|---|---|---|
| Panoptic | May 2024 | 9 | 📄 | ||
| Curvance | Mar 2024 | 5 | 📄 | Public invariants |
| उत्पाद | दिनांक | प्रयास का स्तर | घोषणा | रिपोर्ट |
|---|---|---|---|---|
| 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 |
| उत्पाद | दिनांक | प्रयास का स्तर | घोषणा | रिपोर्ट |
|---|---|---|---|---|
| Folks Finance Protocol | Nov 2022 | 6 | 📄✅ | |
| wXTZ | Nov 2020 | 4 | 📄 | |
| wALGO | Nov 2020 | 4 | 📄 | |
| Meld Gold | Jul 2020 | 2 | ||
| Pixel | Dec 2019 | 4 | ||
| Algorand | Mar 2019 | 14 | Algorand की सफलता और गति |
| उत्पाद | दिनांक | प्रयास का स्तर | घोषणा | रिपोर्ट |
|---|---|---|---|---|
| Ava Labs AvalancheGo | Aug 2025 | 10 | 📄 | |
| Alkimiya Silica V2 | Jun 2022 | 6 | ||
| Ava Labs | Apr 2022 | 8 | ||
| Flare Network | Mar 2021 | 8 |
| ---| --: | :-: | --- | :-: | | ZetaChain Bitcoin Inscriptions | जनवरी 2025 | 2 | | 📄✅ | | Nomic | नवंबर 2024 | 10 | Nomic | 📄✅ | | STAS SDK | अक्टूबर 2021 | 4 | | | | STAS-JS SDK | सितंबर 2021 | 4 | | | | Bitcoin SV | जनवरी 2021 | 6 | | | Zcoin | जुलाई 2020 | 2 | Zcoin | 📄 | | Zcash | अप्रैल 2020 | 3 | Electric Coin Co. | 📄 | | Zcash | नवंबर 2019 | 6 | NU3, Blossom, और Sapling सुरक्षा समीक्षाएँ| 📄 | | Zcash | नवंबर 2019 | 6 | | 📄 | | Paymail Protocol | नवंबर 2019 | 7 | | | | Simple Ledger | अक्टूबर 2019 | 3 | | | | Bitcoin SV | नवंबर 2018 | 12 | | | RSKj | नवंबर 2017 | 6 | RSK सुरक्षा ऑडिट परिणाम | 📄 |
| ---| --: | :-: | --- | :-: | | Arcus Labs Rootchain v5 Smart Contracts | जून 2026 | 2 | | 📄✅ | | Kiln Lagoon Vault Diff Review | मई 2026 | 1 | | 📄✅ | | Franklin Templeton BenjiSwap Differential Review | अप्रैल 2026 | 1.2 | | 📄✅ | | Gensyn Buyback-and-Burn Vault | अप्रैल 2026 | 1 | | 📄✅ | | Gensyn Bridged Token | अप्रैल 2026 | 0.2 | | 📄 | | Gensyn ERC-20 Token | सितंबर 2025 | 0.2 | | 📄 | | Gensyn Delphi Dynamic Paramutuel Markets | अप्रैल 2026 | 3.4 | | 📄✅ | | Shape TokenLock | मार्च 2026 | 0.4 | | 📄✅ | | Aave v4 | फरवरी 2026 | 6 | | 📄✅ | | VeChain VeChainThor Hayabusa Upgrade | अक्टूबर 2025 | 6 | | 📄✅ | | Franklin Templeton BenjiSwap Contract | अक्टूबर 2025 | 1 | | 📄✅ | | Radius Technology EVMAuth | अक्टूबर 2025 | 1.2 | | 📄✅ | | Shape Buyback Contract | सितंबर 2025 | 0.4 | | 📄✅ | | Starkware StarkEx Diff | अगस्त 2025 | 0.2 | | 📄 | | Shape Token Contract | मई 2025 | 1 | | 📄✅ | | CAP Labs Covered Agent Protocol | मई 2025 | 9 | | 📄✅ | | Fabric Labs Zipper Protocol | मई 2025 | 1 | | 📄✅ | | Lagrange LAToken | अप्रैल 2025 | 3 | | 📄 | | Serai DEX | अप्रैल 2025 | 3 | | 📄✅ | | Automata | फरवरी 2025 | 8 | | 📄✅ | | Bunni v2 | जनवरी 2025 | 8 | | 📄✅ | | Everstake Staking | जनवरी 2025 | 3 | | 📄✅ | | Parabol Smart Contracts Updates | जनवरी 2025 | 0.4 | | 📄 | | BeethovenX Sonic Staking | जनवरी 2025 | 1 | | 📄✅ | | Balancer v3 | दिसंबर 2024 | 6 | | 📄✅ | | ULTI | दिसंबर 2024 | 1 | | 📄✅ | | EthStaker Deposit CLI | दिसंबर 2024 | 4 | | 📄✅ | | Plume | नवंबर 2024 | 1 | | 📄✅ | | Treehouse tETH Protocol | सितंबर 2024 | 4 | | 📄✅ | | Elixir Protocol | अगस्त 2024 | 4 | | 📄✅ | | Onchain Pass | अगस्त 2024 | 1 | | 📄✅ | | Taraxa Ficus Bridge | जुलाई 2024 | 1.6 | | 📄✅ | | Devcon Auction Raffle | जून 2024 | 1 | | 📄✅ | | Aladdin f(x) Oracle | जून 2024 | 2 | | 📄✅ | | AiLayer 6079 Contracts | मई 2024 | 3 | | 📄✅ | | Hydrogen Rover Protocol | मई 2024 | 0.45 | | 📄 | | Lisk Smart Contracts | मई 2024 | 4 | | 📄✅ | | Parabol Smart Contracts | मई 2024 | 2 | | 📄✅ | | Wonderland Prophet | मई 2024 | 4 | | 📄✅ | | SEDA Chain Token Migration | मार्च 2024 | 1 | | 📄✅ | | Lisk Smart Contracts | मार्च 2024 | 4.6 | | 📄✅ | | Bondex Smart Contracts | मार्च 2024 | 0.6 | | 📄 | | Aladdin f(x) Protocol | मार्च 2024 | 4 | | 📄✅ | | Puffer Finance Contracts | मार्च 2024 | 1.2 | | 📄✅ | | Intuition | मार्च 2024 | 2 | | 📄 | | Helios Global | फरवरी 2024 | 1 | | 📄✅ | | ScopeLift Stealth Addresses | फरवरी 2024 | 1 | | 📄✅ | | MetaLayer Blast | जनवरी 2024 | 4 | | 📄✅ | | Unibot Router | दिसंबर 2023 | 1.6 | | 📄✅ | | Acronym Foundation | दिसंबर 2023 | 4 | | 📄✅ | | Pyth Entropy | दिसंबर 2023 | 4 | | 📄 | | Immutable Bridge | नवंबर 2023 | 2 | | 📄✅ | | Salty.IO Protocol | अक्टूबर 2023 | 6 | | 📄✅ | | Spiko Smart Contracts | अक्टूबर 2023 | 1 | | 📄✅ | | Hyperlane v3 | सितंबर 2023 | 2 | | 📄✅ | | Elixir Contracts | सितंबर 2023 | 2 | | 📄✅ | | NZDD token | अगस्त 2023 | 0.6 | | 📄✅ | | Immutable | अगस्त 2023 | 4 | | 📄✅ | | Sandclock | जुलाई 2023 | 8 | | 📄✅ | | Arcade | जुलाई 2023 | 8 | | 📄✅ | | Nested Tetris/HyVM | जून 2023 | 1 | | 📄✅ | | Franklin Templeton | मई 2023 | 4 | | 📄✅ | | Prysm | अप्रैल 2023 | 8 | | 📄✅ | | Ajna Protocol | अप्रैल 2023 | 12 | | 📄✅ | | Raft | अप्रैल 2023 | 2 | | 📄✅ | | MYSO v2 | अप्रैल 2023 | 2 | MYSO | 📄✅ | | Smardex AMM | अप्रैल 2023 | 2 | | 📄✅ | | Waymont | मार्च 2023 | 1 | | | | Atlendis | मार्च 2023 | 6 | Atlendis | 📄✅ | | Primitive Hyper | मार्च 2023 | 8 | | 📄✅ | | Succinct Light Client | फरवरी 2023 | 8 | Succinct | 📄✅ | | Nested Finance | फरवरी 2023 | 4 | | 📄✅ | | Polygon Edge | जनवरी 2023 | 6 | | | | Optimism | दिसंबर 2022 | 8 | | | | Paxos PayPal PYUSD | दिसंबर 2022 | 1 | | 📄✅ | | GSquared | अक्टूबर 2022 | 6 | | 📄✅ | | Meson Protocol | अक्टूबर 2022 | 6 | | 📄✅ | | Managed Pools | अक्टूबर 2022 | 4 | | 📄 | | Ondo | अक्टूबर 2022 | 4 | | 📄✅ | | Maple Protocol v2 | सितंबर 2022 | 8 | | 📄✅ | | Increment Protocol | सितंबर 2022 | 4 | | 📄✅ | | Subspace Farmer | सितंबर 2022 | 2 | | 📄✅| | Optimism | सितंबर 2022 | 16 | | 📄 | | Nayms | सितंबर 2022 | 6 | | | | Aggregator | अगस्त 2022 | 2 | | | | The Franchiser | अगस्त 2022 | 3 | | | | Meson Protocol | जुलाई 2022 | 0.6 | | 📄 | | ChainPort | जुलाई 2022 | 8 | | 📄✅ | | Relay | जुलाई 2022 | 1 | | | | Beanstalk | जुलाई 2022 | 8 | Beanstalk | 📄✅ | | Purpose for Profit | जुलाई 2022 | 3 | | | | Solon | जुलाई 2022 | 6 | | | | Roll | जुलाई 2022 | 2 | | | | Ante Protocol | मई 2022 | 2 | | 📄✅ | | Sherlock | जून 2022 | 4 | | | | FlareFinance | जून 2022 | 4 | | | | TBTv2 | जून 2022 | 6 | | | | Morpho | जून 2022 | 4 | Morpho | 📄 | | Relayer Contracts | जून 2022 | 2 | | | | AuctionRaffle | मई 2022 | 2 | | | | Seaport Protocol | मई 2022 | 4 | OpenSea | 📄 | | Shell Protocol v2 | मई 2022 | 4 | | 📄 | | Optimism | अप्रैल 2022 | 6 | | | | NFTX | अप्रैल 2022 | 4 | NFTX | 📄 | | ReserveLending+ | अप्रैल 2022 | 4 | unFederalReserve | | | Firefly | अप्रैल 2022 | 4 | | | | Maple Finance | मार्च 2022 | 1 | | 📄✅ | | Gyroscope | मार्च 2022 | 6 | | | | LooksRare | मार्च 2022 | 4 | | 📄 | | Symbiosis | मार्च 2022 | 2 | | | | RAILWAY | फरवरी 2022 | 4 | | | | Persistence ETH2.0 | फरवरी 2022 | 4 | | | | Advanced Blockchain | फरवरी 2022 | 6 | | 📄 | | Perpetual Protocol V2 | फरवरी 2022 | 4 | | 📄 | | Futureswap V4.1 | फरवरी 2022 | 4 | | | | Firefly | फरवरी 2022 | 8 | | | | API3 | फरवरी 2022 | 8 | | 📄 | | Beethoven X | फरवरी 2022 | 1 | | 📄 | | Minterest Finance | जनवरी 2022 | 6 | | | | pSTAKE | जनवरी 2022 | 6 | | | | Primitive | जनवरी 2022 | 8 | Primitive | 📄 | | Strips Finance | जनवरी 2022 | 8 | | | | Cardstack | दिसंबर 2021 | 4 | | | | Sherlock Protocol V2 | दिसंबर 2021 | 4 | | 📄 | | Maple | नवंबर 2021 | 4 | Maple | 📄 | | Advanced Blockchain | नवंबर 2021 | 6 | | 📄 | | Opyn | नवंबर 2021 | 6 | | 📄 | | Aave V3 | नवंबर 2021 | 12 | | 📄✅ | | Tokemak | अक्टूबर 2021 | 3 | | | | Fuji Finance | अक्टूबर 2021 | 6 | | 📄 | | V2 Vault | अक्टूबर 2021 | 4 | | | | Yield V2 | सितंबर 2021 | 6 | | 📄 | | Gro protocol | सितंबर 2021 | 2 | | | | Futureswap V4 | सितंबर 2021 | 6 | | | | RocketPool | अगस्त 2021 | 5 | | 📄 | | AlphaX | अगस्त 2021 | 6 | | | | Bug Bounty Platform | अगस्त 2021 | 8 | | | | 88mph V3 | अगस्त 2021 | 6 | | 📄 | | Timeswap | जुलाई 2021 | 2 | | | | CompliFi | जुलाई 2021 | 6 | | 📄 | | Optics | जुलाई 2021 | 2 | | | | FlareFinance | जून 2021 | 4 | | | | Abyss Lockup | जून 2021 | 2 | | | | Futureswap V3 | जून 2021 | 6 | | | | CompliFi | जून 2021 | 6 | | | | Syndicate | मई 2021 | 4 | | | | Opyn Gamma | मई 2021 | 6 | | 📄 | | Yearn v2 Vaults | अप्रैल 2021 | 6 | | 📄 | | Balancer v2 | अप्रैल 2021 | 4 | | 📄 | | DFX Finance | अप्रैल 2021 | 6 | | | | Tokemak | अप्रैल 2021 | 1 | | | | Warp Contracts | अप्रैल 2021 | 6 |Composable | 📄 | | FlareFinance | अप्रैल 2021 | 3 | | | | MC Dai | मार्च 2021 | 6 | | | | dForce Lending | मार्च 2021 | 6 | | | | Liquity Proxy Contract | फरवरी 2021 | 0.57 | | 📄 | | Liquity Protocol | फरवरी 2021 | 8 | | 📄| | RAY-DAO | फरवरी 2021 | 4 | | | | Futureswap | जनवरी 2021 | 2 | | | | Balancer V2 | जनवरी 2021 | 6 | | | | C.R.E.A.M. | जनवरी 2021 | 1 | | 📄 | | LUSD | दिसंबर 2020 | 8 | | 📄 | | Origin Dollar | नवंबर 2020 | 4 | Origin Protocol | 📄 | | Zerion SDK | नवंबर 2020 | 4 | | | | Teller Protocol | नवंबर 2020 | 4 | | | | Hermez | नवंबर 2020 | 4 | Hermez | 📄 | | Graph Protocol | अक्टूबर 2020 | 3 | | | | OVM | अक्टूबर 2020 | 6 | | | | Prysm | सितंबर 2020 | 6 | | | | DODO | सितंबर 2020 | 3 | | 📄 | | Yield Protocol | अगस्त 2020 | 6 | | 📄 | | Smart Pool | अगस्त 2020 | 1 | | | | DeFiner | अगस्त 2020 | 1 | | | | ETH2.0 Deposit CLI | अगस्त 2020 | 4 | | 📄| | CurveDAO | जुलाई 2020 | 6 | | 📄 | | Amp | जुलाई 2020 | 3 | | 📄 | | Federated Bridge | जुलाई 2020 | 1 | | | | dForce dToken | जुलाई 2020 | 2 | | 📄 | | Matic | जून 2020 | 4 | | | | Lighthouse | जून 2020 | 4 | | | | tBTC | मई 2020 | 6 | | 📄 | | QTUM | अप्रैल 2020 | 0.43 | | 📄 | | Hegic | अप्रैल 2020 | 0.43 | | 📄 | | Golem Network | मार्च 2020 | 2 | | | | Reddit | मार्च 2020 | 1 | A New Frontier | | | Chai | फरवरी 2020 | 0.28 | | 📄 | | Compound | फरवरी 2020 | 2 | | 📄 | | WorkLock | जनवरी 2020 | 2 | NuCypher | 📄 | | Balancer | जनवरी 2020 | 4 | | 📄 | | Curve.fi | जनवरी 2020 | 1 | | 📄 | | Livepeer | अक्टूबर 2019 | 3 | | | | Topo Finance | अक्टूबर 2019 | 4 | | | | 0x Protocol | अक्टूबर 2019 | 10 | | 📄 | | Flexa | सितंबर 2019 | 2 | Flexa | 📄 | | AZTEC Protocol | सितंबर 2019 | 10 | | 📄 | | Oasis Labs | सितंबर 2019 | 13 | | | | Aave Protocol | सितंबर 2019 | 4 | | 📄 | | MC Dai | अगस्त 2019 | 13 | MakerDAO | 📄 | | Staked | अगस्त 2019 | 4 | | | | Compound | अगस्त 2019 | 2 | | 📄 | | Computable | जुलाई 2019 | 8 | Computable | 📄 | | Numerai | मई 2019 | 3 | Numerai | 📄 | | MerkleX | मई 2019 | 4 | | | | TokenCard | मई 2019 | 5 | | 📄 | | Unity Coin | अप्रैल 2019 | 1 | | | | Compound | अप्रैल 2019 | 8 | Compound | 📄 | | Ocean Protocol | मार्च 2019 | 4 | Ocean Protocol | | | UMA Project | मार्च 2019 | 3 | | | | Centrifuge | मार्च 2019 | 5 | | | | Nomisma | मार्च 2019 | 1 | | | | Set Protocol | मार्च 2019 | 5 | Set Protocol | 📄 | | NuCypher | फरवरी 2019 | 4 | NuCypher | 📄 | | AMP StableWire | जनवरी 2019 | 1 | | | | EIP-1283 | जनवरी 2019 | 1 | ChainSecurity | 📄 | | Ampleforth | नवंबर 2018 | 4 | Ampleforth | 📄 | | Origin Protocol | नवंबर 2018 | 4 | Origin Protocol | 📄 | | Paxos Standard | अक्टूबर 2018 | 4 | | 📄 | | Basecoin | अक्टूबर 2018 | 12 | | 📄 | | Pantheon | अक्टूबर 2018 | 8 | PegaSys | 📄 | | Compound | सितंबर 2018 | 12 | Compound | | | NuCypher | अगस्त 2018 | 12 | NuCypher | 📄 |
| 2023 |
| आधुनिक प्रमाण प्रणालियों पर कमजोर Fiat-Shamir हमले | IEEE S&P 2023 | 2023 |
| Endoprocess: प्रोग्रामेबल और विस्तार योग्य सबप्रोसेस अलगाव | NSPW 2023 | 2023 |
| CIVSCOPE: कम्पार्टमेंट इंटरफेस में संभावित मेमोरी भ्रष्टाचार बग का विश्लेषण | SOSP KISV 2023 | 2023 |
| हाइब्रिड नियंत्रण और डेटा प्रवाह विश्लेषण के माध्यम से परिवर्तनशीलता बग का पता लगाना | LangSec 2023 | 2023 |
| अंध स्थान: अनदेखे किए गए प्रोग्राम इनपुट का स्वचालित रूप से पता लगाना | LangSec 2023 | 2023 |
| वास्तविक दुनिया के प्रोसेसरों के लिए सॉफ़्टवेयर शोषण के कुशल प्रमाण | PETS 2023 | 2023 |
| AI प्रणालियों के व्यापक जोखिम मूल्यांकन और आश्वासन की दिशा में | arXiv | 2023 |
| x86-64 बाइनरी रीराइटर्स का एक व्यापक तुलनात्मक मूल्यांकन | CSET 22 | 2022 |
| समतुल्य समवर्ती गणनाओं के अनुकूलन पर | PLDI EGRAPHS 2022 | 2022 |
| डिफरेंशियल म्यूटेशन के माध्यम से स्थैतिक विश्लेषण उपकरणों का मूल्यांकन | QRS 2021 | 2021 |
| echidna-parade: विविध मल्टीकोर स्मार्ट कॉन्ट्रैक्ट फ़ज़िंग | ISSTA 2021 | 2021 |
| x86-64 निर्देश डिकोडर का डिफरेंशियल विश्लेषण | LangSec 2021 | 2021 |
| Echidna: स्मार्ट कॉन्ट्रैक्ट्स के लिए प्रभावी, उपयोगी और तेज़ फ़ज़िंग | ISSTA 2020 | 2020 |
| ICARUS: पंख और मोम के माध्यम से वास्तविक प्रारूपों को समझना | LangSec 2020 | 2020 |
| पार्सर कार्यान्वयन के सिमेंटिक लेबलिंग के माध्यम से स्वचालित व्याकरण निष्कर्षण की दिशा में | LangSec 2020 | 2020 |
| महत्वपूर्ण स्मार्ट कॉन्ट्रैक्ट्स में वास्तविक खामियाँ क्या हैं? | FC 2020 | 2020 |
| Echidna: एक व्यावहारिक स्मार्ट कॉन्ट्रैक्ट फ़ज़र | FC 2020 | 2020 |
| RSA GTFO | PoC||GTFO 0x20 | 2020 |
| Manticore: बाइनरी और स्मार्ट कॉन्ट्रैक्ट्स के लिए प्रतीकात्मक निष्पादन | ASE 2019 | 2019 |
| Slither: स्मार्ट कॉन्ट्रैक्ट्स के लिए एक स्थैतिक विश्लेषण फ्रेमवर्क | WETSEB 2019 | 2019 |
| मशीन लर्निंग का उपयोग करके स्मार्ट भेद्यता खोज की दिशा में | AISec 2018 | 2018 |
| साइबरडाइन का अतीत, वर्तमान और भविष्य | IEEE S&P | 2018 |
| DeepState - C और C++ के लिए प्रतीकात्मक इकाई परीक्षण | BAR 2018 | 2018 |
| कैप्चर-द-फ्लैग अभ्यासों में साइबर-धोखा और एट्रिब्यूशन | FOSINT-SI 2015 | 2015 |
| 2023 |
| MLIR प्रोग्राम विश्लेषण का भविष्य है | Peter Goodman | 2023 |
| कम्प्यूटेशनल बलिदान के भोगों पर एक उपदेश; या, एक बेतुके NES गेम को प्रोग्राम करने के अत्यधिक आशीर्वाद | Evan Sultanik | 2021 |
| x86-64 निर्देश डिकोडर का डिफरेंशियल विश्लेषण | William Woodruff, Niki Carroll, Sebastiaan Peters | 2021 |
| जब (मूल) सत्य वास्तविक नहीं है तो बग कैसे खोजें | William Woodruff | 2020 |
| पार्सर कार्यान्वयन के सिमेंटिक लेबलिंग के माध्यम से स्वचालित व्याकरण निष्कर्षण की दिशा में | Carson Harmon, Brad Larsen, Evan Sultanik | 2020 |
| फ़ाइलों की विश्वासघातिता और दो नए उपकरण जो इसे वश में करते हैं | Evan Sultanik | 2019 |
| प्रतीकात्मक रूप से एक फ़ज़ी तानाशाह को निष्पादित करना | Stefan Edwards | 2019 |
| KRF के साथ कर्नेल स्पेस फॉल्ट इंजेक्शन | William Woodruff | 2019 |
| KLEE-Native के साथ बाइनरी प्रतीकात्मक निष्पादन | Sai Vegasena | 2019 |
| Linux कर्नेल पर सिको मोड में जाना | William Woodruff | 2019 |
| Binary Ninja के साथ भेद्यता मॉडलिंग | Josh Watson | 2018 |
| फ़ाइल पॉलीग्लॉटरी; या, यह PoC बिल्लियों की एक तस्वीर भी है | Evan Sultanik | 2017 |
| बाइनरी रॉकस्टार बनें | Sophia D'Antoine | 2017 |
| मनुष्यों के लिए प्रतीकात्मक निष्पादन | Mark Mossberg | 2017 |
| 90 के दशक की आत्मा अभी भी ब्रुकलिन में जीवित है | Ryan Stortz, Sophia D'Antoine | 2017 |
| स्थैतिक और गतिशील विश्लेषण शूटआउट का सपना | Ryan Stortz | 2016 |
| स्वचालित एक्सप्लॉइट निर्माण के लिए बाइनरी बाधा समाधान | Sophia D'Antoine | 2016 |
| स्मार्ट फ़ज़र क्रांति | Dan Guido | 2016 |
| एक स्केलेबल स्वचालित हैकिंग प्रणाली बनाना | Artem Dinaburg | 2016 |
| Cyberdyne - बड़े पैमाने पर स्वचालित बग-खोज | Peter Goodman | 2016 |
| McSema: x86 का LLVM IR में स्थैतिक अनुवाद | Andrew Ruef, Artem Dinaburg | 2014 |
| Michael D. Brown |
| 2023 |
| Exploiting Machine Learning Pickle Files | Carson Harmon, Evan Sultanik, Jim Miller, Suha Sabi Hussain | 2021 |
| PrivacyRaven: Comprehensive Privacy Testing for Deep Learning | Suha Sabi Hussain | 2020 |
| William Woodruff |
| 2022 |
| Python Packaging Mystery Meat | William Woodruff | 2022 |
| Automated Tools for Securing the Software Supply Chain | Michael D. Brown | 2022 |
| Improving PyPI's security with Two Factor Authentication | William Woodruff | 2019 |
| Scroll l2geth [diff] | Aug 2023 | 2 | 📄 |
| Scroll l2geth [initial] | Aug 2023 | 2 | 📄 |
| Scroll ZkEVM Wave 2 | Aug 2023 | 6 | 📄✅ |
| Scroll zkTrie | Jul 2023 | 4 | 📄✅ |
| Scroll ZkEVM Wave 1 | Apr 2023 | 23 | 📄✅ |
| Nomad Enterprise | Nov 2021 | 6 |
| Consul Enterprise | Oct 2021 | 6 |
| Vault Enterprise | Oct 2021 | 6 |
| HashiCorp Cloud | Jun 2021 | 8 |
| Argo | Mar 2021 | 4 | 📛📄 |
| Terraform Cloud | Jan 2021 | 6 |
| Consul | Oct 2020 | 10 |
| Nomad | Aug 2020 | 6 |
| Helm | Aug 2020 | 4 | Helm दूसरा सुरक्षा ऑडिट | 📄 |
| Terraform | Mar 2020 | 6 |
| OPA | Mar 2020 | 2 | ओपन पॉलिसी एजेंट (OPA) स्नातकता प्रस्ताव | 📄 |
| etcd | Jan 2020 | 4 | CNCF | 📄 |
| Rook | Dec 2019 | 2 | CNCF | 📄 |
| Kubernetes | May 2019 | 12 | Google, CNCF | 📛📄📰 |
| Feb 2022 |
| 4 |
| Casper Web Wallet | Jul 2021 | 4 | 📄 |
| Argent | Aug 2020 | 4 |
| Magma | Jun 2020 | 1 | 📄 |
| Dharma Wallet | Oct 2019 | 4 | 📄 |
| ZecWallet | Apr 2019 | 2 | 📄 |
| Web3 | Mar 2018 | 2 | W3F और TOB हार्डवेयर वॉलेट मार्गदर्शन | 💬 |
