Sites Inria

iMatch

iMatch Sécurité / Preuve de Programmes

iMatch

Le centre Inria Saclay - Île-de-France, en partenariat avec Systématic et Oséo, organise le mardi 23 novembre à 14h - salle de la CAPS (Parc Orsay Université) des rencontres entre industriels et chercheurs sur le thème de la sécurité et preuve de programmes. 

  • Date : 23/11/2010
  • Lieu : Parc Orsay Université - salle de la CAPS
  • Intervenant(s) : Chercheurs des équipes SECSI, TANC, COMETE et PROVAL
  • Organisateur(s) : Service des relations industrielles et de la valorisation du centre Inria Saclay - Île-de-France

L’iMatch Sécurité / Preuve de Programmes sera centré sur les thématiques suivantes :

  • Vérification de protocoles cryptographiques
  • Détection d’intrusions
  • Analyse statique de programmes, dans le but de détecter des trous de sécurité et des vulnérabilités au niveau protocolaire
  • Modèles et méthodes de preuve de programmes
  • Développement de logiciels critiques pour lesquels le besoin de certification est important

L’après-midi sera organisée en deux parties :

  • Présentation des principales offres technologiques sous forme d’interventions de 10 minutes
  • Rendez-vous privés de 20 minutes et démonstrations ouvertes

Les équipes SECSI, PROVAL, TANC, et COMETE seront présentes.

Zoom sur les technologies présentées :

  • Tookan : test de vulnérabilité sur matériel de sécurité sous la norme PKCS#11 (cartes à puce)
  • Orchids : vérification protocole cryptographique à travers une API Cryptologie
  • Avote : système de vote électronique sécurisé
  • Why : outil de génération de preuves
  • Alt-Ergo : prouveur spécialement mis au point pour la vérification de programmes
  • Tifa et Sea : systèmes cryptographiques robustes tirés de l’arithmétique des nombres, à destination de la sécurité des transactions ou des données

Et d’autres innovations à découvrir avec eux et en lien avec votre stratégie au travers des rendez-vous !

Mots-clés : IMatch Cryptographiqe Preuve de programme Inria Saclay - Île-de-France Sécurité

Haut de page

Suivez Inria