Ricardo Corin

Publication Activity (10 Years)

Years Active: 2002-2012
Publications (10 Years): 0

Top Topics

Multi Dimensional

Execution Engine

Security Protocols

Top Venues

ACM Trans. Inf. Syst. Secur.

Publications

Ricardo Corin, Felipe Andrés Manzano
Taint Analysis of Security Code in the KLEE Symbolic Execution Engine. ICICS (2012)
Karthikeyan Bhargavan, Cédric Fournet, Ricardo Corin, Eugen Zalinescu
Verified Cryptographic Implementations for TLS. ACM Trans. Inf. Syst. Secur. 15 (1) (2012)
Ricardo Corin, Felipe Andrés Manzano
Efficient Symbolic Execution for Analysing Cryptographic Protocol Implementations. ESSoS (2011)
Karthikeyan Bhargavan, Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, James J. Leifer
Cryptographic Protocol Synthesis and Verification for Multiparty Sessions. CSF (2009)
Jérémy Planul, Ricardo Corin, Cédric Fournet
Secure Enforcement for Global Process Specifications. CONCUR (2009)
Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, Karthikeyan Bhargavan, James J. Leifer
A secure compiler for session abstractions. J. Comput. Secur. 16 (5) (2008)
Karthikeyan Bhargavan, Cédric Fournet, Ricardo Corin, Eugen Zalinescu
Cryptographically verified implementations for TLS. CCS (2008)
Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader
Timed analysis of security protocols. J. Comput. Secur. 15 (6) (2007)
J. G. Cederquist, Ricardo Corin, M. A. C. Dekker, Sandro Etalle, J. I. den Hartog, Gabriele Lenzini
Audit-based compliance control. Int. J. Inf. Sec. 6 (2-3) (2007)
Karthikeyan Bhargavan, Ricardo Corin, Cédric Fournet, Andrew D. Gordon
Secure sessions for Web services. ACM Trans. Inf. Syst. Secur. 10 (2) (2007)
Ricardo Corin, Pierre-Malo Deniélou
A Protocol Compiler for Secure Sessions in ML. TGC (2007)
Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, Karthikeyan Bhargavan, James J. Leifer
Secure Implementations for Typed Session Abstractions. CSF (2007)
Martín Abadi, Ricardo Corin, Cédric Fournet
Computational Secrecy by Typing for the Pi Calculus. APLAS (2006)
Ricardo Corin, Jerry den Hartog
A Probabilistic Hoare-style Logic for Game-Based Cryptographic Proofs. ICALP (2) (2006)
Ricardo Corin, Sandro Etalle, Ari Saptawijaya
A Logic for Constraint-based Security Protocol Analysis. IEEE Symposium on Security and Privacy (2006)
Ricardo Corin, David Galindo, Jaap-Henk Hoepman
Securing Data Accountability in Decentralized Systems. OTM Workshops (1) (2006)
Cheun Ngen Chong, Ricardo Corin, Jeroen Doumen, Sandro Etalle, Pieter H. Hartel, Yee Wei Law, Andrew Tokmakoff
LicenseScript: a logical language for digital rights management. Ann. des Télécommunications 61 (3-4) (2006)
J. G. Cederquist, Ricardo Corin, M. A. C. Dekker, Sandro Etalle, J. I. den Hartog
An Audit Logic for Accountability. POLICY (2005)
Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader
Timed Analysis of Security Protocols CoRR (2005)
Ricardo Corin, Jeroen Doumen, Sandro Etalle
Analysing Password Protocol Security Against Off-line Dictionary Attacks. Electron. Notes Theor. Comput. Sci. 121 (2005)
Ricardo Corin, Gaetano Di Caprio, Sandro Etalle, Stefania Gnesi, Gabriele Lenzini, Corrado Moiso
A Formal Security Analysis of an OSA/Parlay Authentication Interface. FMOODS (2005)
Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Antonio Durante
A Trace Logic for Local Security Properties. Electron. Notes Theor. Comput. Sci. 118 (2005)
Ricardo Corin, Jerry den Hartog
A Probabilistic Hoare-style logic for Game-based Cryptographic Proofs (Extended Version). IACR Cryptol. ePrint Arch. 2005 (2005)
Ricardo Corin, Ari Saptawijaya, Sandro Etalle
PS-LTL for Constraint-Based Security Protocol Analysis. ICLP (2005)
J. G. Cederquist, Ricardo Corin, Muhammad Torabi Dashti
On the Quest for Impartiality: Design and Analysis of a Fair Non-repudiation Protocol. ICICS (2005)
J. G. Cederquist, Ricardo Corin, M. A. C. Dekker, Sandro Etalle, J. I. den Hartog
An Audit Logic for Accountability CoRR (2005)
Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader
Timed model checking of security protocols. FMSE (2004)
Karthikeyan Bhargavan, Ricardo Corin, Cédric Fournet, Andrew D. Gordon
Secure sessions for web services. SWS (2004)
Ricardo Corin, Antonio Durante, Sandro Etalle, Pieter H. Hartel
A Trace Logic for Local Security Properties CoRR (2004)
Ricardo Corin, Sandro Etalle, J. I. den Hartog, Gabriele Lenzini, I. Staicu
A Logic for Auditing Accountability in Decentralized Systems. Formal Aspects in Security and Trust (2004)
Cheun Ngen Chong, Bin Ren, Jeroen Doumen, Sandro Etalle, Pieter H. Hartel, Ricardo Corin
License Protection with a Tamper-Resistant Token. WISA (2004)
Yee Wei Law, Ricardo Corin, Sandro Etalle, Pieter H. Hartel
A Formally Verified Decentralized Key Management Architecture for Wireless Sensor Networks. PWC (2003)
Cheun Ngen Chong, Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Willem Jonker, Yee Wei Law
LicenseScript: a novel digital rights language and its semantics. WEDELMUSIC (2003)
Peeter Laud, Ricardo Corin
Sound Computational Interpretation of Formal Encryption with Composed Keys. ICISC (2003)
Ricardo Corin, Sandro Etalle
An Improved Constraint-Based System for the Verification of Security Protocols. SAS (2002)