default search action

combined dblp search
author search
venue search
publication search

ask others

PLAS@PLDI 2012: Beijing, China

> 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/2012plas
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/2012plas
Sergio Maffeis, Tamara Rezk:
Proceedings of the 2012 Workshop on Programming Languages and Analysis for Security, PLAS 2012, Beijing, China, 15 June, 2012. ACM 2012, ISBN 978-1-4503-1441-1
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/MatosS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/MatosS12
Ana Almeida Matos, José Fragoso Santos:
Typing illegal information flows as program effects. 1
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/MardzielHKS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/MardzielHKS12
Piotr Mardziel, Michael Hicks, Jonathan Katz, Mudhakar Srivatsa:
Knowledge-oriented secure multiparty computation. 2
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/HusseinMR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/HusseinMR12
Soha Hussein, Patrick O'Neil Meredith, Grigore Rosu:
Security-policy monitoring and enforcement with JavaMOP. 3
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/DugganW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/DugganW12
Dominic Duggan, Ye Wu:
Security correctness for secure nested transactions: position paper. 4
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/HernandezN12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/HernandezN12
Alejandro Mario Hernandez, Flemming Nielson:
A generic approach for security policies composition: position paper. 5
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/Bodden12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/Bodden12
Eric Bodden:
Static flow-sensitive & context-sensitive information-flow analysis for software product lines: position paper. 6
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/BelloR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/BelloR12
Luciano Bello, Alejandro Russo:
Towards a taint mode for cloud computing web applications. 7
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/LiangM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/LiangM12
Shuying Liang, Matthew Might:
Hash-flow taint analysis of higher-order programs. 8
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/DoligezJR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/DoligezJR12
Damien Doligez, Mathieu Jaume, Renaud Rioboo:
Development of secured systems by mixing programs, specifications and proofs in an object-oriented programming environment: a case study within the FoCaLiZe environment. 9

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.