<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>