BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Multi-tier language security: The example of LINKS - Yiannis Balto
 poulos
DTSTART:20071030T130000Z
DTEND:20071030T140000Z
UID:TALK8993@talks.cam.ac.uk
CONTACT:Henry Robinson
DESCRIPTION:In this talk we present ongoing work in the area of language s
 ecurity for multi-tier web programming languages. Our aim is to enable sec
 urity reasoning about multi-tier programs at the source level and ensure t
 hat specific properties are also guaranteed by the implementation.\n\nUsin
 g LINKS\, a language proposed by Phil Wadler in Edinburgh\, we provide an 
 operational semantics for the core fragment of the language and propose a 
 translation down to the pi-calculus. A compiler implementation of the tran
 slation generates models that are useful for automated checking of corresp
 ondence assertions of individual programs. Our ultimate goal is to prove t
 he correctness of our translation. 
LOCATION:Computer Laboratory\, William Gates Building\, Room FW11
END:VEVENT
END:VCALENDAR