Events

Carto-C presentation, 10ème Convention Systematic, May 2015, Palais Brongniart, Paris

Avoiding Security Pitfalls with Functional Programming: a Report on the Development of a Secure XML Validator ICSE SEIP Architecture II and Security, May 2015, Firenze

Software Security, Session Emergence de Projets Systematic, February 2015, Alstom Grid – Paris La Défense

Security flaws detection using Carto-C, Atelier Portes Ouvertes PISCO, November 2014, Nano INNOV

LaFoSec: Présentation Générale de l'étude LaFoSec, JFLAs, 2013

LaFoSec: Recommandations au développeur Ocaml, JFLAs, 2013

LaFoSec: Propositions d'évolution du langage OCaml pour répondre à des besoins de sécurité, JFLAs, 2013.

LaFoSec: Développement d'un valideur XML en OCaml, JFLAs, 2013.

Software security assessment based on static analysis, Séminaire DGA-MI / INRIA "Méthodes formelles et Sécurité", September 2011, Rennes

Software Un-security Exploitation Evaluation, 2010, SAFA Annual Workshop on Formal Techniques

Computer Aided Extrinsic Robustness Verification, 2009, SAFA Annual Workshop on Formal Techniques

Lectures

[2014-2015] Improving software security by static analysis: An industrial point of view,

Selection of preprints

[DFHM15a] D. Doligez, C. Faure, T. Hardin, M. Maarek. Avoiding Security Pitfalls with Functional Programming: a Report on the Development of a Secure XML Validator ICSE. 2015.

[FBAK12] C.Faure, J-L. Boulanger and Samy Ait Kaci. Software robustness with respect to dysfunctional values by static analysis. In "Static Analysis of Software: The Abstract Interpretation". WILEY ISTE. 2012.

[LFS11a] État des lieux des langages fonctionnels IdentifiantLivrable. LaFoSec consortium. ANSSI. 2011.

[LFS11b] Recommandations relatives à l’utilisation du langage OCaml et à l’installation et la configuration des outils associés. LaFoSec consortium. ANSSI. 2011.

[LFS11c] Modèles d'exécution de OCaml. LaFoSec consortium. ANSSI. 2011.

[LFS11d] Analyse des langages OCaml, F\# et Scala. LaFoSec consortium. ANSSI. 2011.

[LFS11e] Outils associés au langage OCaml. LaFoSec consortium. ANSSI. 2011.

[FBAK11a] C. Faure, J-L. Boulanger and Samy Ait Kaci. Robustesse logicielle vis à vis de valeurs dysfonctionnelles par analyse statique. In "Utilisation industrielle des techniques formelles : Interprétation Abstraite". Lavoisier. Hermès. 2011. (french)

[Fau10b] C. Faure. Abstract Interpretation for Automatic Differentiation, Runtime Error detection and security analysis. Algorithmic Differentiation, Optimization, and Beyond. in Honor of Andreas Griewank's 60th Birthday, Maison du Seminaire, Nice, France, 8.9. April 2010.

[CWFU08] B.Christianson, A.Walther, C.Faure, and J.Utke. Chapter 6 "Implementation and Software". Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation (2nd Edition). SIAM, 2008.

[Fau05] C.Faure. An automatic differentiation platform: Odyssée. Future Generation Computer System, 21:1391--1400, 2005.

[GF02] A.Griewank and C.Faure. Reduced functions, gradients and Hessians from fixed-point iterations for state equations. Numerical Algorithms, 30(2):113--139, 2002.

[Fau02] C.Faure. Automatic Differentiation Platform: Design. Mathematical Modeling and Numerical Analysis, 36(5):783--792, 2002.

[HDR] C.Faure. Dérivation de Programme assistée par Ordinateur. Habilitation à diriger des recherches (Habilitation). Université de Nice-Sophia Antipolis, 2002. (french)

[Fau01] C.Faure. Adjoining strategies for multi-layered programs. Optimisation Methods and Software, 17(1):129--164, 2001.

[Fau00] C.Faure. Generating Adjoins of Industrial Codes with Limited Memory. Flow, Turbulence and Combustion, 65:453--467, 2000.

[PHD] C.Faure. Quelques aspects de la Simplification en Calcul Formel. Thèse de doctorat (PhD Thesis). Université de Nice-Sophia Antipolis, 1992. (french)






2015, Christèle Faure