28 July 2023

• 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

• 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
• 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

• 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

• 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

• 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

• 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

27 March 2026

• Antonio Capece. Design and Implementation of device emulation for the TCG MARS specification. Rel. Antonio Lioy, Enrico Bravi. Politecnico di Torino, Master of science program in Cybersecurity, 2026
  

  

  Preview