( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formally verifying Kyber Episode IV: Implementation correctness.

, , , , , , , , , , , и . 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.

Victor Hugo Pacheco Torres

Carlos Pacheco

Ricardo Pacheco

Hugo

Maria Pires Pacheco University of Luxembourg

 

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

Coupled Schema Transformation and Data Conversion for XML and SQL., , , и . PADL, том 4354 из Lecture Notes in Computer Science, стр. 290-304. Springer, (2007)Machine-checked ZKP for NP-relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head., , , , , и . CoRR, (2021)Jasmin: High-Assurance and High-Speed Cryptography., , , , , , , , , и . CCS, стр. 1807-1823. ACM, (2017)Formally verifying Kyber Episode IV: Implementation correctness., , , , , , , , , и 2 other автор(ы). IACR Trans. Cryptogr. Hardw. Embed. Syst., 2023 (3): 164-193 (2023)BiFluX: A Bidirectional Functional Update Language for XML., , и . PPDP, стр. 147-158. ACM, (2014)Calculating with lenses: optimising bidirectional transformations., и . PEPM, стр. 91-100. ACM, (2011)Bidirectional data transformation by calculation. University of Minho, Portugal, (2012)A formal treatment of the role of verified compilers in secure computation., , , , , и . J. Log. Algebraic Methods Program., (2022)Machine-checked ZKP for NP relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head., , , , , , и . CCS, стр. 2587-2600. ACM, (2021)ROSY: An elegant language to teach the pure reactive nature of robot programming., и . IRC, стр. 240-247. IEEE, (2020)