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 others, 2023, Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2023. USENIX Association, p. 833-850, 18 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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, p. 1461-1481, 21 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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