Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security - PLAS'16
Latest Publications

TOTAL DOCUMENTS

13

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By ACM Press

9781450345743

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Verified Secure Implementations for the HTTPS Ecosystem

Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security - PLAS'16 ◽

10.1145/2993600.2996279 ◽

2016 ◽

Author(s):

Cédric Fournet

Download Full-text

Short Paper

Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security - PLAS'16 ◽

10.1145/2993600.2993604 ◽

2016 ◽

Author(s):

Sergio Benitez

Keyword(s):

Download Full-text

Automatic Trigger Generation for Rule-based Smart Homes

Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security - PLAS'16 ◽

10.1145/2993600.2993601 ◽

2016 ◽

Author(s):

Chandrakana Nandi ◽

Michael D. Ernst

Keyword(s):

Smart Homes ◽

Automatic Trigger

Download Full-text

On Formalizing Information-Flow Control Libraries

Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security - PLAS'16 ◽

10.1145/2993600.2993608 ◽

2016 ◽

Author(s):

Marco Vassena ◽

Alejandro Russo

Keyword(s):

Flow Control ◽

Information Flow ◽

Information Flow Control

Download Full-text

Static Detection of User-specified Security Vulnerabilities in Client-side JavaScript

Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security - PLAS'16 ◽

10.1145/2993600.2993612 ◽

2016 ◽

Author(s):

Jens Nicolay ◽

Valentijn Spruyt ◽

Coen De Roover

Keyword(s):

Security Vulnerabilities ◽

Client Side ◽

Static Detection

Download Full-text

Short Paper: Dynamic leakage

Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security - PLAS'16 ◽

10.1145/2993600.2993607 ◽

2016 ◽

Author(s):

Nataliia Bielova

Keyword(s):

Download Full-text

Formal Verification of Smart Contracts

Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security - PLAS'16 ◽

10.1145/2993600.2993611 ◽

2016 ◽

Author(s):

Karthikeyan Bhargavan ◽

Antoine Delignat-Lavaud ◽

Cédric Fournet ◽

Anitha Gollamudi ◽

Georges Gonthier ◽

...

Keyword(s):

Formal Verification ◽

Smart Contracts

Download Full-text

JSPChecker

Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security - PLAS'16 ◽

10.1145/2993600.2993606 ◽

2016 ◽

Author(s):

Antonin Steinhauser ◽

François Gauthier

Download Full-text

Short Paper

Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security - PLAS'16 ◽

10.1145/2993600.2993605 ◽

2016 ◽

Author(s):

Ziyuan Meng

Keyword(s):

Download Full-text

Future-dependent Flow Policies with Prophetic Variables

Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security - PLAS'16 ◽

10.1145/2993600.2993603 ◽

2016 ◽

Author(s):

Ximeng Li ◽

Flemming Nielson ◽

Hanne Riis Nielson

Keyword(s):

Download Full-text