<div dir="ltr">=======================================================================<br>
Call for Presentations on Secure Compilation (PriSC Workshop @ POPL'18)<br>
=======================================================================<br>
<br>
Secure compilation is an emerging field that puts together advances in<br>
programming languages, security, verification, systems, compilers, and<br>
hardware architectures in order to devise secure compiler chains that<br>
eliminate many of today's low-level vulnerabilities. Secure<br>
compilation aims to protect high-level language abstractions in<br>
compiled code, even against adversarial low-level contexts, and to<br>
allow sound reasoning about security in the source language. The<br>
emerging secure compilation community aims to achieve this by:<br>
identifying and formalizing properties that secure compilers must<br>
possess; devising efficient enforcement mechanisms; and developing<br>
effective verification and proof techniques.<br>
<br>
<br>
======================================================================<br>
2nd Workshop on Principles of Secure Compilation (PriSC 2018)<br>
======================================================================<br>
<br>
The Workshop on Principles of Secure Compilation (PriSC) is a new<br>
informal 1-day workshop without any proceedings. The goal is to<br>
identify interesting research directions and open challenges and to<br>
bring together researchers interested in secure compilation.<br>
<br>
The 2nd PriSC edition will be held on Saturday, 13 January 2018, in<br>
Los Angeles, together with the ACM SIGPLAN-SIGACT Symposium on<br>
Principles of Programming Languages (POPL).<br>
<br>
More information at <a href="http://popl18.sigplan.org/track/prisc-2018" rel="noreferrer" target="_blank">http://popl18.sigplan.org/track/prisc-2018</a><br>
<br>
<br>
======================================================================<br>
Important Dates<br>
======================================================================<br>
<br>
Presentation proposal submission deadline: 25 October 2017, AoE<br>
Presentation proposal notification: 15 November 2017<br>
PriSC Workshop takes place: 13 January 2018<br>
<br>
<br>
======================================================================<br>
Scope of the Workshop<br>
======================================================================<br>
<br>
Anyone interested in presenting at the workshop should submit an<br>
extended abstract (up to 2 pages, details below). This can cover past,<br>
ongoing, or future work. Any topic that could be of interest to the<br>
emerging secure compilation community is in scope. Talks that provide<br>
a useful outside view or challenge the community are also welcome.<br>
<br>
Topics of interest include but are **not** limited to:<br>
<br>
- attacker models for secure compiler chains<br>
<br>
- secure compilation properties: full abstraction, memory safety,<br>
control-flow integrity, preserving non-interference or<br>
(hyper-)properties against adversarial contexts,<br>
secure multi-language interoperability<br>
<br>
- enforcement mechanisms: static checking, program verification,<br>
reference monitoring, program rewriting, software fault isolation,<br>
system-level protection, secure hardware, crypto, randomization<br>
<br>
- experimental evaluation and applications of secure compilation<br>
<br>
- proof methods: (bi)simulation, logical relations, game semantics,<br>
multi-language semantics, embedded interpreters<br>
<br>
- formal verification of secure compilation chain (protection<br>
mechanisms, compilers, linkers, loaders), machine-checked proofs,<br>
translation validation, property-based testing<br>
<br>
<br>
======================================================================<br>
Guidelines for Submitting Extended Abstracts<br>
======================================================================<br>
<br>
Extended abstracts should be submitted in PDF format and not exceed 2<br>
pages. They should be formatted in two-column layout, 10pt font, and<br>
be printable on A4 and US Letter sized paper. We recommend using the<br>
new `acmart` LaTeX style in `sigplan` mode:<br>
<a href="http://www.sigplan.org/sites/default/files/acmart/current/acmart-sigplanproc.zip" rel="noreferrer" target="_blank">http://www.sigplan.org/sites/default/files/acmart/current/acmart-sigplanproc.zip</a><br>
<br>
Submissions are not anonymous and should provide sufficient detail to<br>
be assessed by the program committee. Presentation at the workshop<br>
does not preclude publication elsewhere.<br>
<br>
Please submit your extended abstracts at <a href="https://prisc18.hotcrp.com/" rel="noreferrer" target="_blank">https://prisc18.hotcrp.com/</a><br>
<br>
<br>
======================================================================<br>
Short Talks Session<br>
======================================================================<br>
<br>
We will also run a short talks session, where participants get five<br>
minutes to present intriguing ideas, advertise ongoing work, etc. You<br>
can expect a call for short talks closer to the event.<br>
<br>
<br>
======================================================================<br>
Program Committee<br>
======================================================================<br>
<br>
Program Chair<br>
Catalin Hritcu Inria Paris<br>
<br>
Members<br>
Amal Ahmed Inria Paris and Northeastern University<br>
Lars Birkedal Aarhus University<br>
Dominique Devriese KU Leuven<br>
Cédric Fournet Microsoft Research<br>
Deepak Garg MPI-SWS<br>
Xavier Leroy Inria Paris<br>
David Naumann Stevens Institute of Technology<br>
Marco Patrignani MPI-SWS<br>
Frank Piessens KU Leuven<br>
Tamara Rezk Inria Sophia Antipolis<br>
Nikhil Swamy Microsoft Research<br>
<br>
<br>
======================================================================<br>
Organizing Committee<br>
======================================================================<br>
<br>
Amal Ahmed Inria Paris and Northeastern University<br>
Dominique Devriese KU Leuven<br>
Deepak Garg MPI-SWS<br>
Catalin Hritcu Inria Paris<br>
Marco Patrignani MPI-SWS<br>
Tamara Rezk Inria Sophia Antipolis<br>
<br>
<br>
======================================================================<br>
Contact and More Information<br>
=====================================================================<br>
<br>
More information about PriSC 2018 can be found on the website:<br>
<a href="http://popl18.sigplan.org/track/prisc-2018" rel="noreferrer" target="_blank">http://popl18.sigplan.org/track/prisc-2018</a><br>
<br>
For questions please contact Catalin Hritcu (Program Chair).<br>
<br>
To make sure you receive such announcements in the future please<br>
subscribe to the following low-traffic mailing list:<br>
<a href="https://lists.gforge.inria.fr/mailman/listinfo/prisc-announce" rel="noreferrer" target="_blank">https://lists.gforge.inria.fr/mailman/listinfo/prisc-announce</a></div>