Research output per year
Research output per year
-
APROVER: A Framework For The Development Of Security Protocols
Lilli, M., 17 Apr 2024Research output: Book/Report › Commissioned report › peer-review
-
Kant: A Domain-Specific Language for Modeling Security Protocols
Lilli, M., Braghin, C., Notari, E. R. K. & Baba, M., 2024, p. 62-73.Research output: Contribution to conference types › Paper › peer-review
2 Citations (Scopus) -
A model-based approach for vulnerability analysis of IoT security protocols: The Z-Wave case study
Lilli, M., Braghin, C. & Riccobene, E., 1 Apr 2023, In: COMPUTERS AND SECURITY. 127, p. 103037 1 p.Research output: Contribution to journal › Article › peer-review
15 Citations (Scopus) -
A Modeling and Verification Framework for Security Protocols
Lilli, M., 2021, Rigorous State-Based Methods. Springer International Publishing, p. 158–161Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
1 Citation (Scopus) -
Formal Proof of a Vulnerability in Z-Wave IoT Protocol
Lilli, M., Braghin, C. & Riccobene, E., 2021, p. 198-209.Research output: Contribution to conference types › Paper › peer-review
9 Citations (Scopus)