( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Jasmin: High-Assurance and High-Speed Cryptography.

, , , , , , , , , и . CCS, стр. 1807-1823. ACM, (2017)

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)Jasmin: High-Assurance and High-Speed Cryptography., , , , , , , , , и . CCS, стр. 1807-1823. ACM, (2017)BiFluX: A Bidirectional Functional Update Language for XML., , , и . Inf. Media Technol., (2017)Generic Point-free Lenses., и . MPC, том 6120 из Lecture Notes in Computer Science, стр. 331-352. Springer, (2010)Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants., , и . RAMiCS, том 7560 из Lecture Notes in Computer Science, стр. 146-161. Springer, (2012)BiFluX: A Bidirectional Functional Update Language for XML., , и . PPDP, стр. 147-158. ACM, (2014)Calculating with lenses: optimising bidirectional transformations., и . PEPM, стр. 91-100. ACM, (2011)Machine-checked ZKP for NP relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head., , , , , , и . CCS, стр. 2587-2600. ACM, (2021)Bidirectional data transformation by calculation. University of Minho, Portugal, (2012)Enforcing Ideal-World Leakage Bounds in Real-World Secret Sharing MPC Frameworks., , , , , и . CSF, стр. 132-146. IEEE Computer Society, (2018)