Lecture: Security: MiTLS
Date: 4/03/17
Reading
- Required reading: Implementing TLS with Verified Cryptographic Security, Karthikeyan Bhargavan, Cedric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, IEEE Symposium on Security and Privacy, 2013.
- Optional reading: Modular code-based cryptographic verification, C. Fournet, M. Kohlweiss, and P.-Y. Strub, ACM CCS, 2011.