miTLS: A Verifiable TLS Implementation (Or, how secure is SSL?) | Newton Gateway to Mathematics

skip to content

Presented by:

Markulf Kohlweiss (Microsoft (UK))

When:

Thursday, May 8, 2014 - 11:50 to 12:20

Venue:

INI Seminar Room 1