Publications

2023

• Energy-Aware and Fair Multi-User Multi-Task Computation OffloadingLatzko, V., Lhamo, O., Mehrabi, M., Vielhaus, C. & Fitzek, F. H., 2023, 2023 International Conference on Computing, Networking and Communications, ICNC 2023. Institute of Electrical and Electronics Engineers Inc., S. 231-236, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Securing the Execution of ML Workflows across the Compute ContinuaMartin, A., Lordan Gomis, F. & Lezzi, D., 2023, 8 S.Publikation: Beitrag zu Konferenzen > Paper
• Triad: Trusted Timestamps in Untrusted EnvironmentsPereira Fernandez, G., Brito, A. & Fetzer, C., 2023, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper

2022

• Formal Foundations for SCONE AttestationSardar, M. U. & Fetzer, C., 1 Juni 2022, S. 31-32, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Understanding Trust Assumptions for Attestation in Confidential ComputingSardar, M. U., 1 Juni 2022, S. 49-50, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• CHORS: hardening high-assurance security systems with trusted computingOzga, W., Faqeh, R., Le Quoc, D. & Gregor, F., Mai 2022, S. 1626–1635Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear ArithmeticBromberger, M., Dragoste, I. T., Faqeh, R., Fetzer, C., González González, L. J., Krötzsch, M., Marx, M. & 2 weitere, 30 März 2022, Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I. Fisman, D. & Rosu, G. (Hrsg.).S. 480–501, 22 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Revizor: testing black-box CPUs against speculation contracts.Oleksenko, O., Fetzer, C., Köpf, B. & Silberstein, M., 28 Feb. 2022, S. 226-239, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• MATEE: Multimodal Attestation for Trusted Execution EnvironmentsGalanou, A., Gregor, F., Kapitza, R. & Fetzer, C., 2022, S. 121-134Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper

2021

• Confidential Computing and Related Technologies: A ReviewSardar, M. U. & Fetzer, C., Nov. 2021Publikation: Vorabdruck/Dokumentation/Bericht > Vorabdruck (Preprint)