Not registered as user yet

Name: Michael Kirkedal Thomsen

Affiliation: DIKU, University of Copenhagen

Contributions

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