Current

• Ajacs — ANR project
• CISC — ANR project
• SPAI —  Inria Project Lab
• WebCert (see also Ajacs) — Inria International Partner

Past

• Discover — ANR project
• Anastasec — ANR project
• JCert — Inria associate team
• Verasco — ANR project