| A model-based approach for vulnerability analysis of IoT security protocols: The Z-Wave case study C Braghin, M Lilli, E Riccobene Computers & Security 127, 103037, 2023 | 19 | 2023 |
| Formal Proof of a Vulnerability in Z-Wave IoT Protocol. M Lilli, C Braghin, E Riccobene SECRYPT, 198-209, 2021 | 13 | 2021 |
| Towards ASM-based automated formal verification of security protocols C Braghin, M Lilli, E Riccobene International Conference on Rigorous State-Based Methods, 17-33, 2021 | 4 | 2021 |
| Kant: A Domain-Specific Language for Modeling Security Protocols. C Braghin, M Lilli, E Riccobene, M Baba MODELSWARD, 62-73, 2024 | 3 | 2024 |
| A modeling and verification framework for security protocols M Lilli International Conference on Rigorous State-Based Methods, 158-161, 2021 | 1 | 2021 |
| APROVER: A Framework For The Development Of Security Protocols M Lilli Università degli Studi di Milano, 2024 | | 2024 |
| Kant: A Domain-Specific Language for Modeling Security Protocols M Lilli, C Braghin, ERK Notari, M Baba | | 2024 |