Kevin Morio

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