( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Machine-Checked Proofs for Cryptographic Standards.

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

Caroline Barthe

Mathis Barthe

Christoph Barthe

Gerhard Barthe

Susan Barthe

 

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

A Machine-Checked Formalization of the Random Oracle Model., и . TYPES, том 3839 из Lecture Notes in Computer Science, стр. 33-49. Springer, (2004)A Certified Lightweight Non-interference Java Bytecode Verifier., , и . ESOP, том 4421 из Lecture Notes in Computer Science, стр. 125-140. Springer, (2007)Synthesizing Probabilistic Invariants via Doob's Decomposition., , , и . CAV (1), том 9779 из Lecture Notes in Computer Science, стр. 43-61. Springer, (2016)Towards Constant-Time Foundations for the New Spectre Era., , , , , и . CoRR, (2019)Formal Verification of a Constant-Time Preserving C Compiler., , , , , , и . IACR Cryptology ePrint Archive, (2019)Certificate Translation in Abstract Interpretation., и . ESOP, том 4960 из Lecture Notes in Computer Science, стр. 368-382. Springer, (2008)Generic Transformations of Predicate Encodings: Constructions and Applications., , и . IACR Cryptology ePrint Archive, (2016)Proving Expected Sensitivity of Probabilistic Programs., , , , и . CoRR, (2017)Bidirectional Type Checking for Relational Properties., , , , и . CoRR, (2018)Probabilistic Relational Hoare Logics for Computer-Aided Security Proofs., , и . MPC, том 7342 из Lecture Notes in Computer Science, стр. 1-6. Springer, (2012)