Cruz, Pedro
- SmartBugs: A Framework to Analyze Solidity Smart Contracts
2020/07/08 by João F. Ferreira, Pedro E. D. Cruz, Ferreira, João F. +4 · 7 citations
Computer Science · #Adversarial Robustness in Machine Learning #Blockchain Technology Applications and Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Security and Verification in Computing #Software Engineering (cs.SE)