Stars
Heimdall is an advanced EVM smart contract toolkit specializing in bytecode analysis and extracting information from unverified contracts.
Main source code repository of the Tamarin prover for security protocol verification.
Overview of the formal verification projects in the Ethereum ecosystem.
Implementation of a novel practical scheme for submarine commitments
Data and code for the IEEE S&P'22 paper SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds