2 code implementations • 1 Oct 2020 • Michael Rodler, Wenting Li, Ghassan O. Karame, Lucas Davi
We perform a study with experienced software developers, showing that EVMPatch is practical, and reduces the time for converting a given Solidity smart contract to an upgradable contract by 97. 6 %, while ensuring functional equivalence to the original contract.
Cryptography and Security Distributed, Parallel, and Cluster Computing
1 code implementation • 14 Dec 2018 • Michael Rodler, Wenting Li, Ghassan O. Karame, Lucas Davi
Recently, a number of existing blockchain systems have witnessed major bugs and vulnerabilities within smart contracts.
Cryptography and Security
1 code implementation • 25 May 2016 • Tigist Abera, N. Asokan, Lucas Davi, Jan-Erik Ekberg, Thomas Nyman, Andrew Paverd, Ahmad-Reza Sadeghi, Gene Tsudik
Remote attestation is a crucial security service particularly relevant to increasingly popular IoT (and other embedded) devices.
Cryptography and Security