업데이트로 돌아가기
UpdatedJul 31, 2026

publications — Updated!

Trail of Bits의 퍼징, 정적 분석, 암호학, 블록체인 보안, 바이너리 분석을 다루는 학술 논문, 백서, 가이드, 컨퍼런스 발표 자료의 선별된 컬렉션입니다.

공유

Trail of Bits의 발간물

학술 논문

논문 제목발표 학술대회발행일
A Broad Comparative Evaluation of Software Debloating ToolsUSENIX Security 20242024
PolyTracker: Whole-Input Dynamic Information Flow TracingISSTA 20242024
Endokernel: A Thread Safe Monitor for Lightweight Subprocess IsolationUsenix Security 20242024
Design and Implementation of a Coverage-Guided Ruby FuzzerCSET 242024
Test Harness MutilationMutation 20242024
VAST: MLIR compiler for C/C++EuroLLVM Devs' Meeting 20242024
PoTATo: Points-to analysis via domain specific MLIR dialectEuroLLVM Devs' Meeting 20242024
Careful with MAc-then-SIGn: A Computational Analysis of the EDHOC Lightweight Authenticated Key Exchange ProtocolEuro S&P 20232023
Weak Fiat-Shamir Attacks on Modern Proof SystemsIEEE S&P 20232023
Endoprocess: Programmable and Extensible Subprocess IsolationNSPW 20232023
CIVSCOPE: Analyzing Potential Memory Corruption Bugs in Compartment InterfacesSOSP KISV 20232023
Detecting variability bugs through hybrid control and data flow analysisLangSec 20232023
Blind Spots: Automatically detecting ignored program inputsLangSec 20232023
Efficient Proofs of Software Exploitability for Real-world ProcessorsPETS 20232023
Toward Comprehensive Risk Assessments and Assurance of AI SystemsarXiv2023
A Broad Comparative Evaluation of x86-64 Binary RewritersCSET 222022
On the Optimization of Equivalent Concurrent ComputationsPLDI EGRAPHS 20222022
Evaluating Static Analysis Tools via Differential MutationQRS 20212021
echidna-parade: Diverse multicore smart contract fuzzingISSTA 20212021
Differential analysis of x86-64 instruction decodersLangSec 20212021
Echidna: effective, usable, and fast fuzzing for smart contractsISSTA 20202020
ICARUS: Understanding De Facto Formats By Way of Feathers and WaxLangSec 20202020
Toward Automated Grammar Extraction via Semantic Labeling of Parser ImplementationsLangSec 20202020
What are the Actual Flaws in Important Smart Contracts?FC 20202020
Echidna: A Practical Smart Contract FuzzerFC 20202020
RSA GTFOPoC||GTFO 0x202020
Manticore: Symbolic Execution for Binaries and Smart ContractsASE 20192019
Slither: A Static Analysis Framework For Smart ContractsWETSEB 20192019
Toward Smarter Vulnerability Discovery Using Machine LearningAISec 20182018
The Past, Present, and Future of CyberdyneIEEE S&P2018
DeepState - Symbolic Unit Testing for C and C++BAR 20182018
Cyber-Deception and Attribution in Capture-the-Flag ExercisesFOSINT-SI 20152015

백서

백서 제목저자발행일
Detecting Implicit Conversions in OpenVPN2 Using CodeQLPaweł PłatekSep 2025
Preventing Account Takeovers on Centralized Cryptocurrency Exchanges Recommended PracticesShaun Mirani, Kelly Kaoudis, and Evan SultanikFeb 2025
Input-Driven Recursion: Ongoing Security RisksAlexis Challande and Brad SwainDec 2024
OpenSearch Benchmark AssessmentEvan Downing, Riccardo Schirone, Francesco Bertolaccini, and Ronald EytchisonAug 2024
Cedar, Rego, and OpenFGA Policy Languages: Comparative Language Security AssessmentIan Smith and Kelly KaoudisAug 2024
Toward Comprehensive Risk Assessments and Assurance of AI-Based SystemsHeidy KhlaafMar 2023
Are Blockchains Decentralized? Unintended Centralities in Distributed LedgersEvan Sultanik et al.Jun 2022
Do You Really Need a Blockchain? An Operational Risk AssessmentEvan Sultanik and Mike MyersJun 2022

가이드 및 핸드북

링크설명
Testing Handbook정적 및 동적 분석 도구를 구성하고 자동화하기 위한 가이드
ZKDocs영지식 증명 시스템에 대한 대화형 문서
Building Secure Smart Contracts안전한 스마트 계약 개발을 위한 모범 사례
CTF Field GuideCapture The Flag 대회에서 우승하기 위한 실전 가이드
Ruby Security Field Guide실용적인 Ruby 보안 가이드

컨퍼런스 발표 자료

