Specification is Law: Safe Creation and Upgrade of Ethereum Smart Contracts
Pedro Antonino, Juliandson Ferreira, Augusto Sampaio, A. W. Roscoe
Topics & Concepts
Computer scienceSecurity tokenSmart contractCode (set theory)Computer securityAuditSoftware engineeringProgramming languageBlockchainAccountingBusinessSet (abstract data type)Blockchain Technology Applications and SecurityFinTech, Crowdfunding, Digital FinanceCryptography and Data Security