default search action

combined dblp search
author search
venue search
publication search

ask others

PLAS@PLDI 2013: Seattle, WA, USA

> Home > Conferences and Workshops > PLAS
> 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
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/pldi/2013plas
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/2013plas
Prasad Naldurg, Nikhil Swamy:
Proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, PLAS 2013, Seattle, WA, USA, June 20, 2013. ACM 2013, ISBN 978-1-4503-2144-0

Keynote address

- view
  authority control:
- export record
  dblp key:
  - conf/pldi/Sands13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/Sands13
David Sands:
Fault-tolerant non-interference: invited talk abstract. 1-2

Secure programming languages and models

- view
  authority control:
- export record
  dblp key:
  - conf/pldi/RastogiMHH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/RastogiMHH13
Aseem Rastogi, Piotr Mardziel, Michael Hicks, Matthew A. Hammer:
Knowledge inference for optimizing secure multi-party computation. 3-14
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/AustinYFS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/AustinYFS13
Thomas H. Austin, Jean Yang, Cormac Flanagan, Armando Solar-Lezama:
Faceted execution of policy-agnostic programs. 15-26
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/GampeR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/GampeR13
Andreas Gampe, Jeffery von Ronne:
Security completeness: towards noninterference in composed languages. 27-38
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/0001KOTRKSHC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/0001KOTRKSHC13
Xun Li, Vineeth Kashyap, Jason K. Oberg, Mohit Tiwari, Vasanth Ram Rajarathinam, Ryan Kastner, Timothy Sherwood, Ben Hardekopf, Frederic T. Chong:
Position paper: Sapper - a language for provable hardware policy enforcement. 39-44

Web programming and security

- view
  authority control:
- export record
  dblp key:
  - conf/pldi/KeilT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/KeilT13
Matthias Keil, Peter Thiemann:
Type-based dependency analysis for javascript. 47-58
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/HinrichsRPVSZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/HinrichsRPVSZ13
Timothy L. Hinrichs, Daniele Rossetti, Gabriele Petronella, V. N. Venkatakrishnan, A. Prasad Sistla, Lenore D. Zuck:
WEBLOG: a declarative language for secure web development. 59-70
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/HallgrenMS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/HallgrenMS13
Per A. Hallgren, Daniel T. Mauritzson, Andrei Sabelfeld:
GlassTube: a lightweight approach to web application integrity. 71-82
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/Lester13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/Lester13
Martin Mariusz Lester:
Position paper: the science of boxing. 83-88

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.