Publications
279 Entries
2020
-
Formal Foundations for Intel SGX Data Center Attestation Primitives , Mar 2020, p. 268–283Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
A Practical Approach for Updating an Integrity-Enforced Operating System , 2020, In: Middleware '20: 21st International Middleware Conference. 2020, p. 311–325Electronic (full-text) versionResearch output: Contribution to journal > Conference article
-
Exploring user profiles based on their explainability requirements in interactive systems. , 2020, XIX Brazilian Symposium on Human Factors in Computing Systems. Association for Computing Machinery (ACM), New York, p. 48:1-48:6, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
SecureTF: A Secure TensorFlow Framework , 2020, In: Middleware '20: 21st International Middleware Conference. 2020, p. 44–59Electronic (full-text) versionResearch output: Contribution to journal > Conference article
-
SpecFuzz: Bringing Spectre-type vulnerabilities to the surface , 2020, Proceedings of the 29th USENIX Security Symposium. USENIX Association, 18 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
TEEMon: A Continuous Performance Monitoring Framework for TEEs , 2020, p. 178–192Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
T-Lease: A Trusted Lease Primitive for Distributed Systems , 2020, Proceedings of the 11th ACM Symposium on Cloud Computing (SoCC ’20). New York, NY, USA: Association for Computing Machinery, Inc, p. 387-400Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Towards Dynamic Dependable SystemsThrough Evidence-Based ContinuousCertification , 2020Research output: Contribution to conferences > Paper
-
Trust Management as a Service: Enabling Trusted Execution in the Face of Byzantine Stakeholders , 2020, ArXiv. 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Vallum-Med: Protecting Medical Data in Cloud Environments , 2020, CIKM '20: Proceedings of the 29th ACM International Conference on Information & Knowledge Management. Association for Computing Machinery (ACM), New York, Vol. 2020. p. 3397–3400Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution