| Horaire | Contenu |
| |
| 08:30-09:30 | David 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:00 | Pause |
| 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:30 | Commandes de vol électriques Airbus: une approche globale de la sûreté de fonctionnement [pdf]
Pascal Traverse,
Airbus Industrie |
| 14:30-14:45 | Pause |
| 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:00 | Clôture des journées : Michel Bidoit |