面向安全从业者的中英双语安全研究与漏洞情报精选。

#echidna

#echidna 主题的安全资讯。

1.

释放Medusa：快速可扩展的智能合约模糊测试

博客 | 2025-02-14 05:00 | blog.trailofbits.com | 原文 ↗ | #web3 | #open-source | #smart-contracts

2.

使用基准测试加速Echidna

博客 | 2024-05-08 13:30 | blog.trailofbits.com | 原文 ↗ | #web3 | #smart-contracts | #fuzzing

3.

Curvance：释放不变量

博客 | 2024-04-30 13:30 | blog.trailofbits.com | 原文 ↗ | #smart-contracts | #fuzzing | #audit

4.

使用 Echidna 对链上合约进行模糊测试

博客 | 2023-07-21 11:00 | blog.trailofbits.com | 原文 ↗ | #web3 | #smart-contracts | #fuzzing

5.

使用 Diffusc 对可升级智能合约进行差分模糊测试

博客 | 2023-07-07 11:00 | blog.trailofbits.com | 原文 ↗ | #web3 | #smart-contracts | #defi

6.

以太坊合约的可复用属性

博客 | 2023-02-27 13:00 | blog.trailofbits.com | 原文 ↗ | #web3 | #smart-contracts | #fuzzing

7.

优化智能合约模糊测试器

博客 | 2022-03-02 12:00 | blog.trailofbits.com | 原文 ↗ | #web3 | #smart-contracts | #fuzzing

8.

使用 Echidna 测试智能合约库

博客 | 2020-08-17 11:00 | blog.trailofbits.com | 原文 ↗ | #web3 | #smart-contracts | #fuzzing

9.

合约验证变得更简单

博客 | 2020-07-12 19:00 | blog.trailofbits.com | 原文 ↗ | #web3 | #smart-contracts | #formal-verification

10.

四季皆宜的 Echidna

博客 | 2020-03-30 11:00 | blog.trailofbits.com | 原文 ↗ | #web3 | #smart-contracts | #fuzzing

11.

使用 Echidna 进行状态机测试

博客 | 2018-05-03 10:50 | blog.trailofbits.com | 原文 ↗ | #smart-contracts | #fuzzing | #ethereum

12.

使用我们的以太坊安全工具套件

工具 | 2018-03-23 04:28 | blog.trailofbits.com | 原文 ↗ | #web3 | #smart-contracts | #fuzzing

13.

Echidna：面向以太坊的智能模糊测试器

博客 | 2018-03-09 18:19 | blog.trailofbits.com | 原文 ↗ | #web3 | #smart-contracts | #fuzzing