Hi there! I'm Charly.

I’m a PhD candidate at EPFL, Switzerland. My research interests revolve around isolation abstractions and mechanisms: I have been working on compilers, programming languages, operating systems, and confidential computing. 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.

This summer I am visiting student researcher in Google’s system research group, working with Andrew Baumann.

Beside my daily work, I enjoy learning and tinkering with new ideas, reading, exercising, and relaxing at home.

      

Research

  • 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.

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