Multi-tier language security: The example of LINKS

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

• Yiannis Baltopoulos
• Tuesday 30 October 2007, 13:00-14:00
• Computer Laboratory, William Gates Building, Room FW11.

If you have a question about this talk, please contact Henry Robinson.

In this talk we present ongoing work in the area of language security for multi-tier web programming languages. Our aim is to enable security reasoning about multi-tier programs at the source level and ensure that specific properties are also guaranteed by the implementation.

Using 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 translation generates models that are useful for automated checking of correspondence assertions of individual programs. Our ultimate goal is to prove the correctness of our translation.

This talk is part of the Computer Laboratory NetOS Group Talklets series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge talks
• Computer Laboratory NetOS Group Talklets
• Computer Laboratory, William Gates Building, Room FW11
• Department of Computer Science and Technology talks and seminars
• Interested Talks
• School of Technology
• Trust & Technology Initiative - interesting events
• bld31

Note that ex-directory lists are not shown.