Category Archives: Blockchain

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

State of the Art Proof-of-Work: RandomX July 2, 2019

Panicking the right way in Go June 26, 2019

Trail of Bits @ ICSE 2019 – Recap June 19, 2019