자동 버그 탐지 및 취약점 공격

발표 제목저자연도
Finding Hidden Overflows in Go: Fuzzing Beyond the Compiler's LimitsKevin Valerio2026
Buttercup: Autonomously Finding and Fixing Bugs at Scale in Open-Source SoftwareRonald Eytchison2025
Buttercup: The Future of Trail of Bits' Solution to DARPA's AI Cyber ChallengeTrent Brunson2025
Buttercup and DARPA's AI Cyber Challenge, Ringzer0Henrik Brodin, Ronald Eytchison2025
Our experience competing in the AI Cyber ChallengeMichael Brown et al.2025
Buttercup and DARPA's AI Cyber Challenge, CSAWRonald Eytchison2024
Your Mitigations are My OpportunitiesYarden Shafir2023
Detecting variability bugs with hybrid control and data flowKelly Kaoudis, Henrik Brodin, Evan Sultanik2023
Blind Spots: Identifying Exploitable Program InputsHenrik Brodin, Evan Sultanik, and Marek Surovič2023
MLIR is the future of program analysisPeter Goodman2023
A Sermon on the Indulgences of Computational Sacrifice; or, The Superabundant Benedictions of Programming an Absurd NES GameEvan Sultanik2021
Differential analysis of x86-64 instruction decodersWilliam Woodruff, Niki Carroll, Sebastiaan Peters2021
How to find bugs when (ground) truth isn't realWilliam Woodruff2020
Toward Automated Grammar Extraction via Semantic Labeling of Parser ImplementationsCarson Harmon, Brad Larsen, Evan Sultanik2020
The Treachery of Files and Two New Tools that Tame ItEvan Sultanik2019
Symbolically Executing a Fuzzy TyrantStefan Edwards2019
Kernel space fault injection with KRFWilliam Woodruff2019
Binary Symbolic Execution With KLEE-NativeSai Vegasena2019
Going sicko mode on the Linux KernelWilliam Woodruff2019
Vulnerability Modeling with Binary NinjaJosh Watson2018
File Polyglottery; or, This PoC is also a picture of catsEvan Sultanik2017
Be a binary rockstarSophia D'Antoine2017
Symbolic Execution for HumansMark Mossberg2017
The spirit of the 90s is still alive in BrooklynRyan Stortz, Sophia D'Antoine2017
The dream of a static and dynamic analysis shootoutRyan Stortz2016
Binary constraint solving for automatic exploit generationSophia D'Antoine2016
The Smart Fuzzer RevolutionDan Guido2016
Making a scaleable automated hacking systemArtem Dinaburg2016
Cyberdyne - Automatic bug-finding at scalePeter Goodman2016
McSema: Static translation of x86 to LLVM IRAndrew Ruef, Artem Dinaburg2014

블록체인| Slither를 사용한 변이 테스트: 심각도가 높은 이슈를 찾는 새로운 방법 | Guillermo Larregay | 2025 |

| Slither의 Model Context Protocol: 정적 분석으로 LLM에 실측 정보 제공 | Ben Samuels | 2025 | | $1.5B 문제: 거래소가 더 안전한 콜드 스토리지를 구축하는 방법 | Benjamin Samuels | 2025 | | 스마트 계약 감사자가 되는 방법 | nisedo | 2025 | | 테스트를 테스트하라: 테스트의 해야 할 것과 하지 말아야 할 것 | Kurt Willis | 2023 | | Slither: Vyper 및 Solidity용 정적 분석 도구 | Troy Sargent | 2023 | | Roundme: 더 간단해진 반올림 분석 | Josselin Feist | 2023 | | 스마트 계약: 베타 | Nat Chin | 2023 | | 보안 엔지니어처럼 퍼징하기 | Nat Chin | 2023 | | Slither의 Python API로 더 나은 스마트 계약 작성하기 | Troy Sargent | 2022 | | 안전한 Cairo 구축하기 | Filipe Casal, Simone Monica | 2022 | | 프로처럼 퍼징하는 방법 | Josselin Feist, Nat Chin | 2022 | | 퍼징의 신비를 풀다 | Nat Chin | 2022 | | 스마트 계약을 위한 실용적 정적 분석기 구축 | Josselin Feist | 2021 | | 스마트 계약 테스트 및 검증: 이론에서 실무까지 | Josselin Feist | 2021 | | ERC20 토큰과의 안전한 통합 | Josselin Feist | 2021 | | Manticore로 트랜잭션 대체 공격 탐지하기 | Sam Moelius | 2020 | | DeFi 해킹과 미래의 위협: 안전한 프로토콜 설계에서 경제학의 역할 | Dan Guido | 2020 | | 환상적인 버그와 이를 물리치는 방법, 또는 Solidity의 범죄 | Evan Sultanik | 2019 | | SlithIR: Solidity용 IR을 이용한 고정밀 보안 분석 | Josselin Feist | 2019 | | Slither: 스마트 계약용 정적 분석 프레임워크 | Josselin Feist | 2019 | | 블록체인이 제대로 해낸 것 | Dan Guido | 2019 | | 블록체인 기업을 위한 전통적 Infosec | Dan Guido | 2019 | | 스마트 계약의 속성 테스트 | JP Smith | 2018 | | 안전하지 않은 프로그래밍 언어의 해부 | Evan Sultanik | 2018 | | 컨트랙트 업그레이드 위험 및 권장사항 | Josselin Feist | 2018 | | 블랙햇 이더리움 | Ryan Stortz, Jay Little | 2018 | | 블록체인 부검 - 스마트 계약의 죽음 분석 | Jay Little | 2018 | | Rattle - 이더리움 EVM 바이너리 분석 프레임워크 | Ryan Stortz | 2018 | | 이더리움 블록체인에서 가치 보호하기 | Dan Guido | 2018 | | 바이너리 분석, 블록체인을 만나다 | Mark Mossberg | 2018 | | 블록체인을 위한 자동 버그 탐지 | Felipe Manzano, Josselin Feist | 2017 |

