trailofbits / publicationsLinks
Publications from Trail of Bits
☆1,753Updated this week
Alternatives and similar repositories for publications
Users that are interested in publications are comparing it to the libraries listed below
Sorting:
- Symbolic execution tool☆3,833Updated 2 months ago
- A curated list of awesome Ethereum security references☆1,450Updated last year
- A curated list of blockchain security Capture the Flag (CTF) competitions☆1,623Updated last year
- Ethereum smart contract fuzzer☆3,072Updated this week
- EVM dissassembler☆860Updated 2 years ago
- Smart Contract Weakness Classification and Test Cases☆896Updated last year
- Semgrep rules for smart contracts based on DeFi exploits☆705Updated 8 months ago
- Comprehensive list of known attack vectors and common anti-patterns☆1,515Updated 3 years ago
- A Docker container preconfigured with all of the Trail of Bits Ethereum security tools.☆731Updated 5 months ago
- Securify v2.0☆629Updated 8 months ago
- ☆744Updated last year
- Security Analysis tool for WebAssembly module (wasm) and Blockchain Smart Contracts (BTC/ETH/NEO/EOS)☆488Updated 2 years ago
- Smart Contract Security Verification Standard☆627Updated 3 years ago
- A summary and solutions for 200+ CTF blockchain challenges☆1,062Updated 3 months ago
- A collection of smart contract vulnerabilities along with prevention methods☆2,312Updated 2 months ago
- evm binary static analysis☆368Updated 2 years ago
- Examples of Solidity security issues☆2,226Updated 2 years ago
- Guidelines and training material to write secure smart contracts☆2,445Updated 2 weeks ago
- Directory of security contacts for blockchain companies☆406Updated last year
- Official repository for Paradigm CTF 2021☆543Updated 3 years ago
- A curated list of Smart Contract Security materials and resources For Researchers☆856Updated 2 years ago
- A set of utilities for exploring Solidity contracts☆1,173Updated 7 months ago
- Offensive vulnerability scanner for ethereum, and symbolic execution tool for the Ethereum Virtual Machine☆345Updated 3 years ago
- A Solidity smart contract auditing checklist☆364Updated 2 years ago
- SmartCheck – a static analysis tool that detects vulnerabilities and bugs in Solidity programs (Ethereum-based smart contracts).☆395Updated 2 years ago
- ☆268Updated 2 years ago
- Ethereum Virtual Machine (EVM) disassembler and assembler☆385Updated last week
- SmartBugs: A Framework to Analyze Ethereum Smart Contracts☆659Updated 3 weeks ago
- JiuZhou is a data set of Ethereum bug smart contracts (ICSME 2020).☆232Updated 5 years ago
- Smart Contract Vulnerabilities (SCV) List☆507Updated 2 years ago