BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Language based web security: the operational semantics approach - 
 Sergio Maffeis\, Imperial College\, London
DTSTART:20131122T160000Z
DTEND:20131122T170000Z
UID:TALK43757@talks.cam.ac.uk
CONTACT:Jonathan Hayman
DESCRIPTION:The goal of language based security is to develop applications
  that are\nprovably secure by design. My recent research has focused on th
 e\ndevelopment of programming-language and program-analysis techniques for
 \nenforcing web application security.\n\nIn this talk I will describe the 
 path from web technologies to formal\nmodels\, and ultimately to security 
 proofs. I will focus on two\ncomplementary JavaScript-related examples tha
 t lead to the discovery of\nfresh vulnerabilities in widely deployed web a
 pplications\, such as\nFacebook\, Yahoo!\, FireFox\, LastPass. These examp
 ls motivate an ongoing\neffort to mechanize the semantics of web programmi
 ng languages: I will\nreport on our progress on this front.\n
LOCATION:Auditorium\, Microsoft Research Ltd\, 21 Station Road\, Cambridge
 \, CB1 2FB
END:VEVENT
END:VCALENDAR