PhD Student
ACM Conference on Computer and Communications Security (CCS) SpecMon: Modular Black-Box Runtime Monitoring of Security Protocols
Usenix Security Symposium (USENIX-Security) Automated Security Analysis of Exposure Notification Systems
IEEE Computer Security Foundations Symposium (CSF)
Workshop on Programming Languages and Analysis for Security (PLAS) Modular Black-box Runtime Verification of Security Protocols