Hi there! I'm Charly.

I’m a PhD candidate at EPFL, Switzerland. My research focuses on building systems we can trust. I am part of the Data Center System Laboratory, working under the supervisor of Prof. Edouard Bugnion. You can learn more about my research here.

      

Research

You can find more about my research projects here.

  • 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

  • Noé Terrier
    • Exploring Kernel Drivers in Rust 2023
  • 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:

  • 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