Category Archives: Blockchain

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

On LibraBFT’s use of broadcasts July 12, 2019

Avoiding Smart Contract “Gridlock” with Slither July 3, 2019