Short Paper: Modular Black-box Runtime Verification of Security Protocols. - Kevin Morio; Dennis Jackson; Marco Vassena; Robert Künnemann (PLAS@CCS, 2020)

Verifying Accountability for Unbounded Sets of Participants. - Kevin Morio; Robert Künnemann (CSF, 2021)

Automated Security Analysis of Exposure Notification Systems. - Kevin Morio; Ilkan Esiyok; Dennis Jackson; Robert Künnemann (USENIX Security Symposium, 2023)

SpecMon: Modular Black-Box Runtime Monitoring of Security Protocols. - Kevin Morio; Robert Künnemann (CCS, 2024)