Logo Politecnico di Torino
ENIT
WebThesis

Formal verification of Remote Attestation protocols in a Fog Computing Architecture

Andreina Erika Ricci

Formal verification of Remote Attestation protocols in a Fog Computing Architecture.

Rel. Riccardo Sisto, Fulvio Valenza, Simone Bussa. Politecnico di Torino, Master of science program in Computer Engineering, 2022