PROSECCO (SR0526LR)

Programming securely with cryptography

PROSECCO (SR0502AR) →  PROSECCO

Statut: Décision signée

Responsable : Bruno Blanchet (Par intérim)

Mots-clés de "A - Thèmes de recherche en Sciences du numérique - 2024" : A1.1. Architectures , A1.1.8. Sécurité des architectures , A1.2. Réseaux , A1.2.8. Sécurité des réseaux , A1.3. Systèmes distribués , A2. Logiciel , A2.1. Langages de programmation , A2.1.1. Sémantique des langages de programmation , A2.1.4. Programmation fonctionnelle , A2.1.7. Programmation distribuée , A2.1.11. Langages de preuve , A2.2. Compilation , A2.2.1. Analyse statique , A2.2.5. Environnements d'exécution , A2.4. Méthodes formelles pour vérification, sureté, certification , A2.4.2. Model-checking , A2.4.3. Preuves , A2.5. Génie logiciel , A4. Sécurité et confidentialité , A4.3. Cryptographie , A4.3.3. Protocoles cryptographiques , A4.5. Méthodes formelles pour la sécurité , A4.6. Authentification , A4.8. Technologies pour la protection de la vie privée

Mots-clés de "B - Autres sciences et domaines d'application - 2024" : B6. Informatique et télécommunications , B6.1. Industrie du logiciel , B6.1.1. Génie logiciel , B6.3. Fonctions réseaux , B6.3.1. Web , B6.3.2. Protocoles , B6.4. Internet des objets , B9. Société & connaissance , B9.6.2. Droit , B9.10. Confidentialité, vie privée

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

Période : 01/07/2012 -> 30/06/2025
Dates d'évaluation : 17/03/2015 , 21/03/2019 ,

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

CRI : Centre Inria de Paris
Localisation : Centre de recherche Inria de Paris
Code structure Inria : 021117-1

Numéro RNSR : 201222120W
N° de structure Inria: SR0526LR

Présentation

Axes de recherche

Relations industrielles et internationales