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

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

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

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

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

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

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

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

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

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

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

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