Jean-Christophe Léchenet

Orcid: 0000-0003-0420-2745

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
High-assurance zeroization.
IACR Trans. Cryptogr. Hardw. Embed. Syst., 2024

Formally verifying Kyber Episode V: Machine-checked IND-CCA security and correctness of ML-KEM in EasyCrypt.
IACR Cryptol. ePrint Arch., 2024

2023
Efficient computation of arbitrary control dependencies.
Theor. Comput. Sci., August, 2023

Formally verifying Kyber Episode IV: Implementation correctness.
IACR Trans. Cryptogr. Hardw. Embed. Syst., 2023

Formally verifying Kyber Part I: Implementation Correctness.
IACR Cryptol. ePrint Arch., 2023

Practical and Sound Equality Tests, Automatically: Deriving eqType Instances for Jasmin's Data Types with Coq-Elpi.
Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023

2020
A Fast Verified Liveness Analysis in SSA Form.
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).
PhD thesis, 2018

Cut branches before looking for bugs: certifiably sound verification on relaxed slices.
Formal Aspects Comput., 2018

Fast Computation of Arbitrary Control Dependencies.
Proceedings of the Fundamental Approaches to Software Engineering, 2018

2016
Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices.
Proceedings of the Fundamental Approaches to Software Engineering, 2016

2014
Power Consumption Analysis of Parallel Algorithms on GPUs.
Proceedings of the 2014 IEEE International Conference on High Performance Computing and Communications, 2014


  Loading...