Pedro Cruz
- SmartBugs: A Framework to Analyze Solidity Smart Contracts
2020/07/08 by João F. Ferreira, Ferreira, João F., Pedro Cruz +6 · 11 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) #cs.CR #cs.SE