Jean-Christophe Léchenet

According to our database, Jean-Christophe Léchenet authored at least 12 papers between 2014 and 2024.

Collaborative distances:

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

2024

High-assurance zeroization.

Santiago Arranz Olmos, Gilles Barthe, Ruben Gonzalez, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Tiago Oliveira, Peter Schwabe

IACR Trans. Cryptogr. Hardw. Embed. Syst., 2024

Formally verifying Kyber Episode V: Machine-checked IND-CCA security and correctness of ML-KEM in EasyCrypt.

José Bacelar Almeida, Santiago Arranz Olmos, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Cameron Low, Tiago Oliveira, Hugo Pacheco, Miguel Quaresma, Peter Schwabe, Pierre-Yves Strub

IACR Cryptol. ePrint Arch., 2024

2023

Efficient computation of arbitrary control dependencies.

Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall

Theor. Comput. Sci., August, 2023

Formally verifying Kyber Episode IV: Implementation correctness.

José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Tiago Oliveira, Hugo Pacheco, Miguel Quaresma, Peter Schwabe, Antoine Séré, Pierre-Yves Strub

IACR Trans. Cryptogr. Hardw. Embed. Syst., 2023

Formally verifying Kyber Part I: Implementation Correctness.

José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Tiago Oliveira, Hugo Pacheco, Miguel Quaresma, Peter Schwabe, Antoine Séré, Pierre-Yves Strub

IACR Cryptol. ePrint Arch., 2023

Practical and Sound Equality Tests, Automatically: Deriving eqType Instances for Jasmin's Data Types with Coq-Elpi.

Benjamin Grégoire, Jean-Christophe Léchenet, Enrico Tassi

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023

2020

A Fast Verified Liveness Analysis in SSA Form.

Jean-Christophe Léchenet, Sandrine Blazy, David Pichardie

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2018

Certified algorithms for program slicing. (Algorithmes certifiés pour la simplification syntaxique de programmes).

Jean-Christophe Léchenet

PhD thesis, 2018

Cut branches before looking for bugs: certifiably sound verification on relaxed slices.

Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall

Formal Aspects Comput., 2018

Fast Computation of Arbitrary Control Dependencies.

Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall

Proceedings of the Fundamental Approaches to Software Engineering, 2018

2016

Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices.

Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall

Proceedings of the Fundamental Approaches to Software Engineering, 2016

2014

Power Consumption Analysis of Parallel Algorithms on GPUs.

Frédéric Magoulès, Abal-Kassim Cheik Ahamed, Alban Desmaison, Jean-Christophe Léchenet, François Mayer, Haifa Ben Salem, Thomas Zhu

Proceedings of the 2014 IEEE International Conference on High Performance Computing and Communications, 2014