Web Programming with Links: Theory and Practice

Add to your list(s) Download to your calendar using vCal

• Ioannis Baltopoulos (University of Cambridge)
• Thursday 07 February 2008, 16:30-17:30
• Lecture Theatre 2, Computer Laboratory, William Gates Builiding.

If you have a question about this talk, please contact Eiko Yoneki.

The abundance of languages for web programming has made it increasingly difficult to offer end-to-end security for web applications. In this talk we introduce Links, a multi-tier web programming language developed by Phil Wadler at the University of Edinburgh. Through examples we demonstrate how a multi-tier paradigm might simplify the construction of web applications. However, the compiler implementation is crucial in guaranteeing the security of the applications. We demonstrate how specific attacks are expressible at the implementation level and propose an alternative compilation strategy that eliminates them. We also automate the translation to the pi-calculus in a form suitable for verification by ProVerif.

This talk is part of the Computer Laboratory Systems Research Group Seminar series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• CL's SRG seminar
• Cambridge Centre for Data-Driven Discovery (C2D3)
• Cambridge talks
• Chris Davis' list
• Computer Laboratory Systems Research Group Seminar
• Department of Computer Science and Technology talks and seminars
• Interested Talks
• Lecture Theatre 2, Computer Laboratory, William Gates Builiding
• School of Technology
• Trust & Technology Initiative - interesting events
• bld31
• ndk22's list
• ob366-ai4er
• rp587

Note that ex-directory lists are not shown.