BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Modelling pcap expressions - Nik Sultana
DTSTART:20150826T120000Z
DTEND:20150826T130000Z
UID:TALK60518@talks.cam.ac.uk
CONTACT:Peter Sewell
DESCRIPTION:\nPcap expressions are the de facto language for specifying pa
 cket filters. Standard tools like tcpdump\, wireshark\, and ngrep\, are gi
 ven pcap expressions like "(not host sandy) and dst portrange 22-25"\, con
 veniently describing what traffic the user is interested in.\n\nLike many 
 real-world systems\, pcap is informally specified and has ad hoc design ex
 tensions. Unfortunately\, even a small language like pcap can yield unexpe
 cted (and usually unwanted) behaviour.\n\nIn this talk I describe ongoing 
 work to model pcap expressions\, the challenges and surprises therein\, an
 d how such a model could support building better language-based tools for 
 networking.
LOCATION:FW11
END:VEVENT
END:VCALENDAR