컴파일러

암호학

엔지니어링

교육

발표 제목저자(들)연도
Semgrep 소개
Semgrep 연습 문제
Maciej Domański, Matt Schwager, Spencer Michaels2024
대체로 쉬운 LLVM 입문William Woodruff2022
JWT와 그것이 왜 형편없는지Rory M2021
Pwning의 즐거움Sophia D'Antoine2017
CTF 하는 법 - 남의 컴퓨터(OPC)를 얻어 사용하기Jay Little2014
로우레벨 보안Andrew Ruef2014
보안과 당신의 비즈니스Andrew Ruef2014
파티에 아무것도 가져오지 않기Vincenzo Iozzo2013
한 상아탑에서 다른 상아탑으로Vincenzo Iozzo2012

인프라

발표 제목저자(들)연도
100에이커 숲으로의 귀환Stefan Edwards2019
kubectl 물고기와 함께 헤엄치기Stefan Edwards2019

머신러닝

모바일 보안

발표 제목저자(들)연도
Traceroute6를 통한 macOS 권한 상승Paweł Płatek2025
Swift 리버싱Ryan Stortz2016
현대 iOS 애플리케이션 보안Sophia D'Antoine, Dan Guido2016
모바일 익스플로잇 인텔리전스 프로젝트Dan Guido2012
모바일 위협 이야기Vincenzo Iozzo2012

프로그래밍

부채널

발표 제목저자(들)연도
가상화 환경의 하드웨어 부채널Sophia D'Antoine2015
비순차 실행 익스플로잇Sophia D'Antoine2015

공급망

위협 분석 및 멀웨어

발표 제목저자(들)연도
macOS 멀웨어의 'Shlayers' 껍질 벗기기Josh Watson, Erika Noerenberg2019
익스플로잇 인텔리전스 프로젝트 재고찰Dan Guido2013

팟캐스트| 팟캐스트 | 게스트 | 날짜 | 주제 |

| --- | --- | --- | --- | | 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 Cyber Challenge | | 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 Cyber Grand Challenge | | Risky Biz 399 | Dan Guido | Feb 2016 | Apple 대 FBI | | Risky Biz 348 | Dan Guido | Jun 2015 | DARPA Cyber Grand Challenge | | Risky Biz 370 | Dan Guido | Feb 2015 | DARPA Cyber Grand Challenge |

웨비나

제목발표자날짜
감사 전에 수정해야 할 주요 TEE 버그Tjaden Hess, Paul Bottinelli, & Jules DreanDec 2025
안전한 종단간 암호화 시스템 구축Marc Ilunga & Fredrik DahlgrenDec 2025
Wiretap과 Battering RAM 이후: TEE 기반 블록체인 인프라의 변화Tjaden Hess & Andy CampbellNov 2025
MCP 보안 심층 분석: 공격에서 방어까지Keith Hoodlet, Cliff Smith, Vineeth Sai Narajala, Manish BhattJul 2025
보안 감사: Trail of Bits 모범 사례Chris Dahlheimer, Lindsay Rakowski, & Vanessa GennarelliMar 2025
Burp Suite를 활용한 웹 리서치 마스터하기Keith Hoodlet, Cliff Smith, & James KettleJun 2024
CodeQL 소개: 예제, 도구 및 CI 통합Filipe Casal & Fredrik DahlgrenMar 2024
Semgrep 소개Maciej Domanski & Matt SchwagerJan 2024

공개 의견

사례 연구

고객들이 Trail of Bits와 어떻게 협업했는지에 대한 심층 분석: 과제, 당사의 접근 방식, 그리고 결과입니다. 투입 규모는 엔지니어-주(engineer-weeks) 단위로 표시됩니다.

