Juliandson Ferreira

1. 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
2. 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