( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formally verifying Kyber Part I: Implementation Correctness.

, , , , , , , , , , , и . IACR Cryptol. ePrint Arch., (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.

Jean-Christophe Magnan

Jean-Christophe Legrix

Jean-Christophe Legrix

Jean-Christophe Roux

Jean-Christophe Nebel

 

Другие публикации лиц с тем же именем

A Fast Verified Liveness Analysis in SSA Form., , и . IJCAR (2), том 12167 из Lecture Notes in Computer Science, стр. 324-340. Springer, (2020)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., , и . CPP, стр. 167-181. ACM, (2023)Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices., , и . FASE, том 9633 из Lecture Notes in Computer Science, стр. 179-196. Springer, (2016)High-assurance zeroization., , , , , , , и . IACR Trans. Cryptogr. Hardw. Embed. Syst., 2024 (1): 375-397 (2024)Efficient computation of arbitrary control dependencies., , и . Theor. Comput. Sci., (августа 2023)Power Consumption Analysis of Parallel Algorithms on GPUs., , , , , , и . HPCC/CSS/ICESS, стр. 304-311. IEEE, (2014)Formally verifying Kyber Part I: Implementation Correctness., , , , , , , , , и 2 other автор(ы). IACR Cryptol. ePrint Arch., (2023)Fast Computation of Arbitrary Control Dependencies., , и . FASE, том 10802 из Lecture Notes in Computer Science, стр. 207-224. Springer, (2018)Formally Verifying Kyber - Episode V: Machine-Checked IND-CCA Security and Correctness of ML-KEM in EasyCrypt., , , , , , , , , и 4 other автор(ы). CRYPTO (2), том 14921 из Lecture Notes in Computer Science, стр. 384-421. Springer, (2024)