Skip to content
KitploitKITPLOIT
도구블로그
제출
도구블로그
제출

해킹, 침투 테스트 및 사이버 보안 도구를 당신의 보안 무기고에!

Kitploit은 해킹, 사이버 보안 및 침투 테스트 도구 디렉토리입니다. 최신 프로젝트 업데이트를 발견하여 취약점을 찾고, 시스템을 분석하고, 테스트를 자동화하고, 보안을 강화하세요.

··피드·문의·개인정보·© 2026 Kitploit

도구 디렉토리

카테고리

모든 카테고리 보기
Loading categories
publications — Trail of Bits의 발행물 | Kitploit
도구/GitHubGitHub/trailofbits/publications
Static AnalysisFuzzingCryptographyCTFBinary AnalysisPapers & ResearchLearning & EducationCurated ResourcesPapers & Research #4위
GitHubtrailofbits/publications
1.9k23585일 전Kitploit 검토 완료

인기

모두 보기 →

커뮤니티에서 가장 많이 사용되는 도구를 찾아보세요.

모든 도구 탐색

도구 컬렉션을 둘러보세요

모든 도구 보기 →

publications

Trail of Bits의 발행물

저장소 보기웹사이트
공유

Trail of Bits의 발간물

  • Trail of Bits의 발간물
    • 학술 논문
    • 백서
    • 가이드 및 핸드북
    • 컨퍼런스 발표 자료
      • 자동 버그 탐지 및 취약점 공격
      • 블록체인
      • 컴파일러
      • 암호학
      • 엔지니어링
      • 교육
      • 인프라
      • 머신러닝
      • 모바일 보안
      • 프로그래밍
      • 부채널
      • 공급망
      • 위협 분석 및 악성코드
    • 팟캐스트
    • 웨비나
    • 공개 의견
    • 사례 연구
    • 보안 검토
      • 주요 고객사
        • Frax Finance
        • MobileCoin
        • Offchain Labs
        • Reserve Protocol
        • Scroll
        • Uniswap
        • Western Digital
      • AI/ML 검토
      • 암호학 검토
      • 기술 제품 검토
      • 클라우드 네이티브 검토
      • 불변성 테스트 및 개발 계약
      • 블록체인 검토
        • 지갑 검토
        • Algorand
        • Avalanche
