Hi there! I'm Charly.

I’m a PhD candidate at EPFL, Switzerland. My research focuses on building secure foundations for our compute infrastructure. I am part of the Data Center System Laboratory, working under the supervision of Prof. Edouard Bugnion. You can reach out by email using the address charly.castes@epfl.ch.

Research

You can find more about my research projects here.

• Kicking the Firmware Out of the TCB with the Miralis Virtual Firmware Monitor

  KISV'24

  Charly Castes, Neelu S. Kalani, Sofia Saltovskaia, Noé Terrier, Abel Vexina Wilkinson, Edouard Bugnion
• Sharing is leaking: blocking transient execution attacks with core-gapped confidential VMs

  ASPLOS'24 (to be presented at ASPLOS'25)

  Charly Castes, Andrew Baumann
• Dynamic Linkers Are the Narrow Waist of Operating Systems

  PLOS'23

  Charly Castes, Adrien Ghosn
• Creating Trust by Abolishing Hierarchies

  HotOS'23

  Charly Castes, Adrien Ghosn, Neelu S. Kalani, Yuchen Qian, Marios Kogias, Mathias Payer, Edouard Bugnion
• Attestable Software Versioning for Stateful Confidential Computing

  SysTEX'22

  Charly Castes, Edouard Bugnion
• Decentralized In-Order Execution of Sequential Task-Based Code for Shared-Memory Architectures

  IPDPSW'22

  Charly Castes, Emmanuel Agullo, Olivier Aumage, Emmanuelle Saillard
• Enclosure: language-based restriction of untrusted libraries

  ASPLOS'21

  Adrien Ghosn, Marios Kogias, Mathias Payer, James R. Larus, Edouard Bugnion

  Note: Implemented the Intel MPK backend as part of a semester project.

Visiting

• Google, System Research Group 2023

  Host: Andrew Baumann

Service

Academic

• JSys: Assistant Editor 2023 - ongoing
• EuroSys 2023: Artifact Evaluation Committee
• EuroSys 2022: Artifact Evaluation Committee

Other

• EPFL IC School Council 2023 - ongoing

  Scientific Staff Representative
• EPFL IC Graduate Student Association 2022 - ongoing

  Committee Member

Supervised Students

• Sofia Saltovskaia
  • Porting Miralis to the VisionFive 2 2024

    Links:
• Noé Terrier
  • Virtualizing M-mode interrupts 2024

    Links:
  • Exploring Kernel Drivers in Rust 2023

    Links:
• Abel Vexina Wilkinson
  • Firmware virtualization with Mirage 2024

    Links:
• Maëlys Billon
  • A Communication Library for TEEs 2023

    Links:
  • Trusted Boot with Intel TXT 2022

    Links:
• Filippo Costa
  • Verifying Rust Code with Serval 2022

    Links:
• David Desboeufs
  • A Finite Interface Frame Allocator 2022

    Links:
• Michael Paper
  • Verified Page Tables Manipulation 2022

    Links:

Teaching

I was TA for the following classes at EPFL:

• Software Enterprise: From Ideas to Products 2024

  Prof: George Candea, Edouard Bugnion, Pierluca Borsò-Tan
• Decentralized System Engineering 2023

  Prof: Pierluca Borsò-Tan
• Global Issues: Communication 2023

  Profs: James Larus, Anna Jobin
• Projet Programmation Système 2022

  Profs: Jean-Cédric Chappelier, Edouard Bugnion
• Foundation of Software 2021

  Prof: Martin Odersky