Implementing TLS with Verified Cryptographic Security.
Karthikeyan Bhargavan, Cdric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub
VenueA*SP
Year2013
ProceedingsIEEE Symposium on Security and Privacy
DBLP recordconf/sp/BhargavanFKPS13 ↗
Browse the full SP paper archive.