PISCO
Accueil  
  Les partenaires  
La plateforme  
La certification  
  Les démonstrateurs  
Les résultats  



Inria

Etablissement public de recherche à caractère scientifique et technologique (EPST), Inria, créé en 1967, est le seul institut public de recherche entièrement dédié aux sciences du numérique. Au sein d’Inria, l’équipe-projet Prosecco poursuit ses recherches dans le domaine de la cryptographie appliquée.

Les chercheurs de l’équipe construisent et vérifient des logiciels qui utilisent la cryptographie, e.g.
• Protocoles (TLS, …)
• Interfaces de sécurité (PKCS#11, …)
• Applications web et Smartphone.

Les techniques d’analyse incluent
• Systèmes de typage
• Démonstrateurs automatiques (Proverif, Cryptoverif)
• Outils d’analyse dynamiques (run-time).

Dans le cadre du projet PISCO, Prosecco va contribuer avec son expertise en analyse de sécurité des interfaces cryptographiques.

• Collaboration avec l’équipe SafeRiver, analyse des applications qui font appel à l’appareil cryptographique (HSM).

• Analyse du code source statiquement pour découvrir les appels possibles à l’interface cryptographique.

• Construction d’un modèle de la cryptographie telle qu’elle est employée par l’application.

• Analyse de ce modèle par méthodes formelles.

• Prototype d’un outil automatique.

Inria
Site extranet Pisco - Mise à jour : 20/11/2013 16:42:57 - Mentions Légales
© CEA 2003 - 2017 Tous droits réservés