PaRISTIC : Communications

Sécurité

• G. Barthe, INRIA
  Spops (03): Sécurité et sûreté des systèmes d'exploitation ouverts pour Petits Objets Portables de Sécurité [pdf]
• J.F. Bonastre, Université d'Avignon et des Pays de Vaucluse
  Bio-Mul (03): Biométrie et Multi modalité [pdf]
• A. Bonnecaze, Université de Provence et LIF
  Chronos (03): Chronographie sécurisée [pdf]
• G. Boudol, INRIA
  Criss (03)Déclassification [pdf]
• L. Bouganim, INRIA
  Casc (03): Contrôles d'Accés Sécurisés à des données Confidentielles [pdf]
• P. Bouyer, CNRS & LSV
  Cortos (03): Observations et contrôle des systèmes temps-réel ouverts [pdf]
• Y. Bréhon, ENST
  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]
• C. Castellucia, INRIA Rhone-Alpes
  Splash: Sécurisation des Protocoles dans les réseaux ad Hoc [pdf]
• M. Filali, CNRS & FÉRIA-IRIT
  Corss (03): Une approche formelle pour le composition et le raffinement de services systèmes [pdf]
• J.M. Fourneau, Université de Versaille-Saint-Quentin & PRISM
  Sure paths (03): Evaluation stochastique de la fiabilité de la perfomabilité et de la sûreté des systèmes de model checking probabilistes [pdf]
• D. Fournier-Prunaret, Professeur INSA Toulouse
  Transchaos (03): Le chaos pour la sécurité des transmissions [pdf]
• T. Furon, INRIA & IRISA
  Fabriano (03): Sécurité et filigrane numérique [pdf]
• J. Groslambert, LIFC, C. Paulin-Mohring, Université Paris-Sud et LRI
  Geccoo (03): Génération de code certifié pour des applications orientées objets [pdf]
• T. Hardin, Université de Paris 6 & LIP6
  Modulogic (03): Atelier de construction de modulaire de logiciels certifié. Application aux politiques de sécurité [pdf]
• T. Jensen, CNRS & IRISA
  Dispo (03): Disponibilité de services dans des composants logiciels [pdf]
• J. Kempe, CNRS & LRI
  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]
• S. Kunz-Jacques, ENS & DCSSI
  Cesam (03): Les Courbes Elliptiques pour la Sécurité des Appareils Mobiles [pdf]
• I. de Lamberterie, CNRS & CECOJI, Marion Videau, Université de Marne-la-Vallée & CECOJI
  Asphales (04): Les interactions entre sécurité informatique et sécurité juridique dans les chantiers normatifs de la Société de l'information [pdf]
• C. Lauradoux, INRIA Rocquencourt
  Unihavege (03): De l'UNIversalité du générateur d'aléa irreproductible HAVEGE [pdf]
• Y. Ledru, Université Joseph Fourier & LSR/IMAG
  Edemoi (03): Modélisation de la sécurité des aéroports [pdf]
• D. Lugiez, Université de Provence & LIF
  Rossignol (03): Sémantique de la vérification des protocoles cryptographiques: théorie et applications [pdf]
• D. Méry, Université Henri Poincaré & LORIA
  Desirs (03): DEveloppement de Systemes Informatiques par Raffinement des contraintes Sécuritaires [pdf]
• L. Mevel, INRIA & IRISA
  Constructif (03): COuplage de coNcepts pour la surveillance de sTRUCTures mécaniques InFormatisées [pdf]
• C. Michel, I3S
  V3F - Résolution de contraintes sur les flottants [pdf]
• D. Powell, CNRS & LAAS
  Mosaic (04): Disponibilité, Intégrité et Confidentialité dans les Systèmes Mobiles [pdf]
• M. de Rougemont, Université Paris II, Panthéon-Assas & LRI
  Vera (03): Vérification approchée [pdf]
• P. Schnoebelen, CNRS & LSV & ENS Cachan
  Persée (03): Techniques symboliques pour la vérification automatique des systèmes critiques hétérogènes [pdf]
• N. Sendrier, INRIA
  Ocam (03): Opérateurs Cryptographiques et Arithmétique Matérielle [pdf]
• I. Walukiewicz, Université Bordeaux-1 & LABRI
  Versydis (03): Formalismes non séquentiels pour la vérification et la synthèse de systèmes distribués [pdf]
• S. Yovine, CNRS & Verimag
  Dynamo (03): Analyse de Logiciels Concurrents Embarqués: Mémoire et Contrôle Dynamique