YUSUPOV, JALOLLIDDIN

YUSUPOV, JALOLLIDDIN  

Dipartimento di Automatica e Informatica  

042914  

Mostra records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.002 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