TEE-Perf: A Profiler for Trusted Execution Environments. - Maurice Bailleu; Donald Dragoti; Pramod Bhatotia; Christof Fetzer (DSN, 2019)

SPEICHER: Securing LSM-based Key-Value Stores using Shielded Execution. - Maurice Bailleu; Jörg Thalheim; Pramod Bhatotia; Christof Fetzer; Michio Honda; Kapil Vaswani (FAST, 2019)

Avocado: A Secure In-Memory Distributed Storage System. - Maurice Bailleu; Dimitra Giantsidi; Vasilis Gavrielatos; Do Le Quoc; Vijay Nagarajan; Pramod Bhatotia (USENIX ATC, 2021)

Treaty: Secure Distributed Transactions. - Dimitra Giantsidi; Maurice Bailleu; Natacha Crooks; Pramod Bhatotia (DSN, 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)

Recipe: Hardware-Accelerated Replication Protocols. - Dimitra Giantsidi; Emmanouil Giortamis; Julian Pritzi; Maurice Bailleu; Manos Kapritsos; Pramod Bhatotia (CoRR, 2025)