Livello precedente |
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
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
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
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
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
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