Charly Castes

According to our database, Charly Castes authored at least 7 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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, July, 2025

Lightweight Hypervisor Verification: Putting the Hardware Burger on a Diet.

Charly Castes, François Costa, Nate Foster, Thomas Bourgeat, Edouard Bugnion

Proceedings of the 2025 Workshop on Hot Topics in Operating Systems, 2025

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

Proceedings of the 2nd Workshop on Kernel Isolation, Safety and Verification, 2024

Sharing is leaking: blocking transient-execution attacks with core-gapped confidential VMs.

Charly Castes, Andrew Baumann

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2023

Dynamic Linkers Are the Narrow Waist of Operating Systems.

Charly Castes, Adrien Ghosn

Proceedings of the 12th Workshop on Programming Languages and Operating Systems, 2023

Creating Trust by Abolishing Hierarchies.

Charly Castes, Adrien Ghosn, Neelu Shivprakash Kalani, Yuchen Qian, Marios Kogias, Mathias Payer, Edouard Bugnion

Proceedings of the 19th Workshop on Hot Topics in Operating Systems, 2023

2022

Decentralized in-order execution of a sequential task-based code for shared-memory architectures.

Charly Castes, Emmanuel Agullo, Olivier Aumage, Emmanuelle Saillard

Proceedings of the IEEE International Parallel and Distributed Processing Symposium, 2022