PROSECCO (SR0502AR)

Programming securely with cryptography

PROSECCO →  PROSECCO (SR0526LR)

Statut: Terminée

Responsable : Karthikeyan Bhargavan

Mots-clés de "A - Thèmes de recherche en Sciences du numérique - 2024" : Aucun mot-clé.

Mots-clés de "B - Autres sciences et domaines d'application - 2024" : Aucun mot-clé.

Domaine : Algorithmique, programmation, logiciels et architectures
Thème : Programmation, vérification et preuves

Période : 01/01/2012 -> 30/06/2012
Dates d'évaluation :

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

CRI : Centre Inria de Paris
Localisation : Rocquencourt
Code structure Inria : 021117-0

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

Présentation

Axes de recherche

Relations industrielles et internationales