도구 다운로드
  • 비트코인 및 파생상품
  • Ethereum/EVM
  • NervOS
  • Starknet
  • Solana
  • Substrate
  • Tendermint/Cosmos
  • Tezos
  • TON
  • 기타/멀티체인
  • 공개 취약점 및 익스플로잇
  • 워크숍
  • 데이터셋
  • 서비스 개요
  • 범례
  • 학술 논문

    논문 제목발표 학술대회발행일
    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 2023

    백서

    백서 제목저자발행일
    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č

    블록체인| 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 |

    컴파일러

    발표 제목저자(들)연도
    LLVM의 상수 시간 코딩 지원Julius Alexandre2025
    소프트웨어 디블로팅 도구에 대한 광범위한 비교 평가Michael D. Brown, Adam Meily, Eric Kilmer, Ronald Eytchison2024
    MLIR에서 LLVM 분석 재활용: IR 계층을 오가는 여정Henrich Lauko2024
    VAST: C/C++ 프로그램 분석을 위한 MLIRHenrich Lauko2022
    x86-64 바이너리 재작성 도구에 대한 광범위한 비교 평가Michael D. Brown2022
    동등한 동시 계산의 최적화에 대하여Henrich Lauko, Lukáš Korenčik, Peter Goodman2022

    암호학

    발표 제목저자(들)연도
    QUIC로 직행: 해시 DoS로 QUIC 성능을 깎아내리기Paul Bottinelli2025
    하나, 둘, TEE: 숫자에 대한 신뢰와 하드웨어 보안의 만남Paul Bottinelli2025
    현대 증명 시스템에 대한 취약한 Fiat-Shamir 공격Jim Miller2024
    PyCA Cryptography용 Rust 기반 경로 검증 라이브러리 구축William Woodruff2024
    Python용 X.509 경로 검증 구현William Woodruff2024
    MAc-then-SIGn에 주의하세요Marc Ilunga2023
    죽어라, PGP, 죽어라William Woodruff2022
    진심으로, RSA 사용을 중단하세요Ben Perez2019
    Python 암호화 모범 사례Paul Kehrer2019
    Flame의 MD5 충돌 분석Alex Sotirov2012

    엔지니어링

    발표 제목저자(들)연도
    반복 가능한 벤치마킹: OpenSearch와 Elasticsearch 비교 탐구Evan Downing2025
    증거 기반 보안 엔지니어링Dan Guido2019
    osquery를 활용한 Linux 보안 이벤트 모니터링Alessandro Gario2019
    osql: 커뮤니티 중심의 osquery 포크Stefano Bonicatti, Mark Mossberg2019
    osquery 시작하기Lauren Pearl, Andy Ying2018
    osquery 슈퍼 기능Lauren Pearl2018
    osquery 확장 스컹크웍스Mike Myers2018
    만들고, 부수고, 고치기Andrew Ruef2014

    교육

    발표 제목저자(들)연도
    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

    머신러닝

    발표 제목저자(들)연도
    우리가 Trail of Bits를 AI 네이티브로 만든 방법(지금까지는)Dan Guido2026
    프로덕션 AI 시스템을 겨냥한 이미지 스케일링의 무기화Kikimora Morozova, Suha Sabi Hussain2025
    간접 프롬프트 인젝션: 실제 AI/ML 시스템을 위한 아키텍처 테스트 접근법Will Vandevanter2025
    폴리글롯에서 프롬프트 인젝션까지: 파싱은 여전히 실행이다(그리고 당신의 LLM은 그 메모를 받지 못했다)Evan Sultanik2025
    사이버보안의 프론티어 AI: 위험과 기회Dan Guido, Riccardo Schirone2025
    AI와 보안의 현재와 미래Evan Downing2024
    잠복형 머신러닝 익스플로잇: 입력 처리 버그를 이용한 ML 파이프라인 백도어Suha Sabi Hussain2024
    종합적 ML 위협 모델Adelin Travers2024
    소프트웨어 분석을 위한 그래프 기반 머신러닝 알고리즘 활용Michael D. Brown2023
    머신러닝 Pickle 파일 익스플로잇

    모바일 보안

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

    프로그래밍

    발표 제목저자(들)연도
    Python 내부 구조 - dict에 대해 이야기해 봅시다Dominik Czarnota2019
    Pwndbg를 이용한 로우레벨 디버깅Dominik Czarnota2018
    Python에서 피해야 할 안전하지 않은 것들Dominik Czarnota2018

    부채널

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

    공급망

    발표 제목저자(들)연도
    Attestation: PyPI에서의 새로운 세대의 서명William Woodruff2025
    PyPI 공급망 보안의 향후 5년William Woodruff2024
    PEP 740과 PyPI: Python 생태계를 위한 출처(Provenance) 부트스트래핑William Woodruff2024
    PyPI의 제로 트러스트 미래 상상하기William Woodruff2024
    빌드 출처: Homebrew에서 얻은 교훈(지금까지)Joe Sweeney2024
    전체 패키징 생태계를 위한 코드 서명은 어떤 모습일까?William Woodruff2023
    Trusted Publishing으로 패키지 생태계 보안 강화William Woodruff2023
    Trusted Publishing: PyPI에서 얻은 교훈William Woodruff2023
    Sigstore로 Python 생태계를 위한 사용자 친화적 코드 서명William Woodruff2023
    Python 패키징을 위한 Sigstore: 도입을 위한 다음 단계William Woodruff

    위협 분석 및 멀웨어

    발표 제목저자(들)연도
    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

    공개 의견

    주제기관날짜
    AI/ML 운영을 위한 자동화된 인공지능 자재 명세서U.S. Army PEO IEW&SDec 2023
    오픈소스 소프트웨어 보안: 장기적 중점 및 우선순위 영역ONCD, CISA, NSF, DARPA, OMBNov 2023
    AI의 국가 안보 영향 이해Whitehouse OTSPJul 2023
    AI 책임성, 규제 및 감사NTIAJun 2023
    윤리적, 법적, 사회적 영역에서 AI 보증을 위한 종합적 위험 평가 프레임워크DARPAJun 2023
    암호화폐 시장 보안 이해CFTCMar 2023
    침입 및 감시 소프트웨어 규제Commerce DeptJul 2015

    사례 연구

    고객들이 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

    제품날짜투입
    수준
    공지보고서
    Reserve Protocol Solidity 4.0.0Jun 20253.6📄✅
    Reserve Protocol Solana DTFsApr 20252📄✅
    Reserve Folio Solidity-Based ContractsApr 20252📄✅
    Reserve ProtocolAug 20228📄, ✅
    Reserve ProtocolMar 20191📄

    Scroll

    제품날짜투입
    수준
    공지보고서
    Scroll Feynman Upgrade Smart Contract ChangesJul 20251📄
    Scroll Euclid Phase 2Apr 20254Scroll📄✅🔖
    Scroll Euclid Phase 1Apr 20253Scroll📄✅🔖
    Scroll zstd CompressionJun 202412📄✅
    Scroll ZkEVM 4844 BlobApr 20246📄✅
    Scroll ZkEVM Wave 3Sep 20239📄✅

    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 | | 📄 |

    클라우드 네이티브 리뷰

    제품날짜작업량
    수준
    발표보고서
    KEDADec 20226OSTIF📄
    Terraform EnterpriseNov 20226
    Nomad EnterpriseNov 20226
    HashiCorp CloudJun 20229
    TektonMar 20224Tekton 보안 리뷰 완료📄
    LinkerdFeb 20224📛📄✅
    CoreDNSJan 20224📄
    Terraform EnterpriseNov 20216

    불변식 테스트 및 개발 과제

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

    블록체인 리뷰

    지갑 리뷰

    제품날짜작업량
    수준
    발표보고서
    Gemini Smart WalletAug 20254📄✅🔖
    Otim Smart WalletMar 20253📄✅
    dappOS v2 walletJul 20233📄✅
    WalletConnect v2.0Mar 20234WalletConnect📄✅
    Phantom WalletNov 20222
    GameStop iOS Web WalletNov 20221
    GameStop WalletMar 20222GameStop wallet
    RAILGUN

    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

    제품날짜투입
    수준
    공지보고서
    Telcoin Solana Peg Stability Vault2026년 5월1.2📄✅
    Jobcoin Clock-in Program2026년 3월0.6📄✅
    Anza Token-2022 Confidential Transfer, Blockchain2026년 1월3📄
    Franklin Templeton Benji Contracts2025년 2월2📄✅
    ZetaChain Solana Gateway2025년 1월1📄✅
    Solang Code Generation2023년 11월4📄
    Solang Code Generation, Part 12023년 11월2📄

    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

    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

    제품날짜투입
    수준
    공지보고서
    TONCO CLAMM DEX v1.62026년 1월11TONCO v1.6 출시📄✅
    EVAA Finance2025년 8월8.6📄✅
    Swap Coffee TON DEX2025년 7월6📄✅
    FIVA Yield Protocol2025년 5월6📄✅
    FIVA Evaa Integration2025년 5월6📄✅
    Whales Holders2025년 5월4📄✅
    Whales Nominators2025년 5월4📄✅

    기타/멀티체인

    제품날짜투입
    수준
    공지보고서
    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 Aptos

    취약점 공개 및 익스플로잇

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

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

    Read more

    2023
    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
    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
    Carson Harmon, Evan Sultanik, Jim Miller, Suha Sabi Hussain
    2021
    PrivacyRaven: 딥러닝을 위한 종합적인 프라이버시 테스트Suha Sabi Hussain2020
    2022
    정체불명의 Python 패키징William Woodruff2022
    소프트웨어 공급망 보안을 위한 자동화 도구Michael D. Brown2022
    2단계 인증으로 PyPI 보안 개선William Woodruff2019
    Scroll l2geth [diff] Aug 20232📄
    Scroll l2geth [initial]Aug 20232📄
    Scroll ZkEVM Wave 2Aug 20236📄✅
    Scroll zkTrieJul 20234📄✅
    Scroll ZkEVM Wave 1Apr 202323📄✅
    Nomad EnterpriseNov 20216
    Consul EnterpriseOct 20216
    Vault EnterpriseOct 20216
    HashiCorp CloudJun 20218
    ArgoMar 20214📛📄
    Terraform CloudJan 20216
    ConsulOct 202010
    NomadAug 20206
    HelmAug 20204Helm 2차 보안 감사📄
    TerraformMar 20206
    OPAMar 20202Open Policy Agent (OPA) 졸업 제안📄
    etcdJan 20204CNCF📄
    RookDec 20192CNCF📄
    KubernetesMay 201912Google, CNCF📛📄📰
    Feb 2022
    4
    Casper Web WalletJul 20214📄
    ArgentAug 20204
    MagmaJun 20201📄
    Dharma WalletOct 20194📄
    ZecWalletApr 20192📄
    Web3Mar 20182W3F 및 TOB 하드웨어 지갑 가이드💬
    Squads V42023년 10월2Squads📄✅
    Solang Parser and Semantic Analysis2023년 9월2📄
    Solang Solana Library2023년 7월1📄
    Token-2022 Program2023년 2월1📄✅
    Drift Protocol2022년 12월6Drift📄✅
    Solana2022년 4월12
    📄
    Acala Network2021년 6월4
    Compound Chain2021년 5월6
    Acala Network2021년 1월6📄
    Parity Fether2019년 8월4
    Parity2018년 7월12Parity, Trail of Bits 보안 검토 완료📄
    STON.fi DEX V22025년 1월8📄✅
    Tact Compiler2025년 1월8📄✅
    TON Foundation Multisignature Wallet2024년 3월4📄✅
    2024년 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만 명의 난민 지원에 이더리움 사용