클라이언트초점날짜투입
규모
사례 연구
TurnkeyTEE 및 AWS Nitro Enclaves 인프라Jun 20268📖
Vanta멀티테넌트 격리 아키텍처 검토Nov – Dec 20256📖
ScopelyMonopoly GO! PRNG 공정성 설계 평가Dec 20242📖
Hugging FaceGradio 5.0 출시 전 보안 평가Jun – Jul 20244📖
ScrollzkEVM 회로 보안 검토Apr – Sep 202345.8📖

보안 검토

당사가 수행한 작업에 대해 공개적으로 언급할 수 있도록 허락한 기업들을 이곳에서 확인할 수 있습니다. 더 많은 기업들은 기밀로 유지됩니다.

주요 고객

다음 고객들은 5건 이상의 보안 검토를 Trail of Bits에 의뢰했습니다:

Frax Finance

제품날짜투입
규모
발표보고서
FraxGovMay 20234📄✅
Fraxlend and veFPISJan 20234
Fraxlend and FraxFerryOct 20224📄
FraxMay 20224📄
FraxDec 20214📄
FraxMay 20214📄

MobileCoin

제품날짜투입
규모
발표보고서
MobileCoinJul 20222📄
Fog ProtocolJan 20214📄
MobileCoin BFTOct 20204📄
MobileCoinAug 20204📄

Offchain Labs| 제품 | 날짜 | 투입
수준 | 공지 | 보고서 |

| --- | --: | :-: | --- | :-: | | Offchain Labs Arbitrum ArbOS 60/61 | Jul 2026 | 24 | | 📄 | | Offchain Labs Reward Distributor Fixes | Jun 2026 | 0.8 | | 📄 | | Offchain Labs Stylus SDK | Apr 2026 | 9 | | 📄 | | Offchain Labs Arbitrum Quorum Changes | Feb 2026 | 1.2 | | 📄 | | Offchain Labs Arbitrum Nitro External DA | Jan 2026 | 4 | | 📄✅ | | Offchain Labs Arbitrum ArbOS 50 and 51 (Fusaka) | Dec 2025 | | | 📄 | | Offchain Labs Arbitrum Chains Genesis File Generator | Dec 2025 | 1.6 | | 📄✅ | | Offchain Labs Upgrade Executor | Jul 2025 | 0.2 | | 📄 | | Offchain SetCoreGovernorQuorumAction | Jun 2025 | 1.2 | | 📄 | | Offchain Arbitrum Mint/Burn Precompile | Jun 2025 | 1.8 | | 📄✅ | | 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

Scroll

Uniswap

제품날짜투입
수준
공지보고서
Uniswap v4 CoreJul 20246📄✅
Uniswap Browser ExtensionFeb 20246📄✅
UniswapSep 20234📄✅
Uniswap Mobile WalletAug 20224📄
Uniswap V3 StakerJun 20212
Uniswap V3Mar 202110Uniswap📄

Western Digital

제품날짜투입
수준
공지보고서
ArmorLockApr 20226
Optimus ROMJan 20224
Secure TransportApr 20204
Western Digital Sweet BJan 20204Western Digital📄
SanDisk X600May 20196SanDisk X600의 여러 취약점📄

AI/ML 리뷰

제품날짜투입
수준
공지보고서
YOLOv7Oct 20234📄
SafeTensorsMar 20232📄

암호화 리뷰| 제품 | 날짜 | 작업
수준 | 발표 | 보고서 |

