Ricardo Corin
Publication Activity (10 Years)
Years Active: 2002-2012
Publications (10 Years): 0
Publications (10 Years): 0
Publications
- Karthikeyan Bhargavan, Cédric Fournet, Ricardo Corin, Eugen Zalinescu
- Jérémy Planul, Ricardo Corin, Cédric Fournet
- Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, Karthikeyan Bhargavan, James J. Leifer
- Karthikeyan Bhargavan, Cédric Fournet, Ricardo Corin, Eugen Zalinescu
- Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika MaderTimed analysis of security protocols. J. Comput. Secur. 15 (6) (2007)
- J. G. Cederquist, Ricardo Corin, M. A. C. Dekker, Sandro Etalle, J. I. den Hartog, Gabriele Lenzini
- Karthikeyan Bhargavan, Ricardo Corin, Cédric Fournet, Andrew D. Gordon
- Ricardo Corin, Pierre-Malo Deniélou
- Martín Abadi, Ricardo Corin, Cédric Fournet
- J. G. Cederquist, Ricardo Corin, M. A. C. Dekker, Sandro Etalle, J. I. den Hartog
- Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader
- Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Antonio Durante
- Ricardo Corin, Ari Saptawijaya, Sandro Etalle
- J. G. Cederquist, Ricardo Corin, M. A. C. Dekker, Sandro Etalle, J. I. den Hartog
- Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader
- Karthikeyan Bhargavan, Ricardo Corin, Cédric Fournet, Andrew D. Gordon
- Ricardo Corin, Antonio Durante, Sandro Etalle, Pieter H. Hartel
- Cheun Ngen Chong, Bin Ren, Jeroen Doumen, Sandro Etalle, Pieter H. Hartel, Ricardo Corin
- Peeter Laud, Ricardo Corin