Registered user since Thu 3 Jan 2019
Name: Ken Friis Larsen
Country: Denmark
Affiliation: DIKU, University of Copenhagen
Personal website: https://www.diku.dk/~kflarsen
Research interests: Programming languages, Security, Privacy, Functional Programming, Systems, Music, Interactive Fiction
Contributions
| PriSC 2020 | Author of Hermes: Implementing Cryptography without Side-channels within the Principles of Secure Compilation 2020-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2020-profile
View general profile
View general profile