| ---| --: | :-: | --- | :-: | | MAGIC Grants Monero FCMP ++ Crypto | Jul 2026 | 2 | | 📄✅ | | Ripple Labs XRP Ledger Confidential Transfer | Apr 2026 | 6 | | 📄✅ | | HyperLink AWS Nitro TEE | Mar 2026 | 2.2 | | 📄✅ | | Open Home Foundation SecureTar v3 | Mar 2026 | 1 | | 📄✅ | | Obsidian Sync | Dec 2025 | 2 | | 📄✅ | | NEAR One PedPop+ | May 2025 | 4 | | 📄 | | NEAR One MPC Chain Signatures | Mar 2025 | 6 | | 📄 | | NEAR One Robust ECDSA | Feb 2026 | 6.4 | | 📄✅ | | Anza BLS Signatures | Mar 2026 | 1 | | 📄 | | DV Labs Charon Pedersen DKG | Feb 2026 | 2 | | 📄✅ | | Anza Token-2022 Confidential Transfer, Cryptography | Jan 2026 | 7 | | 📄 | | Calyx Institute HSM Provisioning Ceremony Scripts | Jan 2026 | 1 | | 📄✅ | | BSV Blockchain TS-SDK | Jan 2026 | 6 | | 📄✅ | | Bron Labs MCP Library | Jan 2026 | 8 | | 📄✅ | | NEAR One Confidential Key Derivation | Dec 2025 | 4 | | 📄✅ | | Zama | Oct 2025 | 32.2 | | | | DFINITY Orbit | Sep 2025 | 4 | | 📄✅ | | DFINITY Oisy | Sep 2025 | 4 | | 📄✅ | | Google Longfellow | Aug 2025 | 4.6 | | 📄✅ | | Open Quantum Safe liboqs | Apr 2025 | 5 | Open Quantum Safe | 📄 | | Go Crypto Libraries | Mar 2025 | 12 | Go | 📄✅ | | Zkonduit EZKL | Mar 2025 | 11 | EZKL | 📄✅ | | Scopely Monopoly Go! | Dec 2024 | 2 | | 🔖 | | Aligned | Dec 2024 | 3 | | 📄✅ | | Discord DAVE | Sep 2024 | 5 | Discord | 📄✅ | | Discord DAVE | Aug 2024 | 4 | Discord | 📄✅ | | Lit Protocol Cait-Sith | Jun 2024 | 10 | | 📄✅ | | Iron Fish FishHash | Apr 2024 | 1 | Iron Fish | 📄✅ | | AgileBits Snow | Mar 2024 | 4 | | 📄✅ | | Silence Laboratories Silent Shard | Feb 2024 | 5 | | 📄✅ | | Snow | Jan 2024 | 4 | | 📄✅ | | Ockam | Nov 2023 | 11 | Trail of Bits | 📄 | | Dfinity Candid | Nov 2023 | 3 | | 📄✅ | | Axiom Halo2 Library Upgrades | Oct 2023 | 6 | Axiom | 📄✅ | | Aleo snarkVM, snarkOS, BullsharkBFT | Oct 2023 | 18 | Aleo | 📄✅ | | Axiom Halo2 Libraries | Jun 2023 | 14 | Axiom | 📄✅ | | Dfinity ckBTC and BTC Integration | Jun 2023 | 2.5 | 포럼, 블로그 | | | Dfinity SNS Phase 2 | Jun 2023 | 2.5 | 포럼, 블로그 | 📄 | | Thesis tss-lib BitForge | Jun 2023 | 0.2 | Threshold | 📄✅ | | Chainflip | Apr 2023 | 12 | Chainflip | 📄✅ | | Stealth Addresses | Feb 2023 | 2 | | 📄✅ | | Succinct ZK Light Client | Feb 2023 | 8 | Succinct | 📄✅ | | noble-curves Library | Jan 2023 | 2 | | 📄✅ | | ParaSpace | Dec 2022 | 1 | | 📄 | | Phantom Wallet | Nov 2022 | 2 | | | | ParaSpace | Nov 2022 | 7 | | 📄 | | SimpleX Chat | Oct 2022 | 1 | SimpleX | 📄 | | Dfinity | Sep 2022 | 4 | 포럼, 블로그 | 📄✅ | | Aleo snarkVM | Sep 2022 | 12 | | 📄✅ | | Microsoft/Verasion Go-COSE | Jul 2022 | 4 | | 📄✅ | | BLS Signature Scheme | Jul 2022 | 1 | | | | Binance CGGMP21 and FROST | May 2022 | 8 | | | | Aleo snarkVM & snarkOS | Apr 2022 | 12 | | | | Phantom Wallet | Apr 2022 | 4 | | | | Parallel Finance | Mar 2022 | 6 | | 📄 | | Polkadex | Feb 2022 | 10 | | | | Linux Kernel | Apr 2021 | 2 | 릴리스 서명 및 관리 | 📄 | | Standard Notes | Mar 2020 | 1 | Standard Notes | 📄 | | Project Callisto | Aug 2018 | 5 | | |

기술 제품 리뷰| 제품 | 날짜 | 작업량
수준 | 발표 | 보고서 |

