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
    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
    Charly Castes, Andrew Baumann
  • Dynamic Linkers Are the Narrow Waist of Operating Systems
    Charly Castes, Adrien Ghosn
  • Creating Trust by Abolishing Hierarchies
    Charly Castes, Adrien Ghosn, Neelu S. Kalani, Yuchen Qian, Marios Kogias, Mathias Payer, Edouard Bugnion
  • Attestable Software Versioning for Stateful Confidential Computing
    Charly Castes, Edouard Bugnion
  • Decentralized In-Order Execution of Sequential Task-Based Code for Shared-Memory Architectures
    Charly Castes, Emmanuel Agullo, Olivier Aumage, Emmanuelle Saillard
  • Enclosure: language-based restriction of untrusted libraries
    Adrien Ghosn, Marios Kogias, Mathias Payer, James R. Larus, Edouard Bugnion
    Note: Implemented the Intel MPK backend as part of a semester project.

Visiting

Service

Academic

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

Other

Supervised Students

  • Sofia Saltovskaia
    • Porting Miralis to the VisionFive 2 2024
  • Noé Terrier
    • Virtualizing M-mode interrupts 2024
    • Exploring Kernel Drivers in Rust 2023
  • Abel Vexina Wilkinson
    • Firmware virtualization with Mirage 2024
  • Maëlys Billon
    • A Communication Library for TEEs 2023
    • Trusted Boot with Intel TXT 2022
  • Filippo Costa
    • Verifying Rust Code with Serval 2022
  • David Desboeufs
    • A Finite Interface Frame Allocator 2022
  • Michael Paper
    • Verified Page Tables Manipulation 2022

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