Inria
Inria.fr
Inria Channel
iMatch
iMatch Sécurité / Preuve de Programmes
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
- Intervenants : Chercheurs des équipes SECSI, TANC, COMETE et PROVAL
- Organisateurs : 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é
Inscription
En savoir plus
Les iMatch ont pour but de favoriser des rencontres ciblées entre nos équipes de recherche et le monde industriel. À partir d’une thématique choisie, ces manifestations vont permettre d’apporter une vitrine aux offres technologiques portées par ces équipes et de «matcher» ces offres avec des usages et des applications potentiels. À l’issue de ces premiers rendez-vous, des actions de collaboration pourront ainsi être initiées.
