A. W. Roscoe
- Specification is Law: Safe Creation and Upgrade of Ethereum Smart Contracts
2022/05/16 by Pedro Antonino, Juliandson Ferreira, Antonino, Pedro +5 · 2 citations
Computer Science · #Blockchain Technology Applications and Security #Cryptography and Data Security #Digital Rights Management and Security
- A refinement-based approach to safe smart contract deployment and evolution
2024/01/25 by Pedro Antonino, Juliandson Ferreira, Augusto Sampaio +2 · 1 voice · 2 citations
Computer Science · #Advanced Malware Detection Techniques #Blockchain Technology Applications and Security #Security and Verification in Computing