Category Archives: Blockchain

Solar: Context-free, interactive analysis for Solidity April 2, 2021

A Year in the Life of a Compiler Fuzzing Campaign March 23, 2021

Confessions of a smart contract paper reviewer February 5, 2021

Breaking Aave Upgradeability December 16, 2020

Good idea, bad design: How the Diamond standard falls short October 30, 2020

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