LILLI, MARIO
LILLI, MARIO
Dipartimento di Informatica Giovanni Degli Antoni
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.0 secondi).
APROVER: A FRAMEWORK FOR THE DEVELOPMENT OF SECURITY PROTOCOLS
2024 M. Lilli
Kant: A Domain-Specific Language for Modeling Security Protocols
2024 C. Braghin, M. Lilli, E. Riccobene, E. Notari, M. Baba
A model-based approach for vulnerability analysis of IoT security protocols: The Z-Wave case study
2023 C. Braghin, M. Lilli, E. Riccobene
Towards ASM-Based Automated Formal Verification of Security Protocols
2021 C. Braghin, M. Lilli, E. Riccobene
Formal proof of a vulnerability in Z-wave IoT protocol
2021 M. Lilli, C. Braghin, E. Riccobene
| Titolo | Data di pubblicazione | Autori | Tipo | File | Abstract |
|---|---|---|---|---|---|
| APROVER: A FRAMEWORK FOR THE DEVELOPMENT OF SECURITY PROTOCOLS | 2024 | LILLI, MARIO | Doctoral Thesis | - | |
| Kant: A Domain-Specific Language for Modeling Security Protocols | 2024 | Braghin, C.Lilli, M.Riccobene, E. + | Book Part (author) | - | |
| A model-based approach for vulnerability analysis of IoT security protocols: The Z-Wave case study | 2023 | Braghin C.Lilli M.Riccobene E. | Article (author) | - | |
| Towards ASM-Based Automated Formal Verification of Security Protocols | 2021 | Braghin C.Lilli M.Riccobene E. | Book Part (author) | - | |
| Formal proof of a vulnerability in Z-wave IoT protocol | 2021 | Lilli M.Braghin C.Riccobene E. | Book Part (author) | - |