Publications

Export 3 results:
Author Title [ Type(Desc)] Year
Filters: Author is Cédric Fournet  [Clear All Filters]
Conference Paper
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.
Journal Article
K. Bhargavan, Fournet, C., Corin, R., and Zalinescu, E., Verified Cryptographic Implementations for TLS, ACM Trans. Inf. Syst. Secur., vol. 15, p. 3, 2012.PDF icon paper-183.pdf (981.84 KB)
Powered by Drupal