BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Web Programming with Links: Theory and Practice - Ioannis Baltopou
 los (University of Cambridge)
DTSTART:20080207T163000Z
DTEND:20080207T173000Z
UID:TALK9265@talks.cam.ac.uk
CONTACT:Eiko Yoneki
DESCRIPTION:The abundance of languages for web programming has made it inc
 reasingly difficult to offer end-to-end security for web applications. In 
 this talk we introduce Links\, a multi-tier web programming language devel
 oped by Phil Wadler at the University of Edinburgh. Through examples we de
 monstrate how a multi-tier paradigm might simplify the construction of web
  applications. However\, the  compiler implementation is crucial in guaran
 teeing the security of the applications. We demonstrate how specific attac
 ks are expressible at the implementation level and propose an alternative 
 compilation strategy that eliminates them. We also automate the translatio
 n to the pi-calculus in a form suitable for verification by ProVerif.\n
LOCATION:Lecture Theatre 2\, Computer Laboratory\, William Gates Builiding
END:VEVENT
END:VCALENDAR