Category Archives: Research Practice

Confessions of a smart contract paper reviewer February 5, 2021

High-fidelity build instrumentation with blight November 25, 2020

Graphtage: A New Semantic Diffing Tool August 28, 2020

Announcing the 1st International Workshop on Smart Contract Analysis April 23, 2020

64 Bits ought to be enough for anybody! November 27, 2019

Announcing the Crytic $10k Research Prize November 13, 2019

Everything You Ever Wanted To Know About Test-Case Reduction, But Didn’t Know to Ask November 11, 2019

Two New Tools that Tame the Treachery of Files November 1, 2019

TSC Frequency For All: Better Profiling and Benchmarking October 3, 2019

Announcing Manticore 0.3.0 June 7, 2019