University of Cambridge > Talks.cam > Computer Laboratory Systems Research Group Seminar > Web Programming with Links: Theory and Practice

Web Programming with Links: Theory and Practice

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

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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2019 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity