Implementing TLS with Verified Cryptographic Security
warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
Mon, 03/04/2013 - 11:34 — alfredo
Title
Implementing TLS with Verified Cryptographic Security
Publication Type
Conference Paper
Authors
Bhargavan, K., C. Fournet, M. Kohlweiss, A. Pironti, and P. - Y. Strub