<div dir="ltr">=======================================================================<br>
Call for Short Talks on Secure Compilation (PriSC Workshop @ POPL'18)<br>
=======================================================================<br>
<br>
Do not miss the chance to submit short talks on your cutting-edge<br>
secure compilation research. Submission deadline is 14 December 2017.<br>
More information below.<br>
<br>
<br>
======================================================================<br>
Important Dates<br>
======================================================================<br>
<br>
Short talk submission deadline: 14 December 2017, AoE<br>
Short talk notification: 18 December 2017<br>
PriSC Workshop takes place: 13 January 2018<br>
<br>
<br>
======================================================================<br>
Scope of PriSC Short Talks Session<br>
======================================================================<br>
<br>
In the short talks session of PriSC, participants get 5 minutes to<br>
present intriguing ideas, advertise ongoing work, etc. Anyone<br>
interested in giving a short 5-minute talk should submit an<br>
abstract. Any topic that could be of interest to the emerging secure<br>
compilation community is in scope. Presentations that provide a useful<br>
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 Short Talk Abstracts<br>
======================================================================<br>
<br>
Abstracts should be submitted in text format and are not anonymous<br>
<br>
Giving a talk at the workshop does not preclude publication elsewhere.<br>
<br>
Please submit your abstracts at <a href="https://prisc18short.hotcrp.com" rel="noreferrer" target="_blank">https://prisc18short.hotcrp.com</a><br>
<br>
For questions about the short talks please contact the Program Chair.<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 including the workshop program available at<br>
<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>
Participation and Registration<br>
======================================================================<br>
<br>
PriSC will be held at the POPL'18 venue (Omni Hotel LA).<br>
To participate, please register through the POPL registration system:<br>
<a href="https://popl18.sigplan.org/attending/Registration" rel="noreferrer" target="_blank">https://popl18.sigplan.org/attending/Registration</a><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 the 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>