SPLITS (SR0943QR)

Languages de Programmation Sécures et Outils pour la Sécurité

INDES (SR0429HR) →  SPLITS

Statut: Décision signée

Responsable : Tamara Rezk

Mots-clés de "A - Thèmes de recherche en Sciences du numérique - 2023" : A1.1.8. Sécurité des architectures , A1.3.1. Web , A2.1.1. Sémantique des langages de programmation , A2.1.4. Programmation fonctionnelle , A2.1.6. Programmation concurrente , A2.1.7. Programmation distribuée , A2.1.10. Langages dédiés , A2.1.11. Langages de preuve , A2.2.1. Analyse statique , A2.2.8. Génération de code , A2.2.9. Sécurité par la compilation , A2.4.1. Analyse , A2.4.3. Preuves

Mots-clés de "B - Autres sciences et domaines d'application - 2023" : B6. Informatique et télécommunications

Domaine : Algorithmique, programmation, logiciels et architectures
Thème : Sécurité et confidentialité

Période : 01/07/2023 -> 30/06/2027
Dates d'évaluation :

Etablissement(s) de rattachement : <sans>
Laboratoire(s) partenaire(s) : <sans UMR>

CRI : Centre Inria d'Université Côte d'Azur
Localisation : Centre Inria d'Université Côte d'Azur
Code structure Inria : 041173-0

Numéro RNSR : 202324427F
N° de structure Inria: SR0943QR

Présentation

Axes de recherche

Relations industrielles et internationales