![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Ioannis Baltopoulos (University of Cambridge)
Thursday 07 February 2008, 16:30-17:30
Web Programming with Links: Theory and Practice
- đ¤ Speaker: Ioannis Baltopoulos (University of Cambridge)
- đ Date & Time: Thursday 07 February 2008, 16:30 - 17:30
- đ Venue: Lecture Theatre 2, Computer Laboratory, William Gates Builiding
Abstract
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.
Series This talk is part of the Computer Laboratory Systems Research Group Seminar series.
Included in Lists
- All Talks (aka the CURE list)
- bld31
- Cambridge Centre for Data-Driven Discovery (C2D3)
- Cambridge talks
- Chris Davis' list
- CL's SRG seminar
- 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
- ndk22's list
- ob366-ai4er
- rp587
- School of Technology
- Trust & Technology Initiative - interesting events
- yk449
Note: Ex-directory lists are not shown.