I am a PhD candidate at the Large-Scale Data & Systems Group from the Imperial College London under the supervision of Peter Pietzuch. My research interests cover systems, security, containers, and virtualization.

I am also doing research for the Complex Systems Group of the Institut d’Informatique of the Université de Neuchâtel (IIUN) and for the Computer Architecture Department of the Technical University of Catalonia.

About Me

My main research interests lie in the broad area of systems, security, and networking, with a strong mathematical foundation. I am also highly interested in formal methods, verification and synthesis.

As a researcher at the IIUN, and under the supervision of Valerio Schiavoni, I am actively doing research with Trusted Execution Environments, namely Intel SGX and Arm TrustZone, and working on network emulation tools with the Angainor Project.

For my MSc thesis, and with a grant of the Department of Computer Architecture, I am working on live migration of distributed container deployments using checkpoint/restore. You can follow the development of the project in the Github repo.


  1. C. Segarra, R. Delgado-Gonzalo, and V. Schiavoni (2020) MQT-TZ: Hardening IoT Brokers Using ARM TrustZone. SRDS 2020. Shangai, China. September 21-24 2020.
    [DOI | arXiv | Cite | PDF]
  2. P. Gouveia, J. Neves, C. Segarra, L. Liechti, S. Issa, V. Schiavoni, and M. Matos (2020) Kollaps: Decentralized and Dynamic Topology Emulation. EuroSys 2020. Crete, Greece. April 27-30 2020.
    [DOI | arXiv | Cite | PDF]
  3. C. Segarra, R. Delgado-Gonzalo, and V. Schiavoni (2019) “MQT-TZ: Secure MQTT Broker for Biomedical Signal Processing on the Edge”. MIE 2020, Geneva, Switzerland. May 19-20, 2020.
    [DOI | arXiv | Cite | PDF]
  4. C. Segarra, E. Muntan'e, M. Lemay, V. Schiavoni, and R. Delgado-Gonzalo (2019) Secure Stream Processing for Medical Data. IEEE EMBC 2019.
    [DOI | arXiv | Cite | PDF]
  5. C. Segarra, R. Delgado-Gonzalo, M. Lemay, P-L. Aublin, P. Pietzuch, and V. Schiavoni (2019) Using Trusted Execution Environments for Secure Stream Processing of Medical Data. In: Pereira J., Ricci L. (eds) Distributed Applications and Interoperable Systems. DAIS 2019. Lecture Notes in Computer Science, vol 11534.
    [DOI | arXiv | Cite | PDF]


Work Experience

Last update: 09/09/2020