Decentralized in-order execution of a sequential task-based code for shared-memory architectures. - Charly Castes; Emmanuel Agullo; Olivier Aumage; Emmanuelle Saillard (IPDPS Workshops, 2022)

Creating Trust by Abolishing Hierarchies. - Charly Castes; Adrien Ghosn; Neelu Shivprakash Kalani; Yuchen Qian; Marios Kogias; Mathias Payer; Edouard Bugnion (HotOS, 2023)

Dynamic Linkers Are the Narrow Waist of Operating Systems. - Charly Castes; Adrien Ghosn (PLOS@SOSP, 2023)

Sharing is leaking: blocking transient-execution attacks with core-gapped confidential VMs. - Charly Castes; Andrew Baumann (ASPLOS (4), 2024)

Kicking the Firmware Out of the TCB with the Miralis Virtual Firmware Monitor. - Charly Castes; Neelu Shivprakash Kalani; Sofia Saltovskaia; Noé Terrier; Abel Vexina Wilkinson; Edouard Bugnion (KISV@SOSP, 2024)

Lightweight Hypervisor Verification: Putting the Hardware Burger on a Diet. - Charly Castes; François Costa; Nate Foster; Thomas Bourgeat; Edouard Bugnion (HotOS, 2025)

Rethinking the confidential cloud through a unified low-level abstraction for composable isolation. - Adrien Ghosn; Charly Castes; Neelu S. Kalani; Yuchen Qian; Marios Kogias; Edouard Bugnion (CoRR, 2025)