TUM Logo

Verifiying Correctness of Smart Contracts

Verifiying Correctness of Smart Contracts

Supervisor(s): Julian Schütte
Status: free
Topic: Monitoring (VMI etc.)
Type of Thesis: Masterthesis
Thesis topic in co-operation with the Fraunhofer Institute for Applied and Integrated Security AISEC, Garching

Description