Mario Lilli

According to our database, Mario Lilli authored at least 5 papers between 2021 and 2024.

Collaborative distances:

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

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