Publications
281 Entries
2024
-
CRISP: Confidentiality, Rollback, and Integrity Storage Protection for Confidential Cloud-Native Computing , 2024, 12 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
TICAL: Trusted and Integrity-protected Compilation of AppLications , 2024, p. 25-32, 8 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
2023
-
A Last-Level Defense for Application Integrity and Confidentiality , 4 Dec 2023, 10 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
SinClave: Hardware-assisted Singletons for TEEs , 27 Nov 2023, p. 85-97, 13 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Trustworthy confidential virtual machines for the masses , 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 Landscape , 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 Correction , 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 Schemes , 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 Processing , 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 , 2023, 29, 12, p. 1461-1481, 21 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article