( en | de | ru )

 

Disambiguation of "Corin, Ricardo"

Author of the publication

copydeleteadd this publication to your clipboard
A Probabilistic Hoare-style logic for Game-based Cryptographic Proofs (Extended Version).

, and . IACR Cryptology ePrint Archive, (2005)

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. You can also use the button next to the name to display some publications already assigned to the person.

Corin Gologan

Ann-Catrin Coring

Corin Pitcher

Gustav Coring

Götz Corinth

 

Other publications of authors with the same name

Taint Analysis of Security Code in the KLEE Symbolic Execution Engine., and . ICICS, volume 7618 of Lecture Notes in Computer Science, page 264-275. Springer, (2012)License Protection with a Tamper-Resistant Token., , , , , and . WISA, volume 3325 of Lecture Notes in Computer Science, page 223-237. Springer, (2004)PS-LTL for Constraint-Based Security Protocol Analysis., , and . ICLP, volume 3668 of Lecture Notes in Computer Science, page 439-440. Springer, (2005)A Probabilistic Hoare-style logic for Game-based Cryptographic Proofs (Extended Version)., and . IACR Cryptology ePrint Archive, (2005)Secure sessions for Web services., , , and . ACM Trans. Inf. Syst. Secur., 10 (2): 8 (2007)A Logic for Auditing Accountability in Decentralized Systems., , , , and . Formal Aspects in Security and Trust, volume 173 of IFIP, page 187-201. Springer, (2004)Secure Implementations for Typed Session Abstractions., , , , and . CSF, page 170-186. IEEE Computer Society, (2007)A Logic for Constraint-based Security Protocol Analysis., , and . S&P, page 155-168. IEEE Computer Society, (2006)An Audit Logic for Accountability., , , , and . POLICY, page 34-43. IEEE Computer Society, (2005)Computational Secrecy by Typing for the Pi Calculus., , and . APLAS, volume 4279 of Lecture Notes in Computer Science, page 253-269. Springer, (2006)