polito.it
Politecnico di Torino (logo)
Webthesis
Biblioteche d'ateneo

Elenco delle tesi il cui relatore è "Bussa, Simone"

Livello precedente
[feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Raggruppa per: Data | Nessun raggruppamento
Salta a: 29 Luglio 2022 | 28 Luglio 2023
Numero di pubblicazioni : 3.

29 Luglio 2022

[img] Andreina Erika Ricci. Formal verification of Remote Attestation protocols in a Fog Computing Architecture. Rel. Riccardo Sisto, Fulvio Valenza, Simone Bussa. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2022

[img] Alessandro Di Lorenzo. Formal verification of security properties for remote attestation protocols. Rel. Riccardo Sisto, Fulvio Valenza, Simone Bussa. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2022

28 Luglio 2023

[img] Francesco Rametta. Formal verification of a V2X Security Credential Management System. Rel. Riccardo Sisto, Fulvio Valenza, Simone Bussa. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2023

Questa lista è stata generata il Sat Apr 20 08:01:58 2024 CEST.