Registered user since Wed 27 May 2015

Name: Cătălin Hriţcu

Bio: Catalin is a tenured Research Scientist at Inria Paris where he develops rigorous formal techniques for solving security problems. He is particularly interested in formal methods for security (memory safety, compartmentalization, dynamic monitoring, integrity, security protocols, information flow), programming languages (type systems, verification, proof assistants, property-based testing, semantics, formal metatheory, certified tools), and the design and verification of security-critical systems (reference monitors, secure compilers, microkernels, secure hardware). He is actively involved in the design of the F* verification system and was recently awarded an ERC Starting Grant on secure compilation. Catalin was a PhD student at Saarland University and a Research Associate at University of Pennsylvania before joining Inria Paris in 2013.

Affiliation: Inria Paris

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

Research interests: Formal methods for security

POPL 2018 Activities

• Author of Short talk: The Meaning of Memory Safety within the PriSC 2018-track in PriSC 2018
• Author of Recalling a Witness: Foundations and Applications of Monotonic State within the Artifact Evaluation-track in POPL 2018
• Author of Recalling a Witness: Foundations and Applications of Monotonic State within the Research Papers-track in POPL 2018
• Artifact Evaluation Co-Chair in Artifact Evaluation Committee for POPL 2018 Artifact Evaluation
• Author of Robust Hyperproperty Preservation for Secure Compilation within the PriSC 2018-track in PriSC 2018
• 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 in PriSC 2018
• Program Chair in Program Committee for PriSC 2018
• Program Chair of PriSC Welcome within the PriSC 2018-track in PriSC 2018
• Author of A Monadic Framework for Relational Verification: Applied to Information Security, Program Equivalence, and Optimizations within the CPP 2018-track in CPP 2018
• Artifact Evaluation Co-Chair in Organizing Committee for POPL 2018
• Organizer in Organizing Committee for PriSC 2018
• Show activities from other conferences