SPLiTS, Secure Programming Languages & Tools for Security,  is a research team at Inria (Inria équipe-projet), focusing on defensive system security and compilers. It was created on July 1st, 2023.

SPLiTS’ overarching goal is to develop safeguard mechanisms for  confidentiality and integrity of computer systems by providing mathematical proofs that align with currently valid threat models at various levels of abstraction. To accomplish this goal, our research plan is organized into six axes,  addressing different levels of abstraction.

Research directions

  • Web application security 
  • Program analyses for verification and vulnerability detection
  • Optimizing compilers
  • Compilers for high assurance cryptography
  • Transient execution attacks and defenses 
  • Session Types and provable security


We are always on the lookout for highly motivated students and young researchers for research internships and PhD, Research Engineer, or Researcher positions. We have external funding for a couple of PhD and can also support strong candidates for Researcher positions funded and awarded competitively by Inria.

How to reach us

We are located at the Centre Inria d’Université Côte d’Azur, located at 2004, route des Lucioles, Sophia Antipolis. We are on the first floor of the Fermat building. You will need your ID to enter the building.

Postal address

Inria SPLiTS team

Centre Inria d’Université Côte d’Azur

2004 route des Lucioles

BP 93, 06902 Sophia Antipolis Cedex


Comments are closed.