Category Archives: Blockchain

Bug Hunting with Crytic May 15, 2020

Announcing the 1st International Workshop on Smart Contract Analysis April 23, 2020

An Echidna for all Seasons March 30, 2020

Financial Cryptography 2020 Recap March 18, 2020

Our Full Report on the Voatz Mobile Voting Platform March 13, 2020

Manticore discovers the ENS bug March 3, 2020

Mainnet360: joint economic and security reviews with Prysm Group December 9, 2019

Announcing the Crytic $10k Research Prize November 13, 2019

Formal Analysis of the CBC Casper Consensus Algorithm with TLA+ October 25, 2019

Watch Your Language: Our First Vyper Audit October 24, 2019