Send email Copy Email Address
PhD Student

Kevin Morio

Email

Address

Kaiserstraße 170-174
66386 St. Ingbert (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
Trustworthy Information Processing
Authors
Download Visit Detail Page

Year 2020

2020-10

Modular Black-box Runtime Verification of Security Protocols

Conference / Medium

PLAS 2020

Tags
Trustworthy Information Processing
Authors
Download Visit Detail Page