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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450308304

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Capabilities for information flow

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

10.1145/2166956.2166961 ◽

2011 ◽

Cited By ~ 8

Author(s):

Arnar Birgisson ◽

Alejandro Russo ◽

Andrei Sabelfeld

Keyword(s):

Information Flow

Download Full-text

The potential of sampling for dynamic analysis

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

10.1145/2166956.2166959 ◽

2011 ◽

Cited By ~ 1

Author(s):

Joseph L. Greathouse ◽

Todd Austin

Keyword(s):

Dynamic Analysis

Download Full-text

SAFERPHP

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

10.1145/2166956.2166964 ◽

2011 ◽

Cited By ~ 16

Author(s):

Sooel Son ◽

Vitaly Shmatikov

Download Full-text

Epistemic temporal logic for information flow security

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

10.1145/2166956.2166962 ◽

2011 ◽

Cited By ~ 27

Author(s):

Musard Balliu ◽

Mads Dam ◽

Gurvan Le Guernic

Keyword(s):

Temporal Logic ◽

Information Flow ◽

Epistemic Temporal Logic ◽

Information Flow Security

Download Full-text

Differential privacy with information flow control

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

10.1145/2166956.2166958 ◽

2011 ◽

Cited By ~ 3

Author(s):

Arnar Birgisson ◽

Frank McSherry ◽

Martín Abadi

Keyword(s):

Flow Control ◽

Information Flow ◽

Differential Privacy ◽

Information Flow Control

Download Full-text

Calculating bounds on information leakage using two-bit patterns

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

10.1145/2166956.2166957 ◽

2011 ◽

Cited By ~ 18

Author(s):

Ziyuan Meng ◽

Geoffrey Smith

Keyword(s):

Information Leakage

Download Full-text

Limiting information leakage in event-based communication

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

10.1145/2166956.2166960 ◽

2011 ◽

Cited By ~ 10

Author(s):

Willard Rafnsson ◽

Andrei Sabelfeld

Keyword(s):

Information Leakage ◽

Event Based

Download Full-text

Privacy-aware proof-carrying authorization

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

10.1145/2166956.2166963 ◽

2011 ◽

Cited By ~ 4

Author(s):

Matteo Maffei ◽

Kim Pecina

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Capabilities for information flow

The potential of sampling for dynamic analysis

SAFERPHP

Epistemic temporal logic for information flow security

Differential privacy with information flow control

Calculating bounds on information leakage using two-bit patterns

Limiting information leakage in event-based communication

Privacy-aware proof-carrying authorization

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