Tags

16 个页面

智能合约安全

模糊测试 vs. 形式化验证：为何选择前者？

企业级以太坊安全新里程：Trail of Bits加入EEA联盟

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

Manticore发现ENS漏洞 - 智能合约安全分析实战

在Empire Hacking上探讨以太坊安全 - 来自Trail of Bits的见解

2017年度回顾：自动化漏洞挖掘、符号执行与区块链安全的技术突破