Program (location: Dallas Ballroom D2)

8:50 - 9:00
Welcome!
9:00 - 10:00


Keynote Talk 1 - Chair Marco Gaboardi
Languages for Oblivious Computation
Michael Hicks - University of Maryland - College Parks
10:00 - 10:45
Coffee Break
10:45 - 12:00






Session on Program Analysis - Chair: Limin Jia
CFG Construction Soundness in Control-Flow Integrity
Gang Tang, Trent Jaeger (Penn State University)
Using Precise Taint Tracking for Auto-sanitization
Tejas Saoji, Thomas H. Austin (San Jose State University), Cormac Flanagan (UCSC)
Modular Synthesis of Heap Exploits
Dusan Repel, Johannes Kinder, Lorenzo Cavallaro (Royal Holloway, University of London)
12:00 - 1:30 Lunch Break
1:30 - 2:10




Session on Information Flow (2 short talks - 2 regular talks) Chair: Alejandro Russo
Short Paper: Compiler Optimizations with Retrofitting Transformations: Is there a Semantic Mismatch?
Jay Lim (Rutgers), Vinod Ganapathy (Indian Institute of Science), Santosh Nagarakatte (Rutgers)
Short Paper: Towards information flow reasoning about real-world C code
Samuel Gruetter (MIT), Toby Murray (University of Melbourne)
2:10 - 3:00



Annotated multisemantics to prove Non-Interference analyses
Gurvan Cabon, Alan Schmitt (Inria)
Design-time Quantification of Integrity in Cyber-physical Systems
Eric Rothstein Morris, Martin Ochoa, Carlos G. Murguia (Singapore University of Technology and Design)
3:00 - 3:45
Coffee Break
3:45 - 4:45


Keynote Talk 2 - Chair Marco Gaboardi
Authorization Contracts
Stephen Chong - Harvard University
4:45 - 6:00






Session on New Languages and Tools - Chair: Marco Gaboardi
Encoding DCC in Haskell
Maximilian Algehed, Alejandro Russo (Chalmers University of Technology)
A Sequent Calculus for Counterfactual Reasoning
McKenna McCall, Lay Kuan Loh, Limin Jia (Carnegie Mellon University)
Simplicity: A New Language for Blockchains
Russell O'Connor (Blockstream)

Context

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. Strongly encouraged are proposals of new, speculative ideas, evaluations of new or known techniques in practical settings, and discussions of emerging threats and important problems. We are especially interested in position papers that are radical, forward-looking, and likely to lead to lively and insightful discussions that will influence future research that lies at the intersection of programming languages and security.

The scope of PLAS includes, but is not limited to:

Submission Guidelines

We invite both full papers and short papers. For short papers we especially encourage the submission of position papers that are likely to generate lively discussion.

Submissions should be PDF documents formatted according to the CCS 2017 formatting requirements provided at https://www.sigsac.org/ccs/CCS2017/#format. Both full and short papers must describe work not published in other refereed venues. Accepted papers will appear in workshop proceedings, which will be distributed to the workshop participants and be available in the ACM Digital Library.

PLAS welcomes submissions by authors of all nationalities and we do not wish to exclude any potential authors who may have difficulty traveling due to recent changes in US immigration practices. We will allow presenting papers electronically or with non-author presenters in cases where paper authors are unable to travel to the United States.

Previous editions

2016ACM SIGPLAN 11th Workshop on Programming Languages and Analysis for Security Vienna, Austria
2015ACM SIGPLAN 10th Workshop on Programming Languages and Analysis for Security Prague, Czech Republic
2014 ACM SIGPLAN 9th Workshop on Programming Languages and Analysis for Security Uppsala, Sweden
2013ACM SIGPLAN 8th Workshop on Programming Languages and Analysis for Security Seattle, Washington
2012ACM SIGPLAN 7th Workshop on Programming Languages and Analysis for Security Beijing, China
2011ACM SIGPLAN 6th Workshop on Programming Languages and Analysis for Security San Jose, California
2010ACM SIGPLAN 5th Workshop on Programming Languages and Analysis for Security Toronto, Canada
2009ACM SIGPLAN 4th Workshop on Programming Languages and Analysis for Security Dublin, Ireland
2008ACM SIGPLAN 3rd Workshop on Programming Languages and Analysis for Security Tucson, Arizona
2007ACM SIGPLAN 2nd Workshop on Programming Languages and Analysis for Security San Diego, California
2006ACM SIGPLAN 1th Workshop on Programming Languages and Analysis for Security Ottawa, Canada

Sponsors

Invited Speakers

Important Dates

Paper Submission
July 28, 2017
August 4, 2017 (extended)
Notification
September 04, 2017
Camera Ready due
September 17, 2017
Workshop
October 30, 2017

Submission website


PLAS 2017 hotcrp

Program Committee

Organizers

  • Nataliia Bielova
    INRIA
  • Marco Gaboardi
    University at Buffalo, SUNY