Professor
1st Workshop on Principles of Secure Compilation
POPL
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL'17)
ESORICS
Computer Security - ESORICS 2017 - 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings, Part I
CSF
30th IEEE Computer Security Foundations Symposium, CSF 2017, Santa Barbara, CA, USA, August 21-25, 2017
USENIX-Security
26th USENIX Security Symposium (USENIX Security 17)
OSDI
Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI '16)