Proceedings of the 7th Workshop on Programming Languages and Analysis for Security - PLAS '12
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450314411

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Development of secured systems by mixing programs, specifications and proofs in an object-oriented programming environment

Proceedings of the 7th Workshop on Programming Languages and Analysis for Security - PLAS '12 ◽

10.1145/2336717.2336726 ◽

2012 ◽

Cited By ~ 2

Author(s):

Damien Doligez ◽

Mathieu Jaume ◽

Renaud Rioboo

Keyword(s):

Object Oriented ◽

Object Oriented Programming ◽

Programming Environment

Download Full-text

Static flow-sensitive & context-sensitive information-flow analysis for software product lines

Proceedings of the 7th Workshop on Programming Languages and Analysis for Security - PLAS '12 ◽

10.1145/2336717.2336723 ◽

2012 ◽

Cited By ~ 3

Author(s):

Eric Bodden

Keyword(s):

Information Flow ◽

Flow Analysis ◽

Software Product Lines ◽

Sensitive Information ◽

Product Lines ◽

Information Flow Analysis ◽

Context Sensitive ◽

Software Product ◽

Static Flow

Download Full-text

Knowledge-oriented secure multiparty computation

Proceedings of the 7th Workshop on Programming Languages and Analysis for Security - PLAS '12 ◽

10.1145/2336717.2336719 ◽

2012 ◽

Cited By ~ 6

Author(s):

Piotr Mardziel ◽

Michael Hicks ◽

Jonathan Katz ◽

Mudhakar Srivatsa

Keyword(s):

Secure Multiparty Computation ◽

Multiparty Computation

Download Full-text

Typing illegal information flows as program effects

Proceedings of the 7th Workshop on Programming Languages and Analysis for Security - PLAS '12 ◽

10.1145/2336717.2336718 ◽

2012 ◽

Cited By ~ 1

Author(s):

Ana Almeida Matos ◽

José Fragoso Santos

Keyword(s):

Information Flows ◽

Program Effects

Download Full-text

Security-policy monitoring and enforcement with JavaMOP

Proceedings of the 7th Workshop on Programming Languages and Analysis for Security - PLAS '12 ◽

10.1145/2336717.2336720 ◽

2012 ◽

Cited By ~ 9

Author(s):

Soha Hussein ◽

Patrick Meredith ◽

Grigore Roşlu

Keyword(s):

Security Policy ◽

Monitoring And Enforcement

Download Full-text

Towards a taint mode for cloud computing web applications

Proceedings of the 7th Workshop on Programming Languages and Analysis for Security - PLAS '12 ◽

10.1145/2336717.2336724 ◽

2012 ◽

Cited By ~ 7

Author(s):

Luciano Bello ◽

Alejandro Russo

Keyword(s):

Cloud Computing ◽

Web Applications

Download Full-text

Hash-flow taint analysis of higher-order programs

Proceedings of the 7th Workshop on Programming Languages and Analysis for Security - PLAS '12 ◽

10.1145/2336717.2336725 ◽

2012 ◽

Cited By ~ 4

Author(s):

Shuying Liang ◽

Matthew Might

Keyword(s):

Higher Order ◽

Taint Analysis

Download Full-text

A generic approach for security policies composition

Proceedings of the 7th Workshop on Programming Languages and Analysis for Security - PLAS '12 ◽

10.1145/2336717.2336722 ◽

2012 ◽

Author(s):

Alejandro Mario Hernandez ◽

Flemming Nielson

Keyword(s):

Security Policies

Download Full-text

Security correctness for secure nested transactions

Proceedings of the 7th Workshop on Programming Languages and Analysis for Security - PLAS '12 ◽

10.1145/2336717.2336721 ◽

2012 ◽

Cited By ~ 1

Author(s):

Dominic Duggan ◽

Ye Wu

Keyword(s):

Nested Transactions

Download Full-text

Proceedings of the 7th Workshop on Programming Languages and Analysis for Security - PLAS '12Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Development of secured systems by mixing programs, specifications and proofs in an object-oriented programming environment

Static flow-sensitive & context-sensitive information-flow analysis for software product lines

Knowledge-oriented secure multiparty computation

Typing illegal information flows as program effects

Security-policy monitoring and enforcement with JavaMOP

Towards a taint mode for cloud computing web applications

Hash-flow taint analysis of higher-order programs

A generic approach for security policies composition

Security correctness for secure nested transactions

Proceedings of the 7th Workshop on Programming Languages and Analysis for Security - PLAS '12
Latest Publications