| Horaire | Contenu |
| 08:20-08:30 | Introduction, Claude Kirchner |
| 08:30-09:30 | Arnaud Belleil,
Directeur associé Cecurity.com
"Sécurité et archivage"[pdf] |
| 09:30-10:00 | Pause |
| 10:00-12:00 |
| | |
Ocam (03): Opérateurs Cryptographiques et Arithmétique Matérielle [pdf]
Nicolas Sendrier,
INRIA | Dispo (03): Disponibilité de services dans des composants logiciels [pdf]
Thomas Jensen,
CNRS & IRISA |
Fabriano (03): Sécurité et filigrane numérique [pdf]
Teddy Furon,
INRIA & IRISA | Edemoi (03): Modélisation de la sécurité des aéroports [pdf]
Yves Ledru,
Université Joseph Fourier & LSR/IMAG |
Asphales (04): Les interactions entre sécurité informatique et sécurité juridique dans les chantiers normatifs de la Société de l'information [pdf]
Isabelle de Lamberterie,
CNRS & CECOJI,
Marion Videau,
Université de Marne-la-Vallée & CECOJI | Constructif (03): COuplage de coNcepts pour la surveillance de sTRUCTures mécaniques InFormatisées [pdf]
Laurent Mevel,
INRIA & IRISA |
Réseau Quantique (03): Eléments de sécurité et de vérification de l'information et des algorithmes dans les réseaux quantiques [pdf]
Julia Kempe,
CNRS & LRI | Cortos (03): Observations et contrôle des systèmes temps-réel ouverts [pdf]
Patricia Bouyer,
CNRS & LSV |
|
| 12:00-13:30 | |
| 13:30-14:30 | Birgit Pfitzmann,
IBM Research, Zurich,
Web service security and federated identity management
[pdf] |
| 14:30-14:45 | |
| 14:45-16:15 |
Rossignol (03): Sémantique de la vérification des protocoles cryptographiques: théorie et applications [pdf]
Denis Lugiez,
Université de Provence & LIF | Mosaic (04): Disponibilité, Intégrité et Confidentialité dans les Systèmes Mobiles [pdf]
David Powell,
CNRS & LAAS |
Dynamo (03): Analyse de Logiciels Concurrents Embarqués: Mémoire et Contrôle Dynamique [pdf]
Sergio Yovine,
CNRS & Verimag | Sure paths (03): Evaluation stochastique de la fiabilité de la perfomabilité et de la sûreté des systèmes de model checking probabilistes [pdf]
Jean-Michel Fourneau,
Université de Versaille-Saint-Quentin & PRISM |
Persée (03): Techniques symboliques pour la vérification automatique des systèmes critiques hétérogènes [pdf]
Philippe Schnoebelen,
CNRS & LSV & ENS Cachan | Presto (03): PRotection Et SécurisaTiOn des nouvelles architectures de réseaux (vers une sécurisation unifiée et robuste répondant à des modèles de service évolués) [pdf]
Yannick Bréhon,
ENST |
|
| 16:15-16:30 | |
| 16:30-17:30 |
Modulogic (03): Atelier de construction de modulaire de logiciels certifié. Application aux politiques de sécurité [pdf]
Thérèse Hardin,
Université de Paris 6 & LIP6 | Transchaos (03): Le chaos pour la sécurité des transmissions [pdf]
Danièle Fournier-Prunaret,
Professeur INSA Toulouse |
Geccoo (03): Génération de code certifié pour des applications orientées objets [pdf]
Julien Groslambert,
LIFC,
Christine Paulin-Mohring,
Université Paris-Sud et LRI | Splash: Sécurisation des Protocoles dans les réseaux ad Hoc [pdf]
Claude Castellucia,
INRIA Rhone-Alpes |
|