• Home


• SSURF


• FoCaLize

08/03/2010

• Etude de l'apport des méthodes formelles déductives pour les développements de sécurité (Soutenance de thèse)
  E. Jaeger (ANSSI)
• A Formal Library of Set Relations and Its Application to Synchronous Languages
  César Muñoz (NASA Langley Research Center)
• Comment montrer qu'une méthode de démonstration automatique n'est pas une instance d'une autre ?
  Gilles Dowek (LIX) (travail avec Guillaume Burel)
• Les programmes prennent le temps
  Marc Pouzet (LRI)

26/11/2009

• Vision(s) intuitive(s) du raffinement
  E. Jaeger (DCSSI)
• Quantitative proofs and application to proof reuse
  I. Noyer (LIP6-ENSIIE)
• Spécification et Vérification des Politiques de Sécurité
  T. Bourdier (LORIA)

11/06/2009

• Introduction à Focal
  D. Delahaye (CNAM)
• Preuves en Focal avec Zenon
  D. Doligez (INRIA)

27/05/2009

• Preuves de propriétés de cartographie et d'anti-collision d'une fonction critique développée en Simulink
  J.F. Etienne et S. Fechter (SafeRiver)
• A few remarks about formal development of secure systems
  E.Jaeger (DCSSI), T.Hardin (LIP6)
• Détection des intrusions : vers moins d'empirisme
  L.Mé, V.Viet Trim Tong, L.George (Supelec)
• Interprétation logique de politiques de sécurité
  T.Bourdier (LORIA), H.Cirstea (LORIA), M.Jaume (LIP6), H.Kirchner (INRIA)
• FoCaLize
  F. Pessaux (LIP6)

07/11/2008

• Analyse de flot d'information pour les petits systèmes embarqués
  Isabelle Simplot-Ryl (Université de Lille 1)
• A rewrite-based approach for security policies
  Hélène Kirchner (INRIA), joint work with Claude Kirchner and Anderson Santana de Oliveira
• Détection automatisée de flux d'informations
  Horatiu Cirstea (LORIA, Université de Nancy II)
• Politique de contrôle d'accès multi-niveaux : tests de conformité vis à vis des flots avec l'outil FoCaL
  Catherine Dubois, Matthieu Carlier (ENSIIE), Lionel Habib, Mathieu Jaume (LIP6)
• Certification de règlementations de la sûreté des aéroports en FoCaL
  David Delahaye (CPR CNAM)
• Formalisation d'une norme par des politiques de sécurité
  Véronique Delebarre (Safe River)

13/05/2008

• Sûreté et sécurité des webservices
  Henri Binsztok (ML State)
• La sécurité dans les applications bancaires
  Marc Frappier (Univ. Sherbrooke)
• Analyse statique de propriétés de sécurité sur des programmes C
  David Teller (LIFO - Univ. Orléans)
• Development life cycle of critical software under Focal
  François Pessaux (SPI - LIP6)
• Types relationnels de CAML
  Pierre Weis (INRIA)

30/01/2008

• Détection de flux d'information illégaux (en vue de détection d'intrusion)
  Guillaume Hiet, Ludovic Mé, Benjamin Morin, Valérie Viet Triem Tong.
• MiniLustre mais il fait le Maximum ! (Towards the Development of a Certified Compiler for Lustre)
  Marc Pouzet.
• Focalize : Vers un nouveau compilateur
  Francois Pessaux.
• Introduction de techniques de tests en FOCAL
  Matthieu Carlier.

25/09/2007

• Formal Verification of Smart Cards Embedded C Code
  June Andronick.
• Spécification et analyse de programmes C(++) avec Frama-C et ACSL
  Virgile Prevosto, CEA List. (Exposé du 25/09/2007)
• Comparaison de modèles de contrôle d'accès
  Mathieu Jaume.
• Formalisation, comparaison et implantation d'un modèle de contrôle d'accès à base de rôles
  Lionel Habib.
• Implantation d'un modèle de contrôle d'accès discrétionnaire avec FOCAL
  Florian Brecht.
• Approche théorique de l'analyse de vulnérabilités
  Nadège Lewaszewski.

20/06/2007

• Weaving Rewrite Based Access Control Policies
  Eric Ke Wang.
• Formalisation de RBAC96
  Lionel Habib.
• Terminaison de fonctions récursives pour FOCAL
  William Bartlett.

07/06/2007

• BiCoq : Plonger B en Coq
  Eric Jaeger.
• Vérification formelle d'un front-end pour un compilateur C
  Sandrine Blazy.

05/04/2007

• Why you ought to use formal methods ? : a 3 pages (11-slides) illustration
  Eric Jaeger.
• Modular Access Control via Strategic Rewriting
  Daniel J. Dougher, Claude Kirchner , Hélène Kirchner, Anderson Santana de Oliveira.

18/01/2007

• Spécification et implémentation de politiques de controle d'acces
  Mathieu Jaume et Charles Morisset.
• Candide au pays de FOCAL(Implémentation d'un voteur avec FOCAL)
  Philippe Ayrault.
• Rewriting-Based Access Control Policies
  Anderson Santana de Oliveira.
• Introduction de techniques de test en FOCAL
  Matthieu Carlier.