
Registered user since Mon 8 Jun 2020
Name:Matthis Kruse
Country:Germany
Affiliation:CISPA Helmholtz Center for Information Security
Personal website: https://dasnacl.de
X (Twitter): https://x.com/dasnacl
GitHub: https://github.com/dasnacl
Research interests:Secure Compilation, Programming Language Design, Code Transformations, Compiler Construction
Contributions
2023
POPL 2023-profile
View general profile
View general profile