Skip to content
KitploitKITPLOIT
도구익스플로잇블로그
Log in
제출
도구익스플로잇블로그
제출

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

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

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

도구 디렉토리

카테고리

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

인기

모두 보기 →

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

모든 도구 탐색

도구 컬렉션을 둘러보세요

모든 도구 보기 →
trailofbits/publications

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 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
도구 다운로드