Publications

Confidential VMs Explained: An Empirical Analysis of AMD SEV-SNP and Intel TDX. SIGMETRICS ‘25 (To Appear)
Masanori Misono, Dimitrios Stavrakakis, Nuno Santos, Pramod Bhatotia.
[Paper] [Presentation] [Code]

Cage: Hardware-Accelerated Safe WebAssembly. CGO ‘25 (To Appear)
Martin Fink, Dimitrios Stavrakakis, Dennis Sprokholt, Soham Chakraborty, Jan-Erik Ekberg, Pramod Bhatotia.
[Pre-Print] [Paper] [Presentation] [Code]

Gramine-TDX: A Lightweight OS Kernel for Confidential VMs. CCS ‘24
Dmitrii Kuvaiskii*, Dimitrios Stavrakakis*, Kailun Qin, Cedric Xing, Pramod Bhatotia, Mona Vij.
* Equal contribution to the paper.
[Paper] [Presentation] [Code] [Benchmarking framework]

Toast: A Heterogeneous Memory Management System. PACT ‘24
Maurice Bailleu, Dimitrios Stavrakakis, Rodrigo Rocha, Soham Chakraborty, Deepak Garg, Pramod Bhatotia.
[Paper] [Presentation] [Code]

SPP: Safe Persistent Pointers for Memory Safety. DSN ‘24
Dimitrios Stavrakakis, Alexandrina Panfil, MJin Nam, Pramod Bhatotia.
[Paper] [Presentation] [Code]

Anchor: A Library for Building Secure Persistent Memory Systems. SIGMOD ‘24
Dimitrios Stavrakakis, Dimitra Giantsidi, Maurice Bailleu, Philip Sändig, Shady Issa, Pramod Bhatotia.
[Paper] [Presentation] [Code] [Security Proofs]

SafePM: A Sanitizer for Persistent Memory. EuroSys ‘22
Kartal Kaan Bozdoğan*, Dimitrios Stavrakakis*, Shady Issa, Pramod Bhatotia.
* Equal contribution to the paper.
[Paper] [Presentation] [Code]
Honorable Mention: Best Artifact Award