default search action

combined dblp search
author search
venue search
publication search

ask others

PLAS@PLDI 2009: Dublin, Ireland

> Home > Conferences and Workshops > PLDI

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/pldi/2009plas
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/2009plas
Stephen Chong, David A. Naumann:
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

- view
  authority control:
- export record
  dblp key:
  - conf/pldi/Chaudhuri09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/Chaudhuri09
Avik Chaudhuri:
Language-based security on Android. 1-7
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/DeVriesGHMS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/DeVriesGHMS09
Brian W. DeVries, Gopal Gupta, Kevin W. Hamlen, Scott Moore, Meera Sridhar:
ActionScript bytecode verification with co-logic programming. 9-15

Static information flow

- view
  authority control:
- export record
  dblp key:
  - conf/pldi/JiaZ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/JiaZ09
Limin Jia, Steve Zdancewic:
Encoding information flow in Aura. 17-29
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/WasserrabLS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/WasserrabLS09
Daniel Wasserrab, Denis Lohner, Gregor Snelting:
On PDG-based noninterference and its modular proof. 31-44
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/AskarovS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/AskarovS09
Aslan Askarov, Andrei Sabelfeld:
Catch me if you can: permissive yet secure error handling. 45-57

Theme redacted for security

- view
  authority control:
- export record
  dblp key:
  - conf/pldi/BalliuM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/BalliuM09
Musard Balliu, Isabella Mastroeni:
A weakest precondition approach to active attacks analysis. 59-71
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/NewsomeMS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/NewsomeMS09
James Newsome, Stephen McCamant, Dawn Song:
Measuring channel capacity to distinguish undue influence. 73-85
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/BirgissonE09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/BirgissonE09
Arnar Birgisson, Úlfar Erlingsson:
An implementation and semantics for transactional memory introspection in Haskell. 87-99

Dynamic information flow and dynamic policies

- view
  authority control:
- export record
  dblp key:
  - conf/pldi/BrobergS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/BrobergS09
Niklas Broberg, David Sands:
Flow-sensitive semantics for dynamic information flow policies. 101-112
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/AustinF09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/AustinF09
Thomas H. Austin, Cormac Flanagan:
Efficient purely-dynamic information flow analysis. 113-124
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/ShinnarPB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/ShinnarPB09
Avraham Shinnar, Marco Pistoia, Anindya Banerjee:
A language for information flow: dynamic tracking in multiple interdependent dimensions. 125-131

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.