Publications

CVM-Store: A Secure Storage System for Confidential Virtual Machines
Thore Sommer, Masanori Misono, Dimitrios Stavrakakis, Pramod Bhatotia.
NDSS ‘27 (To Appear)
[Paper] [Presentation] [Code]

Should Your Database Systems Use Hardware-Assisted Memory Safety Extensions in Production?
Ilya Meignan–Masson*, Martin Fink*, Masanori Misono, Dimitrios Stavrakakis, Pramod Bhatotia.
* Equal contribution to the paper.
SIGMOD ‘27 (To Appear)
[Pre-print] [Paper] [Presentation] [Code]

GDPRuler: A Trusted GDPR Monitor for Cloud Data Systems
Dimitrios Stavrakakis, Masanori Misono, Julian Pritzi, Harshavardhan Unnibhavi, Nuno Santos, Pramod Bhatotia.
CCS ‘26
[Paper] [Presentation] [Code] [Tech report]

Wallet: Confidential Serverless Computing
Patrick Sabanic, Masanori Misono, Teofil Bodea, Julian Pritzi, Michael Hackl, Dimitrios Stavrakakis, Pramod Bhatotia.
NSDI ‘26
[Paper] [Presentation] [Code] [Arxiv version]

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

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

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

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

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

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

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

Other publications / Non-peer-reviewed manuscripts

IMPACT: Constraint-Aware Search for Imperfectly Factorized Accelerator Mappings
Konstantinos Stavrakakis, Ilgaz Er, Theofilos Spyrou, Dimitrios Stavrakakis, Stephan Wong, Georgi Gaydadjiev, Said Hamdioui.
ASP-DAC ‘27 (To Appear)
[Paper] [Presentation] [Code]

Trusted AI Agents in the Cloud
Teofil Bodea, Masanori Misono, Julian Pritzi, Patrick Sabanic, Thore Sommer, Harshavardhan Unnibhavi, David Schall, Nuno Santos, Dimitrios Stavrakakis, Pramod Bhatotia.
Arxiv ‘25
[Paper] [Presentation] [Code] [Arxiv version]