PaRISTIC : Journée du Mercredi 23 Novembre

Programme Sécurité et Informatique

HoraireContenu
08:30-09:30David Mazières,
Stanford University Computer Science Department
"How to Protect your Data by Eliminating Trusted Storage Infrastructure"[pdf]
09:30-10:00
09:30-10:00Pause
10:00-12:00
Vera (03): Vérification approchée, [pdf]
Michel de Rougemont,
Université Paris II, Panthéon-Assas & LRI
Bio-Mul (03): Biométrie et Multi modalité [pdf]
Jean-François Bonastre,
Université d'Avignon et des Pays de Vaucluse
Unihavege (03): De l'UNIversalité du générateur d'aléa irreproductible HAVEGE [pdf]
Cédric Lauradoux,
INRIA Rocquencourt
Casc (03): Contrôles d'Accés Sécurisés à des données Confidentielles[pdf]
Luc Bouganim,
INRIA
V3F - Résolution de contraintes sur les flottants [pdf]
Claude Michel,
I3S
Criss (03)Déclassification [pdf]
Gérard Boudol,
INRIA
Versydis (03): Formalismes non séquentiels pour la vérification et la synthèse de systèmes distribués [pdf]
Igor Walukiewicz,
Université Bordeaux-1 & LABRI
Spops (03): Sécurité et sûreté des systèmes d'exploitation ouverts pour Petits Objets Portables de Sécurité [pdf]
Gilles Barthe,
INRIA
12:00-13:30
13:30-14:30Commandes de vol électriques Airbus: une approche globale de la sûreté de fonctionnement [pdf]
Pascal Traverse,
Airbus Industrie
14:30-14:45Pause
14:45-15:45
Cesam (03): Les Courbes Elliptiques pour la Sécurité des Appareils Mobiles[pdf]
Sébastien Kunz-Jacques,
ENS & DCSSI
Corss (03): Une approche formelle pour le composition et le raffinement de services systèmes[pdf]
Mamoun Filali,
CNRS & FÉRIA-IRIT
Chronos (03): Chronographie sécurisée[pdf]
Alexis Bonnecaze,
Université de Provence et LIF
Desirs (03): DEveloppement de Systemes Informatiques par Raffinement des contraintes Sécuritaires[pdf]
Dominique Méry,
Université Henri Poincaré & LORIA
15:45-16:00Clôture des journées : Michel Bidoit