ITEN
WebThesis Logo Politecnico di Torino
[up] Up a level
[Atom feed] Atom [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Raggruppa per: Tipologia del documento | Nessun raggruppamento
Salta a: Tesi
Numero di pubblicazioni : 1.

Tesi

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

[thumbnail of Tesi_di_laurea]
Preview

Questa lista รจ stata generata il Mon Feb 2 22:33:54 2026 CET.
Logo Politecnico di Torino