<div dir="ltr"><div>(apologies if you receive multiple copies of this announcement)</div><div><br></div><div>=======================================================================</div>
Call for Presentations on Secure Compilation (PriSC Workshop @ POPL'19)<br>
=======================================================================<br>
<br>
The emerging field of secure compilation aims to preserve security 
properties of programs when they have been compiled to low-level 
languages such as assembly, where high-level abstractions don’t exist, 
and unsafe, unexpected interactions with libraries, other programs, the 
operating system and even the hardware are possible.<br>
For unsafe source languages like C, secure compilation requires careful 
handling of undefined source-language behavior (like buffer overflows 
and double frees).<br>
Formally, secure compilation aims to protect high-level language 
abstractions in compiled code, even against adversarial low-level 
contexts, thus enabling sound reasoning about security in the source 
language.<br>
A complementary goal is to keep the compiled code efficient, often 
leveraging new hardware security features and advances in compiler 
design.<br>
Other necessary components are identifying and formalizing properties 
that secure compilers must possess, devising efficient security 
mechanisms (both software and hardware), and developing effective 
verification and proof techniques.<br>
Research in the field thus puts together advances in compiler design, 
programming languages, systems security, verification, and computer 
architecture.<br>
<br>
=============================================================<br>
3rd Workshop on Principles of Secure Compilation (PriSC 2019)<br>
=============================================================<br>
<br>
The Workshop on Principles of Secure Compilation (PriSC) is a relatively new, informal 1-day workshop without any proceedings.<br>
The goal is to bring together researchers interested in secure 
compilation and to identify interesting research directions and open 
challenges.<br>
<br>
The 3rd edition of PriSC will be held in Lisbon, together with the ACM 
SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), 
2019.<br>
The exact date will be either January 13 or January 19 (to be decided by the POPL organizers).<br>
<br>
More information is available at <a href="http://popl19.sigplan.org/track/prisc-2019" rel="noreferrer" target="_blank">http://popl19.sigplan.org/track/prisc-2019</a><br>
Important Dates<br>
* Presentation proposal submission deadline: 17 October 2018, AoE<br>
* Presentation proposal notification: 10 November 2018<br>
* PriSC Workshop takes place: either Sunday, 13 January 2019 or Saturday 19 January 2019 (to be decided by the POPL organizers)<br>
<br>
=================================================<br>
Presentation Proposals and Attending the Workshop<br>
=================================================<br>
<br>
Anyone interested in presenting at the workshop should submit an 
extended abstract (up to 2 pages, details below) covering past, ongoing,
 or future work.<br>
Any topic that could be of interest to secure compilation is in scope.<br>
Secure compilation should be interpreted very broadly to include any 
work in security, programming languages, architecture, systems or their 
combination that can be leveraged to preserve security properties of 
programs when they are compiled or to eliminate low-level 
vulnerabilities.<br>
Presentations that provide a useful outside view or challenge the community are also welcome.<br>
This includes presentations on new attack vectors such as 
microarchitectural side-channels, whose defenses could benefit from 
compiler techniques.<br>
<br>
Specific topics of interest include but are not limited to:<br>
* attacker models for secure compiler chains.<br>
* secure compiler properties: fully abstract compilation and similar 
properties, memory safety, control-flow integrity, preservation of 
safety, information flow and other (hyper-)properties against 
adversarial contexts, secure multi-language interoperability.<br>
* secure interaction between different programming languages: foreign 
function interfaces, gradual types, securely combining different memory 
management strategies.<br>
* enforcement mechanisms and low-level security primitives: static 
checking, program verification, typed assembly languages, reference 
monitoring, program rewriting, software-based isolation/hiding 
techniques (SFI, crypto-based, randomization-based, 
OS/hypervisor-based), security-oriented architectural features such as 
Intel’s SGX, MPX and MPK, capability machines, side-channel defenses, 
object capabilities.<br>
* experimental evaluation and applications of secure compilers.<br>
* proof methods relevant to compilation: (bi)simulation, logical 
relations, game semantics, trace semantics, multi-language semantics, 
embedded interpreters.<br>
* formal verification of secure compilation chains (protection 
mechanisms, compilers, linkers, loaders), machine-checked proofs, 
translation validation, property-based testing.<br>
<br>
============================================<br>
Guidelines for Submitting Extended Abstracts<br>
============================================<br>
<br>
Extended abstracts should be submitted in PDF format and not exceed 2 pages.<br>
They should be formatted in two-column layout, 10pt font, and be printable on A4 and US Letter sized paper.<br>
We recommend using the new acmart LaTeX style in sigplan mode: <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 be assessed by the program committee.<br>
Presentation at the workshop does not preclude publication elsewhere.<br>
<br>
Please submit your extended abstracts at <a href="https://prisc19.hotcrp.com/" rel="noreferrer" target="_blank">https://prisc19.hotcrp.com/</a>.<br>
<br>
============================<br>
Contact and More Information<br>
============================<br>
<br>
For questions please contact the workshop chairs, Dominique Devriese (<a href="mailto:dominique.devriese@cs.kuleuven.be" target="_blank">dominique.devriese@cs.kuleuven.be</a>) and Deepak Garg (<a href="mailto:dg@mpi-sws.org" target="_blank">dg@mpi-sws.org</a>).<br>
To make sure you receive such announcements in the future please subscribe to the following low-traffic mailing list: <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>