Ricardo Corin

Cryptographically verified implementations for TLS

Karthikeyan Bhargavan, Cédric Fournet, Ricardo Corin et al. · 2008 · 107 citations

Cryptographic Primitive, Engineering, Information Security +21

Audit-based compliance control

Jan Cederquist, Ricardo Corin, M.A.C. Dekker et al. · International Journal of Information Security · 2007 · 91 citations

Auditing, Compliance Management, Engineering +10

Cryptographic Protocol Synthesis and Verification for Multiparty Sessions

Karthikeyan Bhargavan, Ricardo Corin, Pierre-Malo Deniélou et al. · 2009 · 86 citations

Cryptographic Primitive, Engineering, Information Security +19

Analysis Models for Security Protocols

Ricardo Corin · 2006 · 60 citations · Full text

Engineering, Information Security, Cryptographic Protocol +16

An Audit Logic for Accountability

Jan Cederquist, Ricardo Corin, M.A.C. Dekker et al. · 2005 · 58 citations · Full text