Curated security research, vulnerabilities, advisories and tools for practitioners.

#echidna

Security coverage tagged echidna.

1.

Unleashing Medusa: Fast and scalable smart contract fuzzing

blog | 2025-02-14 05:00 | blog.trailofbits.com | original ↗ | #web3 | #open-source | #smart-contracts

2.

Using benchmarks to speed up Echidna

blog | 2024-05-08 13:30 | blog.trailofbits.com | original ↗ | #web3 | #smart-contracts | #fuzzing

3.

Curvance: Invariants unleashed

blog | 2024-04-30 13:30 | blog.trailofbits.com | original ↗ | #smart-contracts | #fuzzing | #audit

4.

Fuzzing on-chain contracts with Echidna

blog | 2023-07-21 11:00 | blog.trailofbits.com | original ↗ | #web3 | #smart-contracts | #fuzzing

5.

Differential fuzz testing upgradeable smart contracts with Diffusc

blog | 2023-07-07 11:00 | blog.trailofbits.com | original ↗ | #web3 | #smart-contracts | #defi

6.

Reusable properties for Ethereum contracts

blog | 2023-02-27 13:00 | blog.trailofbits.com | original ↗ | #web3 | #smart-contracts | #fuzzing

7.

Optimizing a smart contract fuzzer

blog | 2022-03-02 12:00 | blog.trailofbits.com | original ↗ | #web3 | #smart-contracts | #fuzzing

8.

Using Echidna to test a smart contract library

blog | 2020-08-17 11:00 | blog.trailofbits.com | original ↗ | #web3 | #smart-contracts | #fuzzing

9.

Contract verification made easier

blog | 2020-07-12 19:00 | blog.trailofbits.com | original ↗ | #web3 | #smart-contracts | #formal-verification

10.

An Echidna for all Seasons

blog | 2020-03-30 11:00 | blog.trailofbits.com | original ↗ | #web3 | #smart-contracts | #fuzzing

11.

State Machine Testing with Echidna

blog | 2018-05-03 10:50 | blog.trailofbits.com | original ↗ | #smart-contracts | #fuzzing | #ethereum

12.

Use our suite of Ethereum security tools

tool | 2018-03-23 04:28 | blog.trailofbits.com | original ↗ | #web3 | #smart-contracts | #fuzzing

13.

Echidna, a smart fuzzer for Ethereum

blog | 2018-03-09 18:19 | blog.trailofbits.com | original ↗ | #web3 | #smart-contracts | #fuzzing