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.
TitleImplementing TLS with Verified Cryptographic Security
Publication TypeConference Paper
AuthorsBhargavan, K., C. Fournet, M. Kohlweiss, A. Pironti, and P. - Y. Strub
AttachmentSize
oakland13.pdf417.74 KB