| --- | --: | :-: | --- | :-: | | PyTorch ExecuTorch | Jun 2026 | 9 | OSTIF| 📄✅ | | Turnkey Key Management System | Jun 2026 | 8 | | 📄✅ | | Persona Identities Claims Verification | May 2026 | 3 | | 🔖 | | PyPI Warehouse | Apr 2026 | 6 | | 📄 | | Propeller Heads Turbine Front End and SDK | Mar 2026 | 2 | | 📄✅ | | Propeller Heads Turbine | Mar 2026 | 8 | | 📄✅ | | Zoo Text-to-CAD Platform | Mar 2026 | 4 | | 📄✅ | | iVerify | Jun 2026 | 2 | | 📄✅ | | X XChat | Oct 2025 | 4 | | 📄✅ | | Edera Runtime Container | Oct 2025 | 4 | | 📄 | | Meta WhatsApp Private Processing | Aug 2025 | 12 | WhatsApp, Trail of Bits | 📄✅ | | Discord E2EE WebAssembly | Jun 2025 | 3 | | 📄 | | libVLC | May 2025 | 5 | | 📄 | | NATS Server | Feb 2025 | 6 | | 📄✅ | | Istio Ztunnel | Dec 2024 | 2 | OSTIF, Istio | 📄✅ | | RubyGems.org | Dec 2024 | 5 | | 📄 | | Kraken Wallet In-App Browser | Nov 2024 | 4 | | 📄✅ | | Kraken Wallet iCloud Backup | Sep 2024 | 2 | | 📄✅ | | Hugging Face Gradio | Jul 2024 | 4 | Hugging Face, Trail of Bits | 📄✅ | | Zoo KittyCAD | Jun 2024 | 4.6 | | 📄✅ | | Polygon Labs Iden3 Circuits | May 2024 | 2 | | 📄✅ | | Kraken Mobile Wallet | Jan 2024 | 7 | Kraken| 📄✅ | | Eclipse Temurin | Dec 2023 | 4 | 응답, OSTIF, Eclipse Foundation | 📄✅ | | Arch Linux Pacman | Dec 2023 | 2 | OTF | 📄✅ | | cURL HTTP3 | Dec 2023 | 4 | OSTIF, Daniel Stenberg | 📄 | | Lisk SDK 6.1 modules | Sep 2023 | 4 | | 📄✅ | | OpenSSL | Sep 2023 | 9 | OSTIF, OpenSSL | 📄✅ | | PyPI Warehouse | Sep 2023 | 10 | PyPI, Trail of Bits | 📄✅ | | wasmCloud | Sep 2023 | 6 | | 📄✅ | | Worldcoin | Aug 2023 | 6 | | 📄✅ | | Homebrew | Aug 2023 | 6 | | 📄 | | DigitalOcean OIDC | Aug 2023 | 4 | | 📄 | | Flux | Aug 2023 | 4 | OSTIF, Flux | 📄✅ | | Lisk SDK | Jul 2023 | 30 | | 📄✅ | | DragonFly2 | Jul 2023 | 4 | Dragonfly, OSTIF | 📄✅ | | Eclipse JKube | May 2023 | 5 | OSTIF, Eclipse | 📄✅ | | Chainflip | Apr 2023 | 12 | Chainflip | 📄✅ | | Eclipse Mosquitto | Mar 2023 | 4 | OSTIF, Eclipse | 📛📄✅ | | Eclipse Jetty | Mar 2023 | 6 | Jetty, Eclipse | 📄✅ | | Spool Platform | Mar 2023 | 8 | | 📄✅ | | Redpanda Platform | Jan 2023 | 4 | | | | Injective Labs Options Market | Jan 2023 | 4 | | | | OpenVPN3 | Jan 2023 | 6 | | | | OpenVPN2 | Dec 2022 | 4 | OpenVPN | 📄✅ | | OpenArchive Save (Android) | Dec 2022 | 1 |OpenArchive Save | 📄✅ | | Enclave Markets | Nov 2022 | 9 | | | | Fiat Ramps | Nov 2022 | 4 | | | | cURL | Oct 2022 | 9.5 | OSTIF, Daniel Stenberg. Trail of Bits | 📄✅📛 | | CloudEvents | Oct 2022 | 4 | OSTIF | 📄 | | OpenArchive Save (iOS) | Oct 2022 | 1.2 |OpenArchive Save | 📄✅ | | AlphaSOC API | Sep 2022 | 1 | | 📄✅ | | Consul Enterprise | Sep 2022 | 6 | | | | snarkVM | Sep 2022 | 12 | | 📄✅ | | Hashicorp Boundary | Jul 2022 | 6 | | | | Skiff | Jul 2022 | 6 | | | Terraform Cloud | Jun 2022 | 6 | | | | Datadog | May 2022 | 6 | | | | MATTR | May 2022 | 4 | | | | ArmorLock | Apr 2022 | 6 | | | | DigitalOcean Function | Apr 2022 | 4 | | | | Auvik Collector | Apr 2022 | 8 | | | | Fuchsia Platform | Mar 2022 | 8 | | | Optimus ROM | Jan 2022 | 4 | | | | BitcoinBeach | Mar 2022 | 4 | | 📄 | | osquery | Jan 2022 | 6 | | 📄 | | Redjack | Dec 2021 | 2 | | | DigitalOcean Cloud | Nov 2021 | 12 | | | SpruceID | Oct 2021 | 12 | | 📄 | | Doppler | Sep 2021 | 4 | | | Datadog Agent | Aug 2021 | 8 | | | Appian | Jun 2021 | 4 | | | | Cashero-2.0 | Jun 2021 | 4 | | | | Orbit | Apr 2021 | 1 | | | | VGS Proxy | Apr 2021 | 4 | | | | Skiff | Feb 2021 | 4 | | | | CircleCI Server 3.0 | Jan 2021 | 6 | CircleCI 침투 테스트 | | BitMEX | Jan 2021 | 4 | | | | SecureDrop | Dec 2020 | 8 | SecureDrop Workstation 2차 감사 | 📄 | | Citizen Browser | Dec 2020 | 0.43 | Facebook Inspector를 만든 방법| | Ren | Aug 2020 | 4 | 8월 개발 업데이트 | 📄 | | Hey.com | Jun 2020 | 1 | 진지한 보안 | 📄 | | Azure Sphere | Jun 2020 | 12 | Azure Sphere 20.07 보안 개선 사항 | | Zoom | May 2020 | 9 | 90일 완료, Zoom의 다음 단계는? | | Secure Transport | Apr 2020 | 4 | | | | ZeroTier 2.0 | Mar 2020 | 2 | ZeroTier | 📄 | | Voatz | Feb 2020 | 12 | Voatz, Tusk | 📄📛 | | Vault | Feb 2020 | 12 | | | | Voice | Jan 2020 | 4 | | | | Azure Sphere | Jun 2019 | 12 | | | | zlib | Sep 2016 | 1 | | 📄 |

