Mario Lilli

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 5

Top Topics

Security Protocols

Automated Design

Top Venues

Publications

Chiara Braghin, Mario Lilli, Elvinia Riccobene, Marian Baba
Kant: A Domain-Specific Language for Modeling Security Protocols. MODELSWARD (2024)
Chiara Braghin, Mario Lilli, Elvinia Riccobene
A model-based approach for vulnerability analysis of IoT security protocols: The Z-Wave case study. Comput. Secur. 127 (2023)
Mario Lilli, Chiara Braghin, Elvinia Riccobene
Formal Proof of a Vulnerability in Z-Wave IoT Protocol. SECRYPT (2021)
Chiara Braghin, Mario Lilli, Elvinia Riccobene
Towards ASM-Based Automated Formal Verification of Security Protocols. ABZ (2021)
Mario Lilli
A Modeling and Verification Framework for Security Protocols. ABZ (2021)