Francesco Zaritto. Kubernetes Pods Remote Attestation. Rel. Antonio Lioy, Silvia Sisinni, Enrico Bravi. Politecnico di Torino, Master of science program in Computer Engineering, 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

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

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

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

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

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