Category Archives: Blockchain

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

246 Findings From our Smart Contract Audits: An Executive Summary August 8, 2019

Crytic: Continuous Assurance for Smart Contracts August 2, 2019