Registered user since Mon 8 Jun 2020
Name:Matthis Kruse
Country:Germany
Affiliation:CISPA Helmholtz Center for Information Security
Personal website:https://dasnacl.de
Twitter:https://twitter.com/dasnacl
GitHub:https://github.com/dasnacl
Research interests:Secure Compilation, Programming Language Design, Code Transformations, Compiler Construction
Contributions
| PriSC 2023 | Blame-Preserving Secure Compilation | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2023-profile
View general profile
View general profile