Ricardo Corin


Lecturer
Researcher CONICET (Asistente)
text hidden; JavaScript is required / home page

Publications:

R. Corin and Manzano, F. A., Taint Analysis of Security Code in the KLEE Symbolic Execution Engine, in Information and Communications Security - 14th International Conference, ICICS 2012, Hong Kong, China, October 29-31, 2012. Proceedings, 2012, pp. 264-275.
R. Corin and Manzano, F. A., Efficient Symbolic Execution for Analysing Cryptographic Protocol Implementations, in Engineering Secure Software and Systems - Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings, 2011, pp. 58-72.
K. Bhargavan, Corin, R., Deniélou, P. - M., Fournet, C., and Leifer, J. J., Cryptographic Protocol Synthesis and Verification for Multiparty Sessions, in Proceedings of the 22nd IEEE Computer Security Foundations Symposium, CSF 2009, Port Jefferson, New York, USA, July 8-10, 2009, 2009, pp. 124-140.PDF icon paper-188.pdf (512.93 KB)
J. Planul, Corin, R., and Fournet, C., Secure Enforcement for Global Process Specifications, in CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings, 2009, pp. 511-526.
Powered by Drupal