b-mueller/smashing-smart-contracts

Writings on symbolic-execution-based security analysis of EVM smart contracts.

2 best points · 0 comments · 1 Hacker News post · 178 GitHub stars · View on GitHub

Hacker News discussions

• HITB2018AMS: Smashing Smart Contracts for Fun and Real Profit [pdf] (2 points, 0 comments, by piracyde25, 2018-04-13)