Write a Blog >>
Cătălin Hriţcu

Registered user since Wed 27 May 2015

Name: Cătălin Hriţcu

Bio: Catalin Hritcu is a researcher at Inria Paris where he works on security foundations. He is particularly interested in formal methods for security (secure compilation, compartmentalization, memory safety, security protocols, integrity, information flow), programming languages (program verification, type systems, proof assistants, semantics, formal metatheory, certified tools, property-based testing), and the design and verification of security-critical systems (reference monitors, secure compilation chains, secure hardware). He was awarded an ERC Starting Grant on formally secure compilation and is also actively involved in the design of the F* verification system and its use for building a formally verified HTTPS stack. Catalin received his PhD from Saarland University. Recently he received a Habilitation degree from ENS Paris, and was also a Research Associate at University of Pennsylvania and a Visiting Researcher at Microsoft Research Redmond.

Country: France

Affiliation: Inria Paris

Personal website: http://prosecco.gforge.inria.fr/personal/hritcu/

Research interests: Formal methods for security

Contributions

PriSC 2020Author of Trace-Relating Compiler Correctness and Secure Compilation within the Principles of Secure Compilation 2020-track
Chair in Steering Committee within the Principles of Secure Compilation 2020-track
CPP 2020Author of PC Chairs' report within the CPP 2020-track
Session Chair of Invited talk (part of CPP 2020)
Program Co-Chair in Program Committee within the CPP 2020-track
POPL 2020Author of The Next 700 Relational Program Logics within the Research Papers-track
Show activities from other conferences

POPL 2020-profile
View general profile