Catalin Hritcu - MPI-SP
ERC SECOMP - Efficient Formally Secure Compilation to a Tagged Architecture
Currently, I am a postdoctoral researcher in the Formally Verified Security group (FOVSEC) at the Max Planck Institute for Security and Privacy (MPI-SP) (previously a Starting Researcher in the Prosecco team at Inria Paris ). I work with Cătălin Hriţcu , previously as part of the ERC SECOMP project and the DARPA SSITH HOPE project.
My research interests are centered around the development and application of formal methods to solve computer security problems, developed along both axes:
Programming languages: proof assistants; formal specification, testing and verification; proof certificates; type systems; computational logic.
Catalin Hritcu - MPI-SP
ERC SECOMP - Efficient Formally Secure Compilation to a Tagged Architecture