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

29 Luglio 2022

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

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

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

11 Aprile 2024

Francesco Galazzo. Formal verification of a cryptographic protocol in Cooperative Intelligent Transport Systems communications. Rel. Riccardo Sisto, Simone Bussa, Fulvio Valenza. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2024

31 Ottobre 2024

Rebecca Falco. OCPP Protocol in the Smart Charging Era: Formal Verification of Security-Related Use Cases through ProVerif Analysis. Rel. Riccardo Sisto, Simone Bussa. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2024