Saving DeFi Saver with Static Contract Analysis: a Vulnerability Report
Ethereum Pawn Stars: “$5.7M in hard assets? Best I can do is $2.3M”
A Six-Year-Old Solc Mystery
In mid-October, we received a request to work on a project unlike any we've had before.
Harvest Finance Vulnerability, $200K Bounty
We disclosed a critical vulnerability to Harvest Finance, through Immunefi. The vulnerability concerns a proxy pattern and was discovered via an interesting automated analysis.
Symbolic Value-Flow Static Analysis of Ethereum Smart Contracts
A technical paper describing our most recent analysis technology, responsible for 7 major vulnerabilities detected in-the-wild.