
Registered user since Wed 27 May 2015
Cătălin Hrițcu is a tenured faculty at the Max Planck Institute for Security and Privacy (MPI-SP) where he leads the Formally Verified Security group. He is also an Adjunct Professor (APL) in the Faculty of Computer Science of Ruhr Uni Bochum (RUB), as well as a member of HGI and the CASA Cluster of Excellence at RUB. Before joining MPI-SP, Catalin was a Tenured Researcher at Inria Paris, a Visiting Researcher at Microsoft Research, and a PostDoc at University of Pennsylvania. He received a PhD from Saarland University and a Habilitation from ENS Paris.
Catalin is interested in formal methods for security (secure compilation, compartmentalization, memory safety, speculative execution defenses, information flow control, security protocols), programming languages (program verification, proof assistants, dependent types, formal semantics, property-based testing), and the design and verification of security-critical systems (compilation chains, reference monitors, tagged architectures, high-assurance crypto). He was awarded an ERC Starting Grant on formally secure compilation and was also involved in the design of the F* verification system. His research received Distinguished Paper Awards at the Computer Security Foundations (CSF) symposium in 2019, 2021, and 2025.
Contributions
2026
2025
ICFP
2024
POPL
2023
PriSC
- Author of Securely Compiling F* Programs With IO and Then Linking Them Against Weakly-Typed Interfaces within the PriSC 2023-track
- Session Chair of Session 2 (part of PriSC 2023)
- Author of SECOMP2CHERI: Securely Compiling Compartments from CompCert C to a Capability Machine within the PriSC 2023-track
- Steering Committee Chair in Steering Committee within the PriSC 2023-track
2022
2021
CPP
- Author of Chairs' report and community meeting within the CPP 2021-track
- Co-chair in Program Committee within the CPP 2021-track
- Steering Committee Member in Steering Committee within the CPP 2021-track
- PC and Conference Co-Chair in Organization Committee within the CPP 2021-track
- Session Chair of Invited Talk (part of CPP 2021)
2020
CPP
2019
ESOP
POPL
2018
POPL
- Author of Recalling a Witness: Foundations and Applications of Monotonic State within the Artifact Evaluation-track
- Author of Recalling a Witness: Foundations and Applications of Monotonic State within the Research Papers-track
- Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the Artifact Evaluation-track
- Artifact Evaluation Co-Chair in Organizing Committee
PriSC
- Author of Short talk: The Meaning of Memory Safety within the PriSC 2018-track
- Author of Robust Hyperproperty Preservation for Secure Compilation within the PriSC 2018-track
- Session Chair of Welcome and Invited Talk (part of PriSC 2018)
- Author of Formally Secure Compilation of Unsafe Low-Level Components within the PriSC 2018-track
- Program Chair in Program Committee within the PriSC 2018-track
- Program Chair of PriSC Welcome within the PriSC 2018-track
- Organizer in Organizing Committee within the PriSC 2018-track