[Apologies if you receive multiple copies of this announcement]
BCS-FACS Evening Seminar
Joint event with the EPSRC CryptoForma Network of Excellence
Implementing TLS with Verified Cryptographic Security
15 January 2014, 6.00 pm
Speaker: Dr. Cédric Fournet (Microsoft Research Cambridge & MSR-INRIA
Research Centre)
TLS (Transport Layer Security) is the most widely deployed protocol for
securing communications, e.g. used in HTTPS secure web connections. Yet,
after two decades of attacks, patches, and extensions, its practical
security remains controversial.
In my presentation, I will
(1) illustrate why TLS is so difficult to get right, using recent
attacks against the protocol, its underlying cryptography, and its
typical usage in web applications; and
(2) present our research of TLS security, centred on a new verified
reference implementation of the Internet standard coded in F#. Our
codebase interoperates with mainstream browsers and servers, with
reasonable performance. At the same time, our code is carefully
structured to enable its modular, automated verification, from its main
API down to cryptographic assumptions on e.g. AES and RSA.
This is joint work at the MSR INRIA research centre, with Karthik
Bhargavan, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, and
Santiago Zanella.
See https://mitls.rocq.inria.fr (running our own TLS server) for papers,
attacks, code, and details.
Venue:
BCS London Offices, First Floor
The Davidson Building
5 Southampton Street London WC2E 7HA
Refreshments will be served from 5.15pm.
The seminar comes at the end of a regular meeting of the EPSRC
CryptoForma network (www.cryptoforma.org.uk) on Formal Methods and
Cryptography, starting after lunch (exact time TBA).
Both this meeting and the seminar are free of charge and open to everyone.
If you would like to attend the seminar, please register as soon as
possible at https://events.bcs.org/book/689/. Pre-registration is
required, as security at the BCS Offices is tight.
(If you would also like to attend the rest of the day, please also
inform the CryptoForma coordinator, Eerke Boiten [log in to unmask])
BCS-FACS Website: http://www.bcs-facs.org/
Location of venue: http://www.bcs.org/category/8404
Kind regards,
Eerke Boiten
|