Category Archives: Blockchain

Using Echidna to test a smart contract library August 17, 2020

Accidentally stepping on a DeFi lego August 5, 2020

Contract verification made easier July 12, 2020

Upgradeable contracts made safer with Crytic June 12, 2020

Breaking the Solidity Compiler with a Fuzzer June 5, 2020

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