polito.it
Politecnico di Torino (logo)
Webthesis
Libraries

List of theses with "Bussa, Simone as relator"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | No Grouping
Jump to: 29 July 2022 | 28 July 2023
Number of items: 3.

29 July 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 July 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

This list was generated on Thu Sep 28 23:19:35 2023 CEST.