BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Kneecap: model-based generation and analysis of network traffic - 
 Nik Sultana\, Computer Lab
DTSTART:20150617T120000Z
DTEND:20150617T130000Z
UID:TALK59891@talks.cam.ac.uk
CONTACT:Peter Sewell
DESCRIPTION:I'll describe a new design for network traffic tools\, one tha
 t affords users more expressiveness to describe the packets to generate or
  analyse. This design involves translating users’ expressions into const
 raint-satisfaction problems\, that are dispatched to general reasoning too
 ls for solution.\n
LOCATION:FW11
END:VEVENT
END:VCALENDAR