University of Cambridge > Talks.cam > Computer Laboratory NetOS Group Talklets > Multi-tier language security: The example of LINKS

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹ️ Information

Multi-tier language security: The example of LINKS

Download to your calendar using vCal

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:

Note that ex-directory lists are not shown.

Other lists

Alison Richard Building, S1 Cambridge University Engineering Society Trinity College

Other talks

Wolfson Tool Factory Group Work The Play Paradox: How video games build better humans Topic Film, TV shows for Medical Education, ‘The Wire’ as a case study Mergers all the way down: simulating the origin of globular clusters in a galactic context Tea and Coffee Break
 

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