Ricardo Corin

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