Registered user since Wed 27 May 2015
Cătălin Hrițcu is a tenured faculty member and head of the Formally Verified Security group at the new Max Planck Institute for Security and Privacy (MPI-SP) in Bochum, Germany. He is particularly interested in formal methods for security (secure compilation, compartmentalization, memory safety, security protocols, information flow), programming languages (program verification, proof assistants, dependent types, formal semantics, mechanized metatheory, property-based testing), and the design and verification of security-critical systems (reference monitors, secure compilation chains, tagged architectures). He was awarded an ERC Starting Grant on formally secure compilation, and is also involved in the design of the F* verification system. Catalin received a PhD from Saarland University, a Habilitation from ENS Paris, and was previously also a Tenured Researcher at Inria Paris, a Postdoctoral Research Associate at University of Pennsylvania, and a Visiting Researcher at Microsoft Research Redmond.
Contributions
2025
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