( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formal Verification of a Constant-Time Preserving C Compiler.

, , , , , , и . IACR Cryptology ePrint Archive, (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

 

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

Synthesizing Probabilistic Invariants via Doob's Decomposition., , , и . CAV (1), том 9779 из Lecture Notes in Computer Science, стр. 43-61. Springer, (2016)A computational view of implicit coercions in type theory.. Math. Struct. Comput. Sci., 15 (5): 839-874 (2005)Partial Evaluation and Non-interference for Object Calculi., и . Fuji International Symposium on Functional and Logic Programming, том 1722 из Lecture Notes in Computer Science, стр. 53-67. Springer, (1999)Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant., , , и . FLOPS, том 3945 из Lecture Notes in Computer Science, стр. 114-129. Springer, (2006)Probabilistic Relational Hoare Logics for Computer-Aided Security Proofs., , и . MPC, том 7342 из Lecture Notes in Computer Science, стр. 1-6. Springer, (2012)Certificate Translation in Abstract Interpretation., и . ESOP, том 4960 из Lecture Notes in Computer Science, стр. 368-382. Springer, (2008)Programming Language Techniques for Cryptographic Proofs., , и . ITP, том 6172 из Lecture Notes in Computer Science, стр. 115-130. Springer, (2010)A Certified Lightweight Non-interference Java Bytecode Verifier., , и . ESOP, том 4421 из Lecture Notes in Computer Science, стр. 125-140. Springer, (2007)A Machine-Checked Formalization of the Random Oracle Model., и . TYPES, том 3839 из Lecture Notes in Computer Science, стр. 33-49. Springer, (2004)Formal Methods for Smartcard Security., и . FOSAD, том 3655 из Lecture Notes in Computer Science, стр. 133-177. Springer, (2005)