VLDB 2026 Research / reviewers in the wild / expert
Mario Lilli
dblp:294/3129
· DBLP profile ↗
3ranked-venue papers
1as first author
3since 2021 · last 2024
0000-0001-7236-9171ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Security and privacy · 2 · 1 first-author · 2 since 2021Software engineering, systems software and programming languages · 1 · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Kant: A Domain-Specific Language for Modeling Security Protocols
Chiara Braghin, Mario Lilli, Elvinia Riccobene, Marian Baba |
MODELSWARD | 2 |
| 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. | 2 |
| 2021 | Formal Proof of a Vulnerability in Z-Wave IoT Protocol
Mario Lilli, Chiara Braghin, Elvinia Riccobene |
SECRYPT | 1 |