28 October 2022

1. Chiara Piras. TPM 2.0-based attestation of a Kubernetes cluster. Rel. Antonio Lioy, Ignazio Pedone, Silvia Sisinni. Politecnico di Torino, Master of science program in Computer Engineering, 2022
   

   

   Preview

21 April 2023

1. Grazia D'Onghia. Use of SGX to protect network nodes. Rel. Antonio Lioy, Ignazio Pedone, Silvia Sisinni. Politecnico di Torino, Master of science program in Computer Engineering, 2023
   

   

   Preview

28 July 2023

1. Valerio Donnini. Integration of the DICE specification into the Keystone framework. Rel. Antonio Lioy, Silvia Sisinni, Enrico Bravi. Politecnico di Torino, Master of science program in Computer Engineering, 2023
   

   

   Preview

27 October 2023

1. Lorenzo Ferro. Container Attestation with Linux IMA namespaces. Rel. Antonio Lioy, Silvia Sisinni, Enrico Bravi. Politecnico di Torino, Master of science program in Computer Engineering, 2023
   

   

   Preview
2. Alessandro De Crecchio. Deep Attestation - Virtualise a Hardware-bound Trusted Platform Module. Rel. Antonio Lioy, Silvia Sisinni. Politecnico di Torino, Master of science program in Computer Engineering, 2023
   

   

   Preview
3. Flavio Ciravegna. Detecting compromise in TEE applications at runtime. Rel. Antonio Lioy, Silvia Sisinni, Enrico Bravi. Politecnico di Torino, Master of science program in Computer Engineering, 2023
   

   

   Preview

15 December 2023

1. Giacomo Bruno. Design and Implementation of Trusted Channels in the Keystone Framework. Rel. Antonio Lioy, Silvia Sisinni, Enrico Bravi. Politecnico di Torino, Master of science program in Computer Engineering, 2023
   

   

   Preview

11 April 2024

1. Jacopo Catalano. Extending the Remote Attestation capabilities of the Enarx framework. Rel. Antonio Lioy, Silvia Sisinni, Enrico Bravi. Politecnico di Torino, Master of science program in Computer Engineering, 2024
   

   

   Preview

31 October 2024

1. Riccardo Salvatelli. VerComp: A Framework for Verifiable Computation in Cloud Environments Using zk-STARK Proofs. Rel. Antonio Lioy, Silvia Sisinni, Enrico Bravi. Politecnico di Torino, Master of science program in Computer Engineering, 2024
   

   

   Preview

13 December 2024

1. Francesco Zaritto. Kubernetes Pods Remote Attestation. Rel. Antonio Lioy, Silvia Sisinni, Enrico Bravi. Politecnico di Torino, Master of science program in Computer Engineering, 2024
   

   

   Preview
2. Giacomo Daniel Biondo. Post-Quantum Firmware Integrity Verification for Xilinx Zynq UltraScale+ MPSoC. Rel. Antonio Lioy, Silvia Sisinni, Grazia D'Onghia. Politecnico di Torino, Master of science program in Computer Engineering, 2024
   

   

   Preview

25 July 2025

1. Marco De Santo. Rilevamento delle vulnerabilità TLS tramite monitoraggio della rete e strumenti per il controllo della conformità = Detecting TLS vulnerabilities through network monitoring and tools for compliance check. Rel. Diana Gratiela Berbecaru, Silvia Sisinni. Politecnico di Torino, Master of science program in Computer Engineering, 2025

12 December 2025

1. Francesco Virga. IoT devices identification and implicit attestation. Rel. Diana Gratiela Berbecaru, Silvia Sisinni. Politecnico di Torino, Master of science program in Computer Engineering, 2025