Category Archives: Blockchain

Shedding smart contract storage with Slither July 28, 2022

Managing risk in blockchain deployments June 24, 2022

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