( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Machine-Checked Proof of Security for AWS Key Management Service.

, , , , , , , , , и . CCS, стр. 63-78. ACM, (2019)

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.

Pierre-Yves Vandenbussche

Pierre-Yves Chevalier

Pierre-Yves Laffont

Pierre-Yves Lucas

Pierre-Yves Lastic

 

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

Formal proofs of transcendence for e and pi as an application of multivariate and symmetric polynomials., , , и . CPP, стр. 76-87. ACM, (2016)A relational logic for higher-order programs., , , , и . J. Funct. Program., (2019)EasyPQC: Verifying Post-Quantum Cryptography., , , , , , , , и . CCS, стр. 2564-2586. ACM, (2021)Relational ⋆⋆\star-Liftings for Differential Privacy., , , , и . Log. Methods Comput. Sci., (2019)The Last Mile: High-Assurance and High-Speed Cryptographic Implementations., , , , , , , и . SP, стр. 965-982. IEEE, (2020)Coupling proofs are probabilistic product programs., , , и . CoRR, (2016)hacspec: Towards Verifiable Crypto Standards., , и . SSR, том 11322 из Lecture Notes in Computer Science, стр. 1-20. Springer, (2018)Jasmin: High-Assurance and High-Speed Cryptography., , , , , , , , , и . CCS, стр. 1807-1823. ACM, (2017)Coq without Type Casts: A Complete Proof of Coq Modulo Theory., и . LPAR, том 46 из EPiC Series in Computing, стр. 474-489. EasyChair, (2017)Machine-Checked Proofs for Cryptographic Standards., , , , , , , , , и . IACR Cryptol. ePrint Arch., (2019)