Publications
- A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols In Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows, volume 11565 of Lecture Notes in Computer Science, pages 192–213, 2019. Springer. Details BIB
- A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols pages 192–213, 2019. Details DOI BIB
- Resource-Bounded Intruders in Denial of Service Attacks In 32nd IEEE Computer Security Foundations Symposium, CSF 2019, Hoboken, NJ, USA, June 25-28, 2019, pages 382–396, 2019. IEEE. Details DOI BIB
- Statistical Model Checking of Guessing and Timing Attacks on Distance-bounding Protocols. In "Workshop on Foundations of Computer Security", 2018. Details BIB