Christèle Faure

Publication Activity (10 Years)

Years Active: 2002-2020
Publications (10 Years): 4

Top Topics

Hamming Distance

Functional Language

Top Venues

Publications

El Habib Boudjema, Sergey Verlan, Lynda Mokdad, Christèle Faure
VYPER: Vulnerability detection in binary code. Secur. Priv. 3 (2) (2020)
El Habib Boudjema, Christèle Faure, Mathieu Sassolas, Lynda Mokdad
Detection of security vulnerabilities in C language applications. Secur. Priv. 1 (1) (2018)
Christèle Faure, Véronique Delebarre
Automatic proof of freedom from interference with IFFree. ECSA Workshops (2016)
Damien Doligez, Christèle Faure, Thérèse Hardin, Manuel Maarek
Avoiding Security Pitfalls with Functional Programming: A Report on the Development of a Secure XML Validator. ICSE (2) (2015)
Damien Doligez, Christèle Faure, Thérèse Hardin, Manuel Maarek
Experience in using a typed functional language for the development of a security application. F-IDE (2014)
Christèle Faure
An automatic differentiation platform: Odyssée . Future Gener. Comput. Syst. 21 (8) (2005)
Andreas Griewank, Christèle Faure
Reduced Functions, Gradients and Hessians from Fixed-Point Iterations for State Equations. Numer. Algorithms 30 (2) (2002)
Christèle Faure
Adjoining Strategies for Multi-layered Programs. Optim. Methods Softw. 17 (1) (2002)