Im Sommersemester 2019 findet auf Einladung von Prof. Dr.-Ing. Alexandra Dmitrienko der folgende Vortrag statt:
Montag, 15. Juli 2019, 16.15 Uhr, Turing Hörsaal, Informatikgebäude, Am Hubland
Prof. Dr.-Ing. Lucas Davi
SYSSEC - Sichere Software Systeme
Your Contract is at Risk: Towards Secure Execution of Smart Contracts
Smart contracts are computer programs that execute on the blockchain, receive and send transactions, and maintain a balance of cryptocurrency. In the recent past, we have witnessed a variety of attacks against smart contracts with cryptocurrency loses up to 50 million US Dollars. These attacks were possible due to errors in the smart contract logic. To tackle such attacks, a large number of mitigation technologies have been proposed. In this talk, we provide an overview of static and dynamic analysis techniques to tackle smart contract errors. We also discuss selected attacks in this area and elaborate on open questions.