Current

• Salto — Inria/Nomadic Labs project
• CISC — ANR project
• SPAI —  Inria Project Lab

Past

• Discover — ANR project
• Anastasec — ANR project
• JCert — Inria associate team
• Verasco — ANR project
• Ajacs — ANR project
• WebCert (see also Ajacs) — Inria International Partner