Stars
Pre-built security properties for common Ethereum operations
Visualize call graph of a Go program using Graphviz
A gently curated list of companies using verification formal methods in industry
"Multi-Level Intermediate Representation" Compiler Infrastructure
A curated collection of resources on smart contract programming languages
Smart Contract Weakness Classification and Test Cases
Verified contracts synced from Etherscan
A curated collection of links for economists
An awesome curated list of Cryptoeconomic research and learning materials
Adversarial Robustness Toolbox (ART) - Python Library for Machine Learning Security - Evasion, Poisoning, Extraction, Inference - Red and Blue Teams
ROPium is a tool that helps you building ROP exploits by finding and chaining gadgets together
A curated list of academic blockchain-related papers
A list of public penetration test reports published by several consulting firms and academic security groups.
Repository dedicated to listing current bug bounty programs in the Ethereum ecosystem
Repository for community provided Binary Ninja plugins
A python utility to flatten Solidity code with imports into a single file.
⟠ A curated list of awesome Solidity resources, libraries, tools and more
Public API, examples, documentation and issues for Binary Ninja
An Analysis Tool for Smart Contracts