| 2012 | ICICS | Taint Analysis of Security Code in the KLEE Symbolic Execution Engine. | Ricardo Corin, Felipe Andrs Manzano |
| 2009 | CONCUR | Secure Enforcement for Global Process Specifications. | Jrmy Planul, Ricardo Corin, Cdric Fournet |
| 2008 | CCS | Cryptographically verified implementations for TLS. | Karthikeyan Bhargavan, Cdric Fournet, Ricardo Corin, Eugen Zalinescu |
| 2006 | APLAS | Computational Secrecy by Typing for the Pi Calculus. | Martn Abadi, Ricardo Corin, Cdric Fournet |
| 2006 | ICALP | A Probabilistic Hoare-style Logic for Game-Based Cryptographic Proofs. | Ricardo Corin, Jerry den Hartog |
| 2006 | SP | A Logic for Constraint-based Security Protocol Analysis. | Ricardo Corin, Sandro Etalle, Ari Saptawijaya |
| 2005 | ICICS | On the Quest for Impartiality: Design and Analysis of a Fair Non-repudiation Protocol. | J. G. Cederquist, Ricardo Corin, Muhammad Torabi Dashti |
| 2005 | ICLP | PS-LTL for Constraint-Based Security Protocol Analysis. | Ricardo Corin, Ari Saptawijaya, Sandro Etalle |
| 2004 | CCS | Timed model checking of security protocols. | Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader |
| 2004 | WISA | License Protection with a Tamper-Resistant Token. | Cheun Ngen Chong, Bin Ren, Jeroen Doumen, Sandro Etalle, Pieter H. Hartel, Ricardo Corin |
| 2003 | ICISC | Sound Computational Interpretation of Formal Encryption with Composed Keys. | Peeter Laud, Ricardo Corin |
| 2002 | SAS | An Improved Constraint-Based System for the Verification of Security Protocols. | Ricardo Corin, Sandro Etalle |