trailofbits / publicationsLinks
Publications from Trail of Bits
☆1,631Updated 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,782Updated last year
- A curated list of awesome Ethereum security references☆1,393Updated 11 months ago
- Ethereum smart contract fuzzer☆2,962Updated this week
- EVM dissassembler☆854Updated last year
- A curated list of blockchain security Capture the Flag (CTF) competitions☆1,587Updated last year
- Smart Contract Weakness Classification and Test Cases☆880Updated last year
- Comprehensive list of known attack vectors and common anti-patterns☆1,485Updated 2 years ago
- Securify v2.0☆618Updated 2 months ago
- Semgrep rules for smart contracts based on DeFi exploits☆691Updated 2 months ago
- A Docker container preconfigured with all of the Trail of Bits Ethereum security tools.☆711Updated 4 months ago
- Smart Contract Security Verification Standard☆630Updated 2 years ago
- Ethereum Virtual Machine (EVM) disassembler and assembler☆379Updated last year
- Official repository for Paradigm CTF 2021☆540Updated 2 years ago
- Guidelines and training material to write secure smart contracts☆2,385Updated 3 weeks ago
- ☆721Updated last year
- A collection of smart contract vulnerabilities along with prevention methods☆2,191Updated 3 weeks ago
- evm binary static analysis☆361Updated last year
- Security Analysis tool for WebAssembly module (wasm) and Blockchain Smart Contracts (BTC/ETH/NEO/EOS)☆487Updated last year
- SmartCheck – a static analysis tool that detects vulnerabilities and bugs in Solidity programs (Ethereum-based smart contracts).☆384Updated 2 years ago
- Examples of Solidity security issues☆2,213Updated 2 years ago
- A set of utilities for exploring Solidity contracts☆1,150Updated last month
- JiuZhou is a data set of Ethereum bug smart contracts (ICSME 2020).☆231Updated 4 years ago
- A summary of 200+ CTF blockchain challenges☆971Updated last week
- Offensive vulnerability scanner for ethereum, and symbolic execution tool for the Ethereum Virtual Machine☆344Updated 3 years ago
- A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected☆628Updated last year
- A symbolic testing tool for EVM smart contracts☆921Updated last week
- Smart contracts which are formally verified☆739Updated 2 years ago
- SmartBugs: A Framework to Analyze Ethereum Smart Contracts☆625Updated this week
- The smart contract security training ground for developers, security researchers and educators.☆1,161Updated 4 months ago
- Directory of security contacts for blockchain companies☆408Updated 6 months ago