PhD Student

Kevin Morio

Email

Address

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Publications by Kevin Morio

Year 2021

2021-06

Verifying Accountability for Unbounded Sets of Participants

Conference / Medium

CSF
2021 IEEE 34th Computer Security Foundations Symposium (CSF)2021 IEEE 34th Computer Security Foundations Symposium (CSF)

Tags

Reliable Security Guarantees

Authors

Download Visit Detail Page

Year 2020

2020-10

Modular Black-box Runtime Verification of Security Protocols

Conference / Medium

PLAS 2020

Tags

Reliable Security Guarantees

Authors

Download Visit Detail Page