Christèle Faure

According to our database, Christèle Faure authored at least 8 papers between 2002 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2020

VYPER: Vulnerability detection in binary code.

El Habib Boudjema, Sergey Verlan, Lynda Mokdad, Christèle Faure

Secur. Priv., 2020

2018

Detection of security vulnerabilities in C language applications.

El Habib Boudjema, Christèle Faure, Mathieu Sassolas, Lynda Mokdad

Secur. Priv., 2018

2016

Automatic proof of freedom from interference with IFFree.

Christèle Faure, Véronique Delebarre

Proceedings of the Proccedings of the 10th European Conference on Software Architecture Workshops, Copenhagen, Denmark, November 28, 2016

2015

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

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014

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

Proceedings of the Proceedings 1st Workshop on Formal Integrated Development Environment, 2014

2005

An automatic differentiation platform: Odyssée .

Christèle Faure

Future Gener. Comput. Syst., 2005

2002

Adjoining Strategies for Multi-layered Programs.

Christèle Faure

Optim. Methods Softw., 2002

Reduced Functions, Gradients and Hessians from Fixed-Point Iterations for State Equations.

Andreas Griewank, Christèle Faure

Numer. Algorithms, 2002