28 Ottobre 2022

• Chiara Piras. TPM 2.0-based attestation of a Kubernetes cluster. Rel. Antonio Lioy, Ignazio Pedone, Silvia Sisinni. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2022
  

  

  Preview

21 Aprile 2023

• Grazia D'Onghia. Use of SGX to protect network nodes. Rel. Antonio Lioy, Ignazio Pedone, Silvia Sisinni. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2023
  

  

  Preview

28 Luglio 2023

• Valerio Donnini. Integration of the DICE specification into the Keystone framework. Rel. Antonio Lioy, Silvia Sisinni, Enrico Bravi. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2023
  

  

  Preview

27 Ottobre 2023

• Lorenzo Ferro. Container Attestation with Linux IMA namespaces. Rel. Antonio Lioy, Silvia Sisinni, Enrico Bravi. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2023
  

  

  Preview
• Alessandro De Crecchio. Deep Attestation - Virtualise a Hardware-bound Trusted Platform Module. Rel. Antonio Lioy, Silvia Sisinni. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2023
  

  

  Preview
• Flavio Ciravegna. Detecting compromise in TEE applications at runtime. Rel. Antonio Lioy, Silvia Sisinni, Enrico Bravi. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2023
  

  

  Preview

15 Dicembre 2023

• Giacomo Bruno. Design and Implementation of Trusted Channels in the Keystone Framework. Rel. Antonio Lioy, Silvia Sisinni, Enrico Bravi. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2023
  

  

  Preview

11 Aprile 2024

• Jacopo Catalano. Extending the Remote Attestation capabilities of the Enarx framework. Rel. Antonio Lioy, Silvia Sisinni, Enrico Bravi. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2024
  

  

  Preview

31 Ottobre 2024

• 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, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2024
  

  

  Preview

13 Dicembre 2024

• Francesco Zaritto. Kubernetes Pods Remote Attestation. Rel. Antonio Lioy, Silvia Sisinni, Enrico Bravi. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2024
  

  

  Preview
• Giacomo Daniel Biondo. Post-Quantum Firmware Integrity Verification for Xilinx Zynq UltraScale+ MPSoC. Rel. Antonio Lioy, Silvia Sisinni, Grazia D'Onghia. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2024
  

  

  Preview

25 Luglio 2025

• 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, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2025

12 Dicembre 2025

• Francesco Virga. IoT devices identification and implicit attestation. Rel. Diana Gratiela Berbecaru, Silvia Sisinni. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2025