Publications
281 Einträge
2021
-
Machine-Checking Unforgeability Proofs for Signature Schemes with Tight Reductions to the Computational Diffie-Hellman Problem , 2021, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Modeling and Evaluating Personas with Software Explainability Requirements , 2021, Human-Computer Interaction - 7th Iberoamerican Workshop, HCI-COLLAB 2021, Proceedings. Ruiz, P. H., Agredo-Delgado, V., Ruiz, P. H., Agredo-Delgado, V. & Kawamoto, A. L. (Hrsg.). Springer, Cham, Band 1478. S. 136-149, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
2020
-
Towards Formalization of Enhanced Privacy ID (EPID)-based Remote Attestation in Intel SGX , April 2020, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Formal Foundations for Intel SGX Data Center Attestation Primitives , März 2020, S. 268–283Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
A Practical Approach for Updating an Integrity-Enforced Operating System , 2020, in: Middleware '20: 21st International Middleware Conference. 2020, S. 311–325Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Konferenzartikel
-
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, S. 48:1-48:6, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
SecureTF: A Secure TensorFlow Framework , 2020, in: Middleware '20: 21st International Middleware Conference. 2020, S. 44–59Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Konferenzartikel
-
SpecFuzz: Bringing Spectre-type vulnerabilities to the surface , 2020, Proceedings of the 29th USENIX Security Symposium. USENIX Association, 18 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
TEEMon: A Continuous Performance Monitoring Framework for TEEs , 2020, S. 178–192Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > 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, S. 387-400Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband