Towards ASM-Based Automated Formal Verification of Security Protocols. - Chiara Braghin; Mario Lilli; Elvinia Riccobene (ABZ, 2021)

A Modeling and Verification Framework for Security Protocols. - Mario Lilli (ABZ, 2021)

Formal Proof of a Vulnerability in Z-Wave IoT Protocol. - Mario Lilli; Chiara Braghin; Elvinia Riccobene (SECRYPT, 2021)

A model-based approach for vulnerability analysis of IoT security protocols: The Z-Wave case study. - Chiara Braghin; Mario Lilli; Elvinia Riccobene (Comput. Secur., 2023)

Kant: A Domain-Specific Language for Modeling Security Protocols. - Chiara Braghin; Mario Lilli; Elvinia Riccobene; Marian Baba (MODELSWARD, 2024)