Archivio Istituzionale della RicercaSISTO, Riccardo
SISTO, Riccardo
Dipartimento di Automatica e Informatica
001943
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.004 secondi).
| 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 |
| Automated Formal Methods for Security Protocol Engineering / Pironti, Alfredo; Pozza, Davide; Sisto, Riccardo - In: Cyber Security Standards, Practices and Industrial Applications - Systems and Methodologies / Zubairi J. A., Mahboob A.. - STAMPA. - Hershey PA : IGI Global, 2011. - ISBN 9781609608514. - pp. 138-166 [10.4018/978-1-60960-851-4.ch008] | 1-gen-2011 | PIRONTI, ALFREDOPOZZA, DAVIDESISTO, Riccardo | - |