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., p. 231-236, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Securing the Execution of ML Workflows across the Compute ContinuaMartin, A., Lordan Gomis, F. & Lezzi, D., 2023, 8 p.Research output: Contribution to conferences > Paper
• Triad: Trusted Timestamps in Untrusted EnvironmentsPereira Fernandez, G., Brito, A. & Fetzer, C., 2023, 8 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper

2022

• Formal Foundations for SCONE AttestationSardar, M. U. & Fetzer, C., 1 Jun 2022, p. 31-32, 2 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Understanding Trust Assumptions for Attestation in Confidential ComputingSardar, M. U., 1 Jun 2022, p. 49-50, 2 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• CHORS: hardening high-assurance security systems with trusted computingOzga, W., Faqeh, R., Le Quoc, D. & Gregor, F., May 2022, p. 1626–1635Electronic (full-text) versionResearch output: Contribution to conferences > 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 others, 30 Mar 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. (eds.).p. 480–501, 22 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Revizor: testing black-box CPUs against speculation contracts.Oleksenko, O., Fetzer, C., Köpf, B. & Silberstein, M., 28 Feb 2022, p. 226-239, 14 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• MATEE: Multimodal Attestation for Trusted Execution EnvironmentsGalanou, A., Gregor, F., Kapitza, R. & Fetzer, C., 2022, p. 121-134Electronic (full-text) versionResearch output: Contribution to conferences > Paper

2021

• Confidential Computing and Related Technologies: A ReviewSardar, M. U. & Fetzer, C., Nov 2021Research output: Preprint/documentation/report > Preprint