PaRISTIC : Journée du Mardi 22 Novembre

Programme Sécurité et Informatique

HoraireContenu
08:20-08:30Introduction, Claude Kirchner
08:30-09:30Arnaud Belleil,
Directeur associť Cecurity.com
"Sécurité et archivage"[pdf]
09:30-10:00Pause
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:30Birgit 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

 En parallèle: 14:45-16:45 Tutorial sur la biométrie.

  1. Introduction à la biométrie, Reconnaissance de la signature [pdf]
    Bernadette Dorizzi,
    INT
  2. Reconnaissance du visage [pdf]
    Jean-Luc Dugelay,
    EURECOM
  3. Reconnaissance vocale [pdf]
    Jean-Francois Bonastre,
    Université d'Avignon et des Pays de Vaucluse