State Machine Testing with Echidna

State Machine Testing with Echidna

Property-based testing is a powerful technique for verifying arbitrary properties of a program via execution on a large set of inputs, typically generated stochastically. Echidna is a library and executable I’ve been ...
Ethersplay Demo

Use our suite of Ethereum security tools

Two years ago, when we began taking on blockchain security engagements, there were no tools engineered for the work. No static analyzers, fuzzers, or reverse engineering tools for Ethereum. So, we invested ...
Echidna, a smart fuzzer for Ethereum

Echidna, a smart fuzzer for Ethereum

Today we released Echidna, our next-generation EVM smart fuzzer at EthCC. It’s the first-ever fuzzer to target smart contracts, and has powerful features like abstract state-machine modeling and automatic minimal test case ...

Microsoft tears into Chrome security as patching feud continues

Everybody wins as Google and Microsoft's security one-upmanship continues ...
Naked Security - Sophos

Is security on the verge of a fuzzing breakthrough?

Smart, efficient fuzzing could give every developer the opportunity to find bugs efficiently, during development ...
Naked Security - Sophos

What’s the fuzz about? Microsoft unveils its latest security tool

Microsoft's got a new fuzzer... but what is fuzzing and what's behind the recent enthusiasm for it? ...
Naked Security - Sophos
BSides Lisbon 2016 - Keynote - The Smart Fuzzer Revolution by Dan Guido

The Smart Fuzzer Revolution

I recently had the privilege of giving a keynote at BSidesLisbon. I had a great time at the conference, and I’d like to thank Bruno Morisson for inviting me. If you’re into ...