Deutsch Intern
    Institute of Computer Science



    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
    Universität Duisburg-Essen

    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.