共计 4 篇文章

---

2020

The art of the scam: Demystifying honeypots in ethereum smart contracts 11-13 Osiris：Hunting for Integer Bugs in Ethereum Smart Contracts 11-06 Making Smart Contracts Smarter 10-22 ETHBMC: A Bounded Model Checker for Smart Contracts 07-12