Synthical
Your space
Profile
Activity
Favorites
Folders
Feeds
All articles
Claim page
Kevin Morio
Follow
Activity
Upvotes
Folders
Articles
2
SpecMon: Modular Black-Box Runtime Monitoring of Security Protocols
4 September 2024 by
Kevin Morio
and
Robert Künnemann
Cryptography and Security
Automated Security Analysis of Exposure Notification Systems
2 October 2022 by
Kevin Morio
and
others
Cryptography and Security
Verifying Accountability for Unbounded Sets of Participants
20 May 2021 by
Kevin Morio
and
Robert Künnemann
Cryptography and Security
This is an AI-generated summary
Key points
Topics
Cryptography and Security
