| Programme |  |
XIVes Rencontres INRIA - Industrie
|
Avec les nouvelles technologies numériques, les logiciels entrent de plus en plus fortement dans des applications ayant un impact direct sur la vie des citoyens et le fonctionnement des sociétés. Le niveau de confiance que l’utilisateur peut avoir dans les technologies numériques est un critère clé du développement et du déploiement d’applications nouvelles. Les objectifs de ces rencontres sont ambitieux :
• faire un point sur les méthodes clés qui permettent
de gérer les exigences de sûreté et de sécurité tout
au long du cycle de vie des logiciels,
• rendre compte de leur mise en œuvre dans la conception
de composants critiques au travers d'exemples industriels,
• identifier les convergences entre sûreté et sécurité,
• partager les vues des différents acteurs sur les orientations
en matière de sûreté et de sécurité.
| PROGRAMME | |||
| 8h30 | Accueil des participants | ||
| 9h | Ouverture des rencontres Malik Ghallab, Délégué général à la recherche et au transfert pour l’innovation de l’INRIA |
||
| 9h10 | Présentation du programme de la
journée Claude Kirchner, INRIA |
||
| 9h15 | Plénière d’ouverture | ||
 Pourquoi
la conception de circuits électroniques sécurisés est plus dure
qu'il n'y paraît ? David Naccache, Paris II & ENS Ulm  Support
de présentation |
|||
| 10h15 | Pause café | ||
| 10h45 | Sessions parallèles | ||
| Systèmes sécurisés | Sécurité dans les réseaux | ||
| Modèles
et preuves pour la correction de programme Claude Marché, équipe-projet INRIA Proval, commune avec le CNRS, l’Université de Paris XI (LRI) et l’École Polytechnique (LIX) Support
de présentation |
Nouvelles
dimensions dans l’(in) sécurité de la Voix/IP Radu State, équipe-projet INRIA Madynes, commune avec le CNRS, l’INPL, les universités Henri Poincaré et Nancy 2 (LORIA) Support
de présentation |
||
| Méthodes
formelles appliquées à la Sécurité :
expériences chez Trusted Labs Eduardo Gimenez, Trusted Labs SAS Support
de présentation |
Sécurité et
RFID François Vacherand, CEA LETI Support
de présentation |
||
| Cartes à Puces
et systèmes de confiance Patrick George, Gemalto Support
de présentation |
Vérification
de protocoles de sécurité Mathieu Turuani, équipe-projet INRIA Cassis, commune avec le CNRS, l’INPL, les universités Henri Poincaré et Nancy 2 (LORIA) et l’Université de Franche-Comté (LIFC) Support
de présentation |
||
| Protection
matérielle de bases de données Philippe Pucheral, équipe-projet INRIA Smis commune avec l'université de Versailles Saint-Quentin Support
de présentation |
Vérification
des protocoles cryptographiques : apports d'une vue croisée
académie/ industrie Thomas Genet, université de Rennes 1, équipe-projet INRIA Lande, commune avec le CNRS, l'INSA de Rennes, l'université de Rennes 1 et Olivier Heen (Thomson Security Lab) Support
de présentation |
||
| 12h35 | Buffet - Démonstrations | ||
| 14h35 | Sessions parallèles | ||
| Cryptologie | Sécurité informatique pour les transports | ||
| Courbes
elliptiques et cryptographie François Morain, École Polytechnique, équipe-projet INRIA Tanc, commune avec le CNRS et l’École Polytechnique (LIX) Support
de présentation |
Sûreté des
systèmes embarqués : pour une sécurité des
véhicules Françoise Simonot, INPL, équipe-projet INRIA Trio, commune avec le CNRS, l’INPL, les universités Henri Poincaré et Nancy 2 (LORIA) et l’ENS de Lyon Support
de présentation
|
||
| La
sécurité prouvée : la confiance en la sécurité David Pointcheval, CNRS, équipe-projet INRIA Cascade, commune avec l'ENS Ulm Support
de présentation |
Application
de PolySpace Verifier au transport Christèle Faure, The MathWorks Support
de présentation |
||
| Mise
en place de clé multi-utilisateurs : de la cryptographie
aux réseaux Daniel Augot, équipe-projet INRIA Codes Support
de présentation |
Vérification
de l'absence d'erreurs à l'exécution dans des logiciels
industriels critiques de contrôle/commande par interprétation
abstraite Patrick Cousot, ENS Ulm, équipe-projet INRIA Abstraction commune avec le CNRS |
||
| Sécurité dans
les réseaux de capteurs Claude Castellucia, équipe-projet INRIA Planete Support
de présentation |
Sécurité informatique
et transport Jérôme Falampin, Siemens Support
de présentation |
||
| 16h25 | Plénière de fermeture | ||
| Les
virus du futur Eric Filiol, ESAT Support
de présentation |
|||
| Orientation
des travaux de recherche et de développement en matière
de sécurité Florent Chabaud, DCSSI Support
de présentation |
|||
| 17h25 | Clôture des rencontres Véronique Delebarre, Directrice du transfert et de l'innovation de l'INRIA Claude Puech, Directeur de la recherche de l'INRIA |
||
| 17h35 | Cocktail | ||
