 | Livello precedente |
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
Eccetto ove diversamente specificato, i contenuti di questo sito sono rilasciati sotto 
Licenza Creative Commons - Attribuzione 3.0 Italia.
Powered by Eprints 3 - customization and management by Politecnico di Torino.
