Publications

2024

• CRISP: Confidentiality, Rollback, and Integrity Storage Protection for Confidential Cloud-Native ComputingHartono, A. P. P., Brito, A. & Fetzer, C., 2024, 12 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• TICAL: Trusted and Integrity-protected Compilation of AppLicationsKrahn, R., Paul, N. K., Gregor, F., Le Quoc, D., Monteiro Brito, A. E., Martin, A. & Fetzer, C., 2024, p. 25-32, 8 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper

2023

• A Last-Level Defense for Application Integrity and ConfidentialityPereira Fernandez, G., Brito, A., Hartono, A. P. P., Sardar, M. U. & Fetzer, C., 4 Dec 2023, 10 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• SinClave: Hardware-assisted Singletons for TEEsGregor, F., Krahn, R., Quoc, D. L. & Fetzer, C., 27 Nov 2023, p. 85-97, 13 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Trustworthy confidential virtual machines for the massesGalanou, A., Bindlish, K., Preibsch, L., Pignolet, Y., Fetzer, C. & Kapitza, R., 27 Nov 2023, Middleware 2023 - Proceedings of the 24th ACM/IFIP International Middleware Conference. p. 316–328, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Tailoring and Verification of the Trust Boundaries in a Heterogeneous TEE LandscapeGalanou, A., 10 Aug 2023, Proceedings - 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume, DSN-S 2023. p. 173-175, 3 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Adaptive Thermal Model for Structure Model Based CorrectionThiem, X., Rudolph, H., Krahn, R., Ihlenfeldt, S., Fetzer, C. & Müller, J., 2 Jun 2023, Lecture Notes in Production Engineering. p. 67-82, 16 p., Chapter 6Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/anthology/report
• Analysing and Learning Low-Latency Network Coding SchemesLatzko, V., Vielhaus, C., Mehrabi, M. & Fitzek, F. H., 2023, 2023 19th International Conference on Wireless and Mobile Computing, Networking and Communications, WiMob 2023. IEEE Computer Society, p. 175-180, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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