Proceedings of the 5th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security - PLAS '10
Latest Publications

TOTAL DOCUMENTS

8

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By ACM Press

9781605588278

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Class properties for security review in an object-capability subset of Java

Proceedings of the 5th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security - PLAS '10 ◽

10.1145/1814217.1814224 ◽

2010 ◽

Author(s):

Adrian Mettler ◽

David Wagner

Download Full-text

A more precise security type system for dynamic security tests

Proceedings of the 5th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security - PLAS '10 ◽

10.1145/1814217.1814221 ◽

2010 ◽

Author(s):

Gregory Malecha ◽

Stephen Chong

Keyword(s):

Type System ◽

Dynamic Security

Download Full-text

The case for JavaScript transactions

Proceedings of the 5th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security - PLAS '10 ◽

10.1145/1814217.1814223 ◽

2010 ◽

Author(s):

Mohan Dhawan ◽

Chung-chieh Shan ◽

Vinod Ganapathy

Download Full-text

Permissive dynamic information flow analysis

Proceedings of the 5th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security - PLAS '10 ◽

10.1145/1814217.1814220 ◽

2010 ◽

Author(s):

Thomas H. Austin ◽

Cormac Flanagan

Keyword(s):

Information Flow ◽

Flow Analysis ◽

Dynamic Information ◽

Information Flow Analysis

Download Full-text

Efficient, context-sensitive detection of real-world semantic attacks

Proceedings of the 5th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security - PLAS '10 ◽

10.1145/1814217.1814218 ◽

2010 ◽

Author(s):

Michael D. Bond ◽

Varun Srivastava ◽

Kathryn S. McKinley ◽

Vitaly Shmatikov

Keyword(s):

Sensitive Detection ◽

World Semantic ◽

Context Sensitive

Download Full-text

Secure information flow analysis for hardware design

Proceedings of the 5th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security - PLAS '10 ◽

10.1145/1814217.1814225 ◽

2010 ◽

Author(s):

Xun Li ◽

Mohit Tiwari ◽

Ben Hardekopf ◽

Timothy Sherwood ◽

Frederic T. Chong

Keyword(s):

Information Flow ◽

Flow Analysis ◽

Hardware Design ◽

Information Flow Analysis ◽

Secure Information

Download Full-text

Restricted delegation and revocation in language-based security

Proceedings of the 5th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security - PLAS '10 ◽

10.1145/1814217.1814222 ◽

2010 ◽

Author(s):

D. Hassan ◽

M. R. Mousavi ◽

M. A. Reniers

Keyword(s):

Language Based Security

Download Full-text

Attack model for verification of interval security properties for smart card C codes

Proceedings of the 5th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security - PLAS '10 ◽

10.1145/1814217.1814219 ◽

2010 ◽

Author(s):

P. Berthomé ◽

K. Heydemann ◽

X. Kauffmann-Tourkestansky ◽

J.-F. Lalande

Keyword(s):

Attack Model ◽

Security Properties

Download Full-text