muellerberndt/smashing-smart-contracts
GitHub: muellerberndt/smashing-smart-contracts
基于符号执行技术的EVM智能合约安全分析研究论文与会议演讲资料合集。
Stars: 177 | Forks: 22
```
OOOOOOOO
O OO O OO O
OO OO O O O OO OO
O OO O O O OO O
O OO O OO O
OO OO O OO OO
O OO OO OO O
OO OO OO OO OO
O OO OO O
OOOOOOOO OO OO OOOOOOOO
```
# 为了乐趣和实际收益粉碎 Ethereum 智能合约
围绕智能合约安全的报告、演示文稿和补充材料。
来自 [HITBSecConf 2018](https://conference.hitb.org/hitbsecconf2018ams/) 的会议资料：
- [会议论文](smashing-smart-contracts-1of1.pdf)
- [演讲视频](https://www.youtube.com/watch?v=iqf6epACgds)
以及来自 [DEF CON 27](https://www.defcon.org/html/defcon-27/) 的后续内容（与 Daniel Luca 合作）：
- [会议论文](DEFCON27-EVM-Smart-Contracts-Mueller-Luca.pdf)
- [演讲幻灯片](DEFCON27_EVM_Slides_Mueller_Luca.pdf)
标签：CISA项目, DEF CON, DeFi 安全, EVM, HITB, Writeup, 以太坊, 区块链安全, 合约审计, 后端开发, 后端开发, 智能合约安全, 漏洞分析, 符号执行, 路径探测