Ricardo Corin

	2012
33		Karthikeyan Bhargavan, Cédric Fournet, Ricardo Corin, Eugen Zalinescu: Verified Cryptographic Implementations for TLS. ACM Trans. Inf. Syst. Secur. 15(1): 3 (2012)
	2011
32		Ricardo Corin, Felipe Andrés Manzano: Efficient Symbolic Execution for Analysing Cryptographic Protocol Implementations. ESSoS 2011: 58-72
	2009
31		Jérémy Planul, Ricardo Corin, Cédric Fournet: Secure Enforcement for Global Process Specifications. CONCUR 2009: 511-526
30		Karthikeyan Bhargavan, Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, James J. Leifer: Cryptographic Protocol Synthesis and Verification for Multiparty Sessions. CSF 2009: 124-140
	2008
29		Karthikeyan Bhargavan, Cédric Fournet, Ricardo Corin, Eugen Zalinescu: Cryptographically verified implementations for TLS. ACM Conference on Computer and Communications Security 2008: 459-468
28		Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, Karthikeyan Bhargavan, James J. Leifer: A secure compiler for session abstractions. Journal of Computer Security 16(5): 573-636 (2008)
	2007
27		Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, Karthikeyan Bhargavan, James J. Leifer: Secure Implementations for Typed Session Abstractions. CSF 2007: 170-186
26		Ricardo Corin, Pierre-Malo Deniélou: A Protocol Compiler for Secure Sessions in ML. TGC 2007: 276-293
25		Karthikeyan Bhargavan, Ricardo Corin, Cédric Fournet, Andrew D. Gordon: Secure sessions for Web services. ACM Trans. Inf. Syst. Secur. 10(2): (2007)
24		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): 133-151 (2007)
23		Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader: Timed analysis of security protocols. Journal of Computer Security 15(6): 619-645 (2007)
	2006
22		Martín Abadi, Ricardo Corin, Cédric Fournet: Computational Secrecy by Typing for the Pi Calculus. APLAS 2006: 253-269
21		Ricardo Corin, Jerry den Hartog: A Probabilistic Hoare-style Logic for Game-Based Cryptographic Proofs. ICALP (2) 2006: 252-263
20		Ricardo Corin, Sandro Etalle, Ari Saptawijaya: A Logic for Constraint-based Security Protocol Analysis. IEEE Symposium on Security and Privacy 2006: 155-168
19		Ricardo Corin, David Galindo, Jaap-Henk Hoepman: Securing Data Accountability in Decentralized Systems. OTM Workshops (1) 2006: 626-635
18		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. Annales des Télécommunications 61(3-4): 284-331 (2006)
	2005
17		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: 131-146
16		J. G. Cederquist, Ricardo Corin, Muhammad Torabi Dashti: On the Quest for Impartiality: Design and Analysis of a Fair Non-repudiation Protocol. ICICS 2005: 27-39
15		Ricardo Corin, Ari Saptawijaya, Sandro Etalle: PS-LTL for Constraint-Based Security Protocol Analysis. ICLP 2005: 439-440
14		J. G. Cederquist, Ricardo Corin, M. A. C. Dekker, Sandro Etalle, J. I. den Hartog: An Audit Logic for Accountability. POLICY 2005: 34-43
13		J. G. Cederquist, Ricardo Corin, M. A. C. Dekker, Sandro Etalle, J. I. den Hartog: An Audit Logic for Accountability CoRR abs/cs/0502091: (2005)
12		Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader: Timed Analysis of Security Protocols CoRR abs/cs/0503036: (2005)
11		Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Antonio Durante: A Trace Logic for Local Security Properties. Electr. Notes Theor. Comput. Sci. 118: 129-143 (2005)
10		Ricardo Corin, Jeroen Doumen, Sandro Etalle: Analysing Password Protocol Security Against Off-line Dictionary Attacks. Electr. Notes Theor. Comput. Sci. 121: 47-63 (2005)
9		Ricardo Corin, Jerry den Hartog: A Probabilistic Hoare-style logic for Game-based Cryptographic Proofs (Extended Version). IACR Cryptology ePrint Archive 2005: 467 (2005)
	2004
8		Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader: Timed model checking of security protocols. FMSE 2004: 23-32
7		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: 187-201
6		Karthikeyan Bhargavan, Ricardo Corin, Cédric Fournet, Andrew D. Gordon: Secure sessions for web services. SWS 2004: 56-66
5		Cheun Ngen Chong, Bin Ren, Jeroen Doumen, Sandro Etalle, Pieter H. Hartel, Ricardo Corin: License Protection with a Tamper-Resistant Token. WISA 2004: 223-237
4		Ricardo Corin, Antonio Durante, Sandro Etalle, Pieter H. Hartel: A Trace Logic for Local Security Properties CoRR cs.CR/0411010: (2004)
	2003
3		Peeter Laud, Ricardo Corin: Sound Computational Interpretation of Formal Encryption with Composed Keys. ICISC 2003: 55-66
2		Yee Wei Law, Ricardo Corin, Sandro Etalle, Pieter H. Hartel: A Formally Verified Decentralized Key Management Architecture for Wireless Sensor Networks. PWC 2003: 27-39
	2002
1		Ricardo Corin, Sandro Etalle: An Improved Constraint-Based System for the Verification of Security Protocols. SAS 2002: 326-341

Coauthor Index

1	Martín Abadi	[22]
2	Karthikeyan Bhargavan	[6] [25] [27] [28] [29] [30] [33]
3	Gaetano Di Caprio	[17]
4	J. G. Cederquist (Jan Cederquist)	[13] [14] [16] [24]
5	Cheun Ngen Chong	[5] [18]
6	Muhammad Torabi Dashti (Mohammad Torabi Dashti)	[16]
7	M. A. C. Dekker	[13] [14] [24]
8	Pierre-Malo Deniélou	[26] [27] [28] [30]
9	Jeroen Doumen	[5] [10] [18]
10	Antonio Durante	[4] [11]
11	Sandro Etalle	[1] [2] [4] [5] [7] [8] [10] [11] [12] [13] [14] [15] [17] [18] [20] [23] [24]
12	Cédric Fournet	[6] [22] [25] [27] [28] [29] [30] [31] [33]
13	David Galindo	[19]
14	Stefania Gnesi	[17]
15	Andrew D. Gordon (Andy Gordon)	[6] [25]
16	Pieter H. Hartel	[2] [4] [5] [8] [11] [12] [18] [23]
17	Jerry den Hartog (J. I. den Hartog)	[7] [9] [13] [14] [21] [24]
18	Jaap-Henk Hoepman	[19]
19	Peeter Laud	[3]
20	Yee Wei Law	[2] [18]
21	James J. Leifer	[27] [28] [30]
22	Gabriele Lenzini	[7] [17] [24]
23	Angelika Mader	[8] [12] [23]
24	Felipe Andrés Manzano	[32]
25	Corrado Moiso	[17]
26	Jérémy Planul	[31]
27	Bin Ren	[5]
28	Ari Saptawijaya	[15] [20]
29	I. Staicu	[7]
30	Andrew Tokmakoff	[18]
31	Eugen Zalinescu	[29] [33]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page