Kevin Morio

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 5

Top Topics

Security Analysis

Top Venues

USENIX Security Symposium

Publications

Kevin Morio, Ilkan Esiyok, Dennis Jackson, Robert Künnemann
Automated Security Analysis of Exposure Notification Systems. USENIX Security Symposium (2023)
Kevin Morio, Ilkan Esiyok, Dennis Jackson, Robert Künnemann
Automated Security Analysis of Exposure Notification Systems. CoRR (2022)
Kevin Morio, Robert Künnemann
Verifying Accountability for Unbounded Sets of Participants. CSF (2021)
Kevin Morio, Dennis Jackson, Marco Vassena, Robert Künnemann
Short Paper: Modular Black-box Runtime Verification of Security Protocols. PLAS@CCS (2020)
Kevin Morio, Robert Künnemann
Verifying Accountability for Unbounded Sets of Participants. CoRR (2020)