Concepedia

Ricardo Corin

RC

Statistics

Publications

18

Citations

867

H-Index

16

Active since

2003

Affiliations

University of Twente(Current)

Microsoft Research (United Kingdom)

Microsoft (United States)

Institut national de recherche en sciences et technologies du numérique

Ricardo Corin is an author at University of Twente specializing in computer science, computing, and security protocol verification.

Publications per year

2003–2012

18

Publications

18

Cryptographically verified implementations for TLS

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

Computing, Computer Engineering, Computer Science +17

Audit-based compliance control

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

Cryptographic Protocol Synthesis and Verification for Multiparty Sessions

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

Computing, Computer Science, Computer Systems +17

Analysis Models for Security Protocols

Ricardo Corin · 2006 · 60 citations · Full text

Computing, Computer Science, Cybersecurity +17

An Audit Logic for Accountability

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

Business, Public Policy, Auditing +10

1–5 of 18