Stuhlsatzenhaus 5 66123 Saarbrücken (Germany)
Verifying Accountability for Unbounded Sets of Participants
CSF 2021 IEEE 34th Computer Security Foundations Symposium (CSF)2021 IEEE 34th Computer Security Foundations Symposium (CSF)
Modular Black-box Runtime Verification of Security Protocols
PLAS 2020