Mario Lilli

According to our database, Mario Lilli authored at least 7 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2026

What a Mesh: Formal Security Analysis of WPA3 SAE Wireless Authentication.

Roberto Metere, Mario Lilli, Luca Arnaboldi, Elvinia Riccobene

CoRR, March, 2026

2025

AProVer Front-End Modelling Language for Designing Security Protocols.

Chiara Braghin, Mario Lilli, Elvinia Riccobene

SN Comput. Sci., December, 2025

2024

Kant: A Domain-Specific Language for Modeling Security Protocols.

Chiara Braghin, Mario Lilli, Elvinia Riccobene, Marian Baba

Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering, 2024

2023

A model-based approach for vulnerability analysis of IoT security protocols: The Z-Wave case study.

Chiara Braghin, Mario Lilli, Elvinia Riccobene

Comput. Secur., April, 2023

2021

Formal Proof of a Vulnerability in Z-Wave IoT Protocol.

Mario Lilli, Chiara Braghin, Elvinia Riccobene

Proceedings of the 18th International Conference on Security and Cryptography, 2021

A Modeling and Verification Framework for Security Protocols.

Mario Lilli

Proceedings of the Rigorous State-Based Methods - 8th International Conference, 2021

Towards ASM-Based Automated Formal Verification of Security Protocols.

Chiara Braghin, Mario Lilli, Elvinia Riccobene

Proceedings of the Rigorous State-Based Methods - 8th International Conference, 2021