Main Page

ASIACCS 2017

ASIACCS 2017 Workshops

CCS 2016

CCS 2016
Workshops

CODASPY 2017

CODASPY 2017 Workshops

SACMAT 2017

WiSec 2016

Compilation Author Index

ACM SIGSAC Membership Application

(Return to Top)

PLAS'17 Table of Contents

PLAS 2016 Chairs' Welcome
Toby Murray (University of Melbourne and Data61)
Deian Stefan (University of California, San Diego & Intrinsic)

PLAS 2016 Workshop Organization

Invited Talk I

Flow: Abstract Interpretation of JavaScript for Type Checking and Beyond: (Invited Talk) (Page 1)
Avik Chaudhuri (Facebook)

Session: JavaScript

Static Detection of User-specified Security Vulnerabilities in Client-side JavaScript (Page 3)
Jens Nicolay (Vrije Universiteit Brussel)
Valentijn Spruyt (Vrije Universiteit Brussel)
Coen De Roover (Vrije Universiteit Brussel)

Session: Information Flow

On Formalizing Information-Flow Control Libraries (Page 15)
Marco Vassena (Chalmers University)
Alejandro Russo (Chalmers University)

Future-dependent Flow Policies with Prophetic Variables (Page 29)
Ximeng Li (TU-Darmstadt)
Flemming Nielson (Technical University of Denmark)
Hanne Riis Nielson (Technical University of Denmark)

In-Depth Enforcement of Dynamic Integrity Taint Analysis (Page 43)
Sepehr Amir-Mohammadian (University of Vermont)
Christian Skalka (University of Vermont)

Session: Program Analysis and Types

JSPChecker: Static Detection of Context-Sensitive Cross-Site Scripting Flaws in Legacy Web Applications (Page 57)
Antonín Steinhauser (Oracle Labs & Charles University in Prague)
François Gauthier (Oracle Labs)

Short Paper: Rusty Types for Solid Safety (Page 69)
Sergio Benitez (Stanford University)

Short Paper: Bounding Information Leakage Using Implication Graph (Page 77)
Ziyuan Meng (University of Central Missouri)

Short Paper: Dynamic Leakage - A Need for a New Quantitative Information Flow Measure (Page 83)
Nataliia Bielova (Université Côte d'Azur, Inria)

Invited Talk II

Verified Secure Implementations for the HTTPS Ecosystem: Invited Talk (Page 89)
Cédric Fournet (Microsoft Research)

Session: Novel Applications

Formal Verification of Smart Contracts: Short Paper (Page 91)
Karthikeyan Bhargavan (Inria)
Antoine Delignat-Lavaud (Microsoft Research)
Cédric Fournet (Microsoft Research)
Anitha Gollamudi (Harvard University)
Georges Gonthier (Microsoft Research)
Nadim Kobeissi (Inria)
Natalia Kulatova (Inria)
Aseem Rastogi (Microsoft Research)
Thomas Sibut-Pinote (Inria)
Nikhil Swamy (Microsoft Research)
Santiago Zanella-Béguelin (Microsoft Research)

Automatic Trigger Generation for Rule-based Smart Homes (Page 97)
Chandrakana Nandi (University of Washington)
Michael D. Ernst (University of Washington)

Short Paper: Superhacks: Exploring and Preventing Vulnerabilities in Browser Binding Code (Page 103)
Fraser Brown (Stanford University)