LILLI, MARIO
LILLI, MARIO
Dipartimento di Informatica Giovanni Degli Antoni
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.0 secondi).
APROVER: A FRAMEWORK FOR THE DEVELOPMENT OF SECURITY PROTOCOLS
2024 M. Lilli
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 | - | |
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) | - |