Using benchmarks to speed up Echidna

Using benchmarks to speed up Echidna

By Ben Siraphob During my time as a Trail of Bits associate last summer, I worked on optimizing the performance of Echidna, Trail of Bits’ open-source smart contract fuzzer, written in Haskell ...
Hybrid fuzzing: Sharpening the spikes of Echidna

Hybrid fuzzing: Sharpening the spikes of Echidna

| | Echidna, fuzzing, Maat, Optik
By Tom Malcolm, University of Queensland, Australia Smart contract fuzzing is an effective bug-finding technique that is largely used at Trail Of Bits during audits. During my internship at Trail of Bits, ...