AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Ricardo Corin

Ricardo Corin

Universidad Nacional de Córdoba - Córdoba / Argentina
Engineering & Technology / Computer Science
AD Scientific Index ID: 852270
National University of Córdoba
person_outline Ricardo Corin's MOST POPULAR ARTICLES
1-) Cryptographically verified implementations for TLS Proceedings of the 15th ACM conference on computer and Communications …, 2008
2-) Audit-based compliance control International Journal of Information Security 6 (2), 133-151, 2007
3-) An improved constraint-based system for the verification of security protocols International Static Analysis Symposium, 326-341, 2002
4-) Cryptographic protocol synthesis and verification for multiparty sessions 2009 22nd IEEE Computer Security Foundations Symposium, 124-140, 2009
5-) Secure sessions for web services ACM Transactions on Information and System Security (TISSEC) 10 (2), 8-es, 2007