[TYPES/announce] PLAS 2016 call for participation

Deian Stefan deian at cs.ucsd.edu
Fri Sep 30 15:15:06 EDT 2016


Call for Participation

ACM SIGPLAN 11th Workshop on Programming Languages and Analysis for
Security (PLAS 2016)

Vienna, Austria
October 24, 2016


Co-located with CCS 2016 (https://www.sigsac.org/ccs/CCS2016/)


PLAS aims to provide a forum for exploring and evaluating ideas on the
use of programming language and program analysis techniques to improve
the security of software systems.  This year's program is composed of
exciting papers that (1) employ foundational programming languages
techniques to address security issues in a number of application
domains---from web applications to smart contracts and smart
homes---and (2) advance and question the state of the art in
language-based security mechanisms (e.g., information flow control).
Complementing these are two invited talks on the intersection of
programming languages and security coming from both industry and

Thanks to the generous support of Oracle, Data61 and Intrinsic, this
year, PLAS is also offering travel grants to students interested in
attending the workshop.






- Avik Chaudhuri
  Flow: Analysis of JavaScript for type checking and beyond

- Cédric Fournet
  Verified Secure Implementations for the HTTPS Ecosystem

Accepted Short Papers

- Automatic Trigger Generation for Rule-based Smart Homes
  by Chandrakana Nandi and Michael D. Ernst

- Superhacks: Exploring and preventing vulnerabilities in browser
  binding code
	Fraser Brown

- Rusty Types for Solid Safety
  Sergio Benitez

- Bounding Information Leakage Using Implication Graph
  Ziyuan Meng

- Dynamic leakage - a need for a new quantitative information flow
  Nataliia Bielova

- Formal Verification of Smart Contracts
  Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet,
  Anitha Gollamudi, Georges Gonthier, Nadim Kobeissi, Aseem Rastogi,
  Thomas Sibut-Pinote, Nikhil Swamy and Santiago Zanella-Béguelin

Accepted Long Papers

- Future-dependent Flow Policies with Prophetic Variables
  Ximeng Li, Flemming Nielson, and Hanne Riis Nielson

- JSPChecker: Static Detection of Context-Sensitive Cross-Site
  Scripting Flaws in Legacy Web Applications
  Antonin Steinhauser and Francois Gauthier

- On Formalizing Information-Flow Control Libraries
  Marco Vassena and Alejandro Russo

- In-Depth Enforcement of Dynamic Integrity Taint Analysis
  Sepehr Amir-Mohammadian and Christian Skalk

- Static Detection of User-specified Security Vulnerabilities in
  Client-side JavaScript
  Jens Nicolay, Valentijn Spruyt, and Coen De Roover


Student Travel Grants

Application deadline: October 7, 2016
Application form: https://goo.gl/forms/c052A98ns5odcVE62



Karthikeyan Bhargavan, INRIA
Stephen Chong, Harvard University
Marco Gaboardi, University at Buffalo
Christian Hammer, Saarland University
Limin Jia, Carnegie Mellon University
Toby Murray (co-chair), University of Melbourne and Data61
Benjamin Pierce, University of Pennsylvania
Tamara Rezk, INRIA
Deian Stefan (co-chair), UC San Diego and Intrinsic
Vanessa Teague, University of Melbourne
Xi Wang, University of Washington

More information about the Types-announce mailing list