Archivio Istituzionale della RicercaVALENZA, FULVIO
VALENZA, FULVIO
Dipartimento di Automatica e Informatica
034475
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.006 secondi).
Introduction to Formal Methods for the Analysis and Design of Cryptographic Protocols
2023 Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin
Towards the Dynamic Provision of Virtualized Security Services
2015 Basile, Cataldo; Pitscheider, Christian; Risso, FULVIO GIOVANNI OTTAVIO; Valenza, Fulvio; Vallini, Marco
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| Introduction to Formal Methods for the Analysis and Design of Cryptographic Protocols / Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin - In: Handbook of Formal Analysis and Verification in Cryptography / Akleylek S., Dundua B.. - ELETTRONICO. - [s.l] : CRC Press, 2023. - ISBN 978-0-367-54665-6. [10.1201/9781003090052-2] | 1-gen-2023 | Bringhenti, DanieleSisto, RiccardoValenza, FulvioYusupov, Jalolliddin | AcceptedChapter.pdf |
| Towards the Dynamic Provision of Virtualized Security Services / Basile, Cataldo; Pitscheider, Christian; Risso, FULVIO GIOVANNI OTTAVIO; Valenza, Fulvio; Vallini, Marco - In: Cyber Security and Privacy / Cleary F., Felici M.. - STAMPA. - [s.l] : Springer International Publishing, 2015. - ISBN 978-3-319-25359-6. - pp. 65-76 [10.1007/978-3-319-25360-2_6] | 1-gen-2015 | BASILE, CATALDOPITSCHEIDER, CHRISTIANRISSO, FULVIO GIOVANNI OTTAVIOVALENZA, FULVIOVALLINI, MARCO | 2015CSP_author.pdf; 2015CSP.pdf |