클라우드 네이티브 리뷰

불변식 테스트 및 개발 과제

제품날짜작업량
수준
발표보고서공개 스위트
PanopticMay 20249📄
CurvanceMar 20245📄공개 불변식

블록체인 리뷰

지갑 리뷰

Algorand

제품날짜작업량
수준
발표보고서
Folks Finance ProtocolNov 20226📄✅
wXTZNov 20204📄
wALGONov 20204📄
Meld GoldJul 20202
PixelDec 20194
AlgorandMar 201914Algorand의 성공과 모멘텀

Avalanche

제품날짜작업량
수준
발표보고서
Ava Labs AvalancheGoAug 202510📄
Alkimiya Silica V2Jun 20226
Ava LabsApr 20228
Flare NetworkMar 20218

비트코인 및 파생상품| 제품 | 날짜 | 노력
수준 | 공지 | 보고서 |

| ---| --: | :-: | --- | :-: | | ZetaChain Bitcoin Inscriptions | 2025년 1월 | 2 | | 📄✅ | | Nomic | 2024년 11월 | 10 | Nomic | 📄✅ | | STAS SDK | 2021년 10월 | 4 | | | | STAS-JS SDK | 2021년 9월 | 4 | | | | Bitcoin SV | 2021년 1월 | 6 | | | | Zcoin | 2020년 7월 | 2 | Zcoin | 📄 | | Zcash | 2020년 4월 | 3 | Electric Coin Co. | 📄 | | Zcash | 2019년 11월 | 6 | NU3, Blossom 및 Sapling 보안 리뷰| 📄 | | Zcash | 2019년 11월 | 6 | | 📄 | | Paymail Protocol | 2019년 11월 | 7 | | | | Simple Ledger | 2019년 10월 | 3 | | | | Bitcoin SV | 2018년 11월 | 12 | | | | RSKj | 2017년 11월 | 6 | RSK 보안 감사 결과 | 📄 |

Ethereum/EVM| 제품 | 날짜 | 작업
수준 | 발표 | 보고서 |

| ---| --: | :-: | --- | :-: | | Arcus Labs Rootchain v5 Smart Contracts | Jun 2026 | 2 | | 📄✅ | | Kiln Lagoon Vault Diff Review | May 2026 | 1 | | 📄✅ | | Franklin Templeton BenjiSwap Differential Review | Apr 2026 | 1.2 | | 📄✅ | | Gensyn Buyback-and-Burn Vault | Apr 2026 | 1 | | 📄✅ | | Gensyn Bridged Token | Apr 2026 | 0.2 | | 📄 | | Gensyn ERC-20 Token | Sep 2025 | 0.2 | | 📄 | | Gensyn Delphi Dynamic Paramutuel Markets | Apr 2026 | 3.4 | | 📄✅ | | Shape TokenLock | Mar 2026 | 0.4 | | 📄✅ | | Aave v4 | Feb 2026 | 6 | | 📄✅ | | VeChain VeChainThor Hayabusa Upgrade | Oct 2025 | 6 | | 📄✅ | | 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 | 새로운 개척지 | | | 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

제품날짜투입
수준
공지보고서
xUDT2021년 6월2
Nervos -RSA2021년 3월4
Cheque Cell & ORU2021년 2월8
Force Bridge - Solidity2021년 2월4
Force Bridge - Rust2021년 2월3
Nervos SUDT2020년 10월6📄

Starknet

