PLAS 2009: Dublin, Ireland

Stephen Chong, David A. Naumann (Eds.): Proceedings of the 2009 Workshop on Programming Languages and Analysis for Security, PLAS 2009, Dublin, Ireland, 15-21 June, 2009. ACM 2009, ISBN 978-1-60558-645-8

Security in new languages

Avik Chaudhuri:
Language-based security on Android. 1-7
Brian W. DeVries, Gopal Gupta, Kevin W. Hamlen, Scott Moore, Meera Sridhar:
ActionScript bytecode verification with co-logic programming. 9-15

Static information flow

Limin Jia, Steve Zdancewic:
Encoding information flow in Aura. 17-29
Daniel Wasserrab, Denis Lohner, Gregor Snelting:
On PDG-based noninterference and its modular proof. 31-44
Aslan Askarov, Andrei Sabelfeld:
Catch me if you can: permissive yet secure error handling. 45-57

Theme redacted for security

Musard Balliu, Isabella Mastroeni:
A weakest precondition approach to active attacks analysis. 59-71
James Newsome, Stephen McCamant, Dawn Song:
Measuring channel capacity to distinguish undue influence. 73-85
Arnar Birgisson, Úlfar Erlingsson:
An implementation and semantics for transactional memory introspection in Haskell. 87-99

Dynamic information flow and dynamic policies

Niklas Broberg, David Sands:
Flow-sensitive semantics for dynamic information flow policies. 101-112
Thomas H. Austin, Cormac Flanagan:
Efficient purely-dynamic information flow analysis. 113-124
Avraham Shinnar, Marco Pistoia, Anindya Banerjee:
A language for information flow: dynamic tracking in multiple interdependent dimensions. 125-131

Last update Fri May 25 08:32:28 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page