Tags
152 个页面
区块链
提升Cosmos模糊测试：智能与随机融合之道
成为区块链编程高手：从入门到精通
以太坊合约可复用属性：提升智能合约安全的168个预构建属性
使用TLA+对CBC Casper共识算法进行形式化分析
混合模糊测试：强化Echidna的尖刺
首个Vyper审计：探索区块链语言的安全边界
Curvance：不变性测试的突破之旅 - 深入解析区块链模糊测试与工具优化
ICSE 2019 技术亮点回顾：静态分析、模糊测试与区块链安全
零知识证明、区块链安全与软件供应链：Trail of Bits 技术播客重磅上线
使用TLA+对CBC Casper共识算法进行形式化分析
1
…
3
4
5
…
16