제품날짜투입
수준
공지보고서
Opus2023년 12월8📄✅
Aura2023년 8월8📄✅
Nostra2022년 12월8
StarkGate2022년 12월2
StarkEx2022년 10월1
StarkNet token2022년 7월1
StarkPerpetual2022년 1월8
StarkEx2021년 11월8

Solana

Substrate

제품날짜투입
수준
공지보고서
zkVerify2025년 2월3📄
ParaSpace2022년 12월1📄
ParaSpace2022년 11월7📄
Parallel Finance2022년 3월6📄
Polkadex2022년 2월10
Polkadex2021년 12월4
PINT2021년 9월4
Polkaswap2021년 8월6📄
AlephBFT2021년 6월4📄
Acala Network2021년 6월4
Compound Chain2021년 5월6
Acala Network2021년 1월6📄
Parity Fether2019년 8월4
Parity2018년 7월12Parity, Trail of Bits 보안 검토 완료📄

Tendermint/Cosmos

제품날짜투입
수준
공지보고서
Orga and Merk2024년 11월10Orga & Merk Trail of Bits 보안 감사📄✅
Berachain polaris-geth2023년 8월8
Berachain berachain2023년 6월6
Umee2022년 2월8📄
Columbus-52022년 1월2
IBC Protocol2021년 12월4
THORChain2021년 8월12
Tendermint2019년 3월12
ndau2018년 11월8정책 위원회

Tezos

제품날짜투입
수준
공지보고서
Kolibri2022년 4월4
Tezori (T2)2020년 12월4📄
Dexter2020년 6월4📄
Tezori2018년 7월2보안 검토를 수행한 @trailofbits에게 감사드립니다

TON

기타/멀티체인

제품날짜투입
수준
공지보고서
Mina Decentralized Treasury2026년 6월4.6📄✅
EthStaker Deposit CLI2026년 3월1📄✅
Chainlink LlamaRisk LlamaGuard NAV CRE2026년 2월1📄✅
Chainlink Custom Senders and Receivers2025년 2월4📄✅
Shape Gasback2025년 1월2📄✅
PixelSwap DEX2024년 12월6📄✅
Arkis Prime2024년 12월5📄✅
Franklin Templeton Aptos2024년 10월3📄✅
Wormhole Governors and Watchers2023년 3월8📄✅
DFINITY Canister Sandbox2022년 9월2📄
DFINITY ECDSA/BTC2022년 9월4📄
FROST BLS Protocols2022년 7월12
SORA Trustless Bridge2022년 7월8
CAT Standard2022년 6월8
DFINITY Threshold ECDSA2022년 5월8
Arbitrum Nitro2022년 3월16
DeGate2022년 2월4📄
ShardX2021년 12월2
DeGate2021년 12월4
Threshold-DSA2021년 11월6
DFINITY Consensus2021년 11월2DFINITY📄
PolySign HSM2021년 10월6
Hop Protocol V22021년 9월4
Golden Gate Library2021년 9월1
PolySign2021년 9월6
Qredo Blockchain2021년 9월6
Arbitrum2021년 9월16
go-schnorrkel2021년 8월4
ShardX2021년 8월4
AElf2021년 7월4
CrossChain-Bridge2021년 7월8
DFINITY2021년 5월24📄
Open Oracle2021년 4월2
Arbitrum V22021년 2월8
eFIL2021년 1월2
Highway Consensus2020년 11월4CasperLabs📄
Stacks V22020년 9월6
VRFs2020년 8월2
Celo Oracle2020년 7월2📄
Arbitrum2020년 7월6
MYKEY2020년 7월4
Symbol2020년 7월4Symbol📄
Ledger Filecoin2020년 7월2📄
Chainlink2020년 6월8
Chainlink Flux2020년 5월4
Elrond2020년 3월6
EOSIO SDK2020년 1월4
NEAR Protocol2019년 11월8
EOSIO 2.02019년 10월8
Status-go2019년 10월9
Celo2019년 9월8
Blockchain.com2019년 8월4
RandomX2019년 6월2Monero와 Arweave, RandomX 검증 예정📄
Interest Token2019년 5월0.28
Loom2019년 5월10Loom SDK 2019년 1분기 보안 감사
Building Blocks2018년 8월7UN WFP, 10만 명의 난민 지원에 이더리움 사용

취약점 공개 및 익스플로잇

익스플로잇 저장소도 확인하세요.

이름제품발견자연도ID블로그
protobuf-python의 서비스 거부protobuf-pythonAlexis Challande2025CVE-2025-4565
기밀 VM용 LUKS2 디스크 암호화의 취약점Linux LUKS2Tjaden Hess2025CVE-2025-59054, CVE-2025-58356💬
AI 에이전트의 프롬프트 인젝션을 통한 RCEAI 에이전트(여러 플랫폼)Will Vandevanter2025💬

Read more

카테고리