The frequent announcements of yet another cybersecurity breach show that the security of the software that surrounds us is, more than ever, a scientific challenge of utmost societal importance. More and more software is produced to operate on an increasingly varied number of devices and to provide increasingly complex functionality. The goal of the EPICURE project is to contribute with semantics-based methods for producing safe and secure software by defining new semantic frameworks that will provide more accurate models of modern execution platforms. This will serve to model safety and security properties related to information flow control and side channels, and to design formally verified analysis and compilation schemes. The specific aim is to analyse and verify properties of programs written in high-level languages, and to compile both program and the verified properties down to low-level
executable representations. We will demonstrate the impact of language-based tools on software security by showing how they can improve the correctness, safety and security of critical software found in modern execution environments, such as the Java virtual machine, the Tezos blockchain written in OCaml, and small operating systems for the IoT such as RIOT.
News and announcements
- Aurore 2023: Epicure welcomes Aurore Alcolei as a new research engineer in the team.
- September 2023: Epicure welcomes three new PhD students: Clément Chavanon, Alexandre Drewery and Malo Revel.
- March 2023: Sandrine Blazy received the Médaille d’argent du CNRS for her work on CompCert.
- January 2023: CompCert, whose contributors include team member Sandrine Blazy, received the 2022 ACM SIGPLAN Programming Languages Software Award.
- December 2022: Aurèle Barrière successfully defended his PhD on December 19th (web page).
- December 2022: The papers Formally Verified Native Code Generation in an Effectful JIT (Aurèle Barrière, Sandrine Blazy, David Pichardie) and The Geometry of Causality: Multi-Token Geometry of Interaction and its Causal Unfolding (Simon Castellan, Pierre Clairambault) have been accepted to POPL 2023 !
- December 2022: Adam Khayam successfully defended his PhD on November 30th.
- November 2022: Epicure welcomes Pierre Lermusiaux (Research Engineer).
- October 2022: Guillaume Ambal successfully defended his PhD on October 19th (web page).
- October 2022: Epicure welcomes Tony Law (PhD student) and Alain Delaet (PhD student).
- September 2022: Louis Noizet successfully defended his PhD on September 29th (manuscript).
- September 2022: Epicure welcomes Benjamin Farinier (Maître de conférences — Lecturer) and Roméo La Spina (PhD student) !
- July 2022: The paper Lifting Numeric Relational Domains to Algebraic Data Types (
- July 2022: The Epicure team is created !