BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:High-assurance network protocols - implementations and tests - Han
 nes Mehrnert / David Kaloper
DTSTART:20140813T120000Z
DTEND:20140813T130000Z
UID:TALK53741@talks.cam.ac.uk
CONTACT:Peter Sewell
DESCRIPTION:We implemented a transport layer security stack purely in OCam
 l. Now we will rigorously validate it with other implementations.
LOCATION:FW11
END:VEVENT
END:VCALENDAR