TUM Logo

Avoiding smart contract vulnerabilities: An inter-contract concolic execution framework for Ethereum contracts

Avoiding smart contract vulnerabilities: An inter-contract concolic execution framework for Ethereum contracts

Supervisor(s): Dr. Julian Schütte
Status: inprogress
Topic: Others
Author: Konrad Weiss
Submission: 2018-10-15
Type of Thesis: Masterthesis
Thesis topic in co-operation with the Fraunhofer Institute for Applied and Integrated Security AISEC, Garching

Description