|
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) |
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: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.
