Konrad Weiß

Annotary: A Concolic Execution System for Developing Secure Smart\n Contracts

2019 · arXiv (Cornell University)

Ethereum smart contracts are executable programs, deployed on a peer-to-peer\nnetwork and executed in a consensus-based fashion. Their bytecode is public,\nimmutable and once deployed to the blockchain, cannot be patched anymore. As\nsmart contracts may hold Ether …