Charly Castes
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2023–2025
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | HotOS | Lightweight Hypervisor Verification: Putting the Hardware Burger on a Diet. | Charly Castes, Franois Costa, Nate Foster, Thomas Bourgeat, Edouard Bugnion |
| 2025 | SOSP | The Design and Implementation of a Virtual Firmware Monitor. | Charly Castes, Franois Costa, Neelu S. Kalani, Timothy Roscoe, Nate Foster, Thomas Bourgeat, Edouard Bugnion |
| 2024 | ASPLOS | Sharing is leaking: blocking transient-execution attacks with core-gapped confidential VMs. | Charly Castes, Andrew Baumann |
| 2023 | HotOS | Creating Trust by Abolishing Hierarchies. | Charly Castes, Adrien Ghosn, Neelu Shivprakash Kalani, Yuchen Qian, Marios Kogias, Mathias Payer, Edouard Bugnion |
| 2023 | PLOS | Dynamic Linkers Are the Narrow Waist of Operating Systems. | Charly Castes, Adrien Ghosn |