SafePM: a sanitizer for persistent memory. - Kartal Kaan Bozdogan; Dimitrios Stavrakakis; Shady Issa; Pramod Bhatotia (EuroSys, 2022)

Anchor: A Library for Building Secure Persistent Memory Systems. - Dimitrios Stavrakakis; Dimitra Giantsidi; Maurice Bailleu; Philip Sändig; Shady Issa; Pramod Bhatotia (Proc. ACM Manag. Data, 2023)

Toast: A Heterogeneous Memory Management System. - Maurice Bailleu; Dimitrios Stavrakakis; Rodrigo Caetano Rocha; Soham Chakraborty 001; Deepak Garg 001; Pramod Bhatotia (PACT, 2024)

Gramine-TDX: A Lightweight OS Kernel for Confidential VMs. - Dmitrii Kuvaiskii; Dimitrios Stavrakakis; Kailun Qin; Cedric Xing; Pramod Bhatotia; Mona Vij (CCS, 2024)

SPP: Safe Persistent Pointers for Memory Safety. - Dimitrios Stavrakakis; Alexandrina Panfil; MJin Nam; Pramod Bhatotia (DSN, 2024)

Confidential VMs Explained: An Empirical Analysis of AMD SEV-SNP and Intel TDX. - Masanori Misono; Dimitrios Stavrakakis; Nuno Santos 001; Pramod Bhatotia (Proc. ACM Meas. Anal. Comput. Syst., 2024)

Cage: Hardware-Accelerated Safe WebAssembly. - Martin Fink 004; Dimitrios Stavrakakis; Dennis Sprokholt; Soham Chakraborty 001; Jan-Erik Ekberg; Pramod Bhatotia (CGO, 2025)

Confidential Serverless Computing. - Patrick Sabanic; Masanori Misono; Teofil Bodea; Julian Pritzi; Michael Hackl; Dimitrios Stavrakakis; Pramod Bhatotia (CoRR, 2025)