Catalin Hritcu - MPI-SP
Rob Blanco
About − Yannis Juglaret
SECOMP is a research project aimed at building the first efficient formally secure compilation chains for realistic programming languages (see project description below). The project encompasses a core team at MPI-SP and several external collaborators . Cătălin Hriţcu and the core team at MPI-SP were generously funded for 5 years (until the end of 2021) by an ERC Starting Grant .
The core SECOMP team is located at MPI-SP in Bochum, Germany , and currently includes Cătălin Hriţcu , several students, and one postdoc. The project also includes excellent external collaborators and we are looking forward to work with additional world-class researchers with an interest in secure compilation (see the PriSC workshop @ POPL and a series of Dagstuhl Seminars on secure compilation ( 2018 , 2021 )).
Severe low-level vulnerabilities abound in today’s computer systems, allowing cyber-attackers to remotely gain full control. This happens in big part because our programming languages, compilation chains, and hardware architectures were designed in an era of scarce hardware resources and too often trade off security for efficiency. Mainstream programming languages like C are currently insecure, since any undefined behavior (e.g., a buffer overflow) can compromise the security of the whole application. Secur
Catalin Hritcu - MPI-SP
Rob Blanco
About − Yannis Juglaret