Login / Signup
Mario Lilli
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 4
Top Topics
Automated Design
Security Protocols
Cryptographic Protocols
Formal Proof
Top Venues
ABZ
SECRYPT
Comput. Secur.
</>
Publications
</>
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)