An Improved Constraint-Based System for the Verification of Security Protocols. - Ricardo Corin; Sandro Etalle (SAS, 2002)

Sound Computational Interpretation of Formal Encryption with Composed Keys. - Peeter Laud; Ricardo Corin (ICISC, 2003)

A Formally Verified Decentralized Key Management Architecture for Wireless Sensor Networks. - Yee Wei Law; Ricardo Corin; Sandro Etalle; Pieter H. Hartel (PWC, 2003)

LicenseScript: a novel digital rights language and its semantics. - Cheun Ngen Chong; Ricardo Corin; Sandro Etalle; Pieter H. Hartel; Willem Jonker; Yee Wei Law (WEDELMUSIC, 2003)

A Trace Logic for Local Security Properties. - Ricardo Corin; Sandro Etalle; Pieter H. Hartel; Antonio Durante (SVV@ICLP, 2003)

Timed model checking of security protocols. - Ricardo Corin; Sandro Etalle; Pieter H. Hartel; Angelika Mader (FMSE, 2004)

A Logic for Auditing Accountability in Decentralized Systems. - Ricardo Corin; Sandro Etalle; J. I. den Hartog; Gabriele Lenzini; I. Staicu (Formal Aspects in Security and Trust, 2004)

Secure sessions for web services. - Karthikeyan Bhargavan; Ricardo Corin; Cédric Fournet; Andrew D. Gordon 001 (SWS, 2004)

License Protection with a Tamper-Resistant Token. - Cheun Ngen Chong; Bin Ren; Jeroen Doumen; Sandro Etalle; Pieter H. Hartel; Ricardo Corin (WISA, 2004)

Analysing Password Protocol Security Against Off-line Dictionary Attacks. - Ricardo Corin; Jeroen Doumen; Sandro Etalle (WISP@ICATPN, 2004)

A Formal Security Analysis of an OSA/Parlay Authentication Interface. - Ricardo Corin; Gaetano Di Caprio; Sandro Etalle; Stefania Gnesi; Gabriele Lenzini; Corrado Moiso (FMOODS, 2005)

On the Quest for Impartiality: Design and Analysis of a Fair Non-repudiation Protocol. - J. G. Cederquist; Ricardo Corin; Muhammad Torabi Dashti (ICICS, 2005)

PS-LTL for Constraint-Based Security Protocol Analysis. - Ricardo Corin; Ari Saptawijaya; Sandro Etalle (ICLP, 2005)

An Audit Logic for Accountability. - J. G. Cederquist; Ricardo Corin; M. A. C. Dekker; Sandro Etalle; J. I. den Hartog (POLICY, 2005)

A Probabilistic Hoare-style logic for Game-based Cryptographic Proofs (Extended Version). - Ricardo Corin; Jerry den Hartog (IACR Cryptol. ePrint Arch., 2005)

Computational Secrecy by Typing for the Pi Calculus. - Martín Abadi; Ricardo Corin; Cédric Fournet (APLAS, 2006)

A Probabilistic Hoare-style Logic for Game-Based Cryptographic Proofs. - Ricardo Corin; Jerry den Hartog (ICALP (2), 2006)

Securing Data Accountability in Decentralized Systems. - Ricardo Corin; David Galindo; Jaap-Henk Hoepman (OTM Workshops (1), 2006)

A Logic for Constraint-based Security Protocol Analysis. - Ricardo Corin; Sandro Etalle; Ari Saptawijaya (S&P, 2006)

LicenseScript: a logical language for digital rights management. - Cheun Ngen Chong; Ricardo Corin; Jeroen Doumen; Sandro Etalle; Pieter H. Hartel; Yee Wei Law; Andrew Tokmakoff (Ann. des Télécommunications, 2006)

Secure Implementations for Typed Session Abstractions. - Ricardo Corin; Pierre-Malo Deniélou; Cédric Fournet; Karthikeyan Bhargavan; James J. Leifer (CSF, 2007)

A Protocol Compiler for Secure Sessions in ML. - Ricardo Corin; Pierre-Malo Deniélou (TGC, 2007)

Audit-based compliance control. - J. G. Cederquist; Ricardo Corin; M. A. C. Dekker; Sandro Etalle; J. I. den Hartog; Gabriele Lenzini (Int. J. Inf. Sec., 2007)

Timed analysis of security protocols. - Ricardo Corin; Sandro Etalle; Pieter H. Hartel; Angelika Mader (J. Comput. Secur., 2007)

Cryptographically verified implementations for TLS. - Karthikeyan Bhargavan; Cédric Fournet; Ricardo Corin; Eugen Zalinescu (CCS, 2008)

A secure compiler for session abstractions. - Ricardo Corin; Pierre-Malo Deniélou; Cédric Fournet; Karthikeyan Bhargavan; James J. Leifer (J. Comput. Secur., 2008)

Secure Enforcement for Global Process Specifications. - Jérémy Planul; Ricardo Corin; Cédric Fournet (CONCUR, 2009)

Cryptographic Protocol Synthesis and Verification for Multiparty Sessions. - Karthikeyan Bhargavan; Ricardo Corin; Pierre-Malo Deniélou; Cédric Fournet; James J. Leifer (CSF, 2009)

Efficient Symbolic Execution for Analysing Cryptographic Protocol Implementations. - Ricardo Corin; Felipe Andrés Manzano (ESSoS, 2011)

Taint Analysis of Security Code in the KLEE Symbolic Execution Engine. - Ricardo Corin; Felipe Andrés Manzano (ICICS, 2012)

Verified Cryptographic Implementations for TLS. - Karthikeyan Bhargavan; Cédric Fournet; Ricardo Corin; Eugen Zalinescu (ACM Trans. Inf. Syst. Secur., 2012)