( en | de | ru )

 

Disambiguation of "Léchenet, Jean-Christophe"

Author of the publication

copydeleteadd this publication to your clipboard
Formally verifying Kyber Episode IV: Implementation correctness.

, , , , , , , , , , , and . IACR Trans. Cryptogr. Hardw. Embed. Syst., 2023 (3): 164-193 (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jean-Christophe Magnan

Jean-Christophe Legrix

Jean-Christophe Legrix

Jean-Christophe Roux

Jean-Christophe Nebel

 

Other publications of authors with the same name

A Fast Verified Liveness Analysis in SSA Form., , and . IJCAR (2), volume 12167 of Lecture Notes in Computer Science, page 324-340. Springer, (2020)Formally verifying Kyber Episode IV: Implementation correctness., , , , , , , , , and 2 other author(s). IACR Trans. Cryptogr. Hardw. Embed. Syst., 2023 (3): 164-193 (2023)Certified algorithms for program slicing. (Algorithmes certifiés pour la simplification syntaxique de programmes).. University of Paris-Saclay, France, (2018)Practical and Sound Equality Tests, Automatically: Deriving eqType Instances for Jasmin's Data Types with Coq-Elpi., , and . CPP, page 167-181. ACM, (2023)Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices., , and . FASE, volume 9633 of Lecture Notes in Computer Science, page 179-196. Springer, (2016)High-assurance zeroization., , , , , , , and . IACR Trans. Cryptogr. Hardw. Embed. Syst., 2024 (1): 375-397 (2024)Efficient computation of arbitrary control dependencies., , and . Theor. Comput. Sci., (August 2023)High-assurance zeroization., , , , , , , and . IACR Cryptol. ePrint Arch., (2023)Power Consumption Analysis of Parallel Algorithms on GPUs., , , , , , and . HPCC/CSS/ICESS, page 304-311. IEEE, (2014)Power Consumption Analysis of Parallel Algorithms on GPUs., , , , , , and . CoRR, (2021)