Publications

2023

• BWoS: Formally Verified Block-based Work Stealing for Parallel ProcessingWang, J., Trach, B., Fu, M., Behrens, D., Schwender, J., Liu, Y., Lei, J. & 3 weitere, 2023, Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2023. USENIX Association, S. 833-850, 18 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Cost-based Virtual Machine Scheduling for Data-as-a-Service Alves de Oliveira, A. C., Spohn, M. A., Fetzer, C., Le Quoc, D. & Martin, A., 2023, in:  Journal of universal computer science : JUCS. 29, 12, S. 1461-1481, 21 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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