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
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 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
Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
Porting Windows Dynamic Link Libraries to Linux
A robust parser for C/C++ storing abstract syntax trees, control flow graphs and program dependence graphs in a neo4j graph database.
A collection of links related to Linux kernel security and exploitation