18
Publications
859
Citations
16
H-Index
2003
Active since
Ricardo Corin is an author at University of Twente specializing in engineering, computer science, and data security.
Top concepts
EngineeringData SecurityComputer ScienceInformation SecurityCryptographyFormal VerificationFormal MethodsData PrivacySoftware AnalysisHardware Security
Publications per year
2003–2012
18
18
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
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
Rows per page
1–5 of 18