Reduced Functions, Gradients and Hessians from Fixed-Point Iterations for State Equations. - Andreas Griewank; Christèle Faure (Numer. Algorithms, 2002)

Adjoining Strategies for Multi-layered Programs. - Christèle Faure (Optim. Methods Softw., 2002)

An automatic differentiation platform: Odyssée . - Christèle Faure (Future Gener. Comput. Syst., 2005)

Experience in using a typed functional language for the development of a security application. - Damien Doligez; Christèle Faure; Thérèse Hardin; Manuel Maarek (F-IDE, 2014)

Avoiding Security Pitfalls with Functional Programming: A Report on the Development of a Secure XML Validator. - Damien Doligez; Christèle Faure; Thérèse Hardin; Manuel Maarek (ICSE (2), 2015)

Automatic proof of freedom from interference with IFFree. - Christèle Faure; Véronique Delebarre (ECSA Workshops, 2016)

Detection of security vulnerabilities in C language applications. - El Habib Boudjema; Christèle Faure; Mathieu Sassolas; Lynda Mokdad (Secur. Priv., 2018)

VYPER: Vulnerability detection in binary code. - El Habib Boudjema; Sergey Verlan; Lynda Mokdad; Christèle Faure (Secur. Priv., 2020)