We stand with Ukraine  

Kevin Morio

Orcid: 0000-0002-0220-3448

Affiliations:
  • CISPA Helmholtz Center for Information Security, Saarbrücken, Germany


According to our database1, Kevin Morio authored at least 3 papers between 2020 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Automated Security Analysis of Exposure Notification Systems.
[BibTeX]
[DOI]
Kevin Morio
,
Ilkan Esiyok
,
Dennis Jackson
,
Robert Künnemann
Proceedings of the 32nd USENIX Security Symposium, 2023

2021
Verifying Accountability for Unbounded Sets of Participants.
[BibTeX]
[DOI]
Kevin Morio
,
Robert Künnemann
Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

2020
Short Paper: Modular Black-box Runtime Verification of Security Protocols.
[BibTeX]
[DOI]
Kevin Morio
,
Dennis Jackson
,
Marco Vassena
,
Robert Künnemann
Proceedings of the PLAS'20: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security, 2020


  Loading...