Rigorous/Reproducible Engineering for PROvable (protocol) SECurity
01/01/1900 → …
Research

OAuth Security Workshop 2024
Participation in conference -Mixed Audience

OAuth Security Workshop 2025
Participation in conference -Mixed Audience

ACM Conference on Computer and Communications Security 2024 (Event)
Editorial activity

International Conference on Availability, Reliability, and Security 2024 (Event)
Editorial activity

International Workshop on Emerging Digital Identities 2024 (Event)
Editorial activity

Gesellschaft für Informatik (Publisher)
Editorial activity

45th IEEE Symposium on Security and Privacy 2024 (Event)
Publication peer-review

ACM Transactions on Privacy and Security (TOPS) (Journal)
Publication peer-review