BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Verifying Crypto Protocols Written in C - Gordon\, A (Microsoft Re
 search)
DTSTART:20120410T090000Z
DTEND:20120410T100000Z
UID:TALK37380@talks.cam.ac.uk
CONTACT:Mustapha Amrani
DESCRIPTION:The security of much critical infrastructure depends in part o
 n cryptographic software coded in C\, and yet vulnerabilities continue to 
 be discovered in such software. We describe recent progress on checking th
 e security of C code implementing cryptographic software. In particular\, 
 we describe projects that combine verification-condition generation and sy
 mbolic execution techniques for C\, with methods for stating and verifying
  security properties of abstract models of cryptographic protocols. We ill
 ustrate these techniques on C code for a simple two-message protocol.\n
LOCATION:Seminar Room 1\, Newton Institute
END:VEVENT
END:VCALENDAR