29/06/2010

- Compiler des polynômes en FoCaLize ?
R. Rioboo (ENSIIE)
- Retour d'expérience sur l'utilisation de Coq
E. Jaeger (ANSSI)
- Spécification et analyse de politiques de sécurité
H. Cirstea (LORIA)
- Génération de code fonctionnel certifié à partir de spécifications dans l'environnement Focalize
P.N. Tollitte (ENSIIE)

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)

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.