Not registered as user yet

Name:Michael Kirkedal Thomsen
Affiliation:DIKU, University of Copenhagen

Contributions

PriSC 2020 Author of Hermes: Implementing Cryptography without Side-channels within the Principles of Secure Compilation 2020-track