From post

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.

 

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

Probabilistic Relational Hoare Logics for Computer-Aided Security Proofs., , и . MPC, том 7342 из Lecture Notes in Computer Science, стр. 1-6. Springer, (2012)Proving Expected Sensitivity of Probabilistic Programs., , , , и . CoRR, (2017)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)Practical Inference for Type-Based Termination in a Polymorphic Setting., , и . TLCA, стр. 71-85. (2005)Type-based termination of recursive definitions., , , , и . Mathematical Structures in Computer Science, 14 (1): 97-141 (2004)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)Formal Methods for Smartcard Security., и . FOSAD, том 3655 из Lecture Notes in Computer Science, стр. 133-177. Springer, (2005)Synthesizing Probabilistic Invariants via Doob's Decomposition., , , и . CAV (1), том 9779 из Lecture Notes in Computer Science, стр. 43-61. Springer, (2016)