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

Full Citation in the ACM Digital Library

SESSION: Invited Talk I

Flow: Abstract Interpretation of JavaScript for Type Checking and Beyond

• Avik Chaudhuri

SESSION: JavaScript

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

• Jens Nicolay
• Valentijn Spruyt
• Coen De Roover

SESSION: Information Flow

On Formalizing Information-Flow Control Libraries

• Marco Vassena
• Alejandro Russo

Future-dependent Flow Policies with Prophetic Variables

• Ximeng Li
• Flemming Nielson
• Hanne Riis Nielson

In-Depth Enforcement of Dynamic Integrity Taint Analysis

• Sepehr Amir-Mohammadian
• Christian Skalka

SESSION: Program Analysis and Types

JSPChecker: Static Detection of Context-Sensitive Cross-Site Scripting Flaws in Legacy Web Applications

• Antonin Steinhauser
• François Gauthier

Short Paper: Rusty Types for Solid Safety

• Sergio Benitez

Short Paper: Bounding Information Leakage Using Implication Graph

• Ziyuan Meng

Short Paper: Dynamic leakage: A Need for a New Quantitative Information Flow Measure

• Nataliia Bielova

SESSION: Invited Talk II

Verified Secure Implementations for the HTTPS Ecosystem: Invited Talk

• Cédric Fournet

SESSION: Novel Applications

Formal Verification of Smart Contracts: Short Paper

• Karthikeyan Bhargavan
• Antoine Delignat-Lavaud
• Cédric Fournet
• Anitha Gollamudi
• Georges Gonthier
• Nadim Kobeissi
• Natalia Kulatova
• Aseem Rastogi
• Thomas Sibut-Pinote
• Nikhil Swamy
• Santiago Zanella-Béguelin

Automatic Trigger Generation for Rule-based Smart Homes

• Chandrakana Nandi
• Michael D. Ernst

Short Paper: Superhacks: Exploring and Preventing Vulnerabilities in Browser Binding Code

• Fraser Brown