Deadline extended for Secure Compilation workshop (PriSC @ POPL'18)

by Catalin Hritcu, Oct. 14, 2017

The PriSC'18 deadline has been extended by 1 week to the end of
Wednesday, 25 October 2017, AoE.

=======================================================================

Call for Presentations on Secure Compilation (PriSC Workshop @ POPL'18)

=======================================================================

Secure compilation is an emerging field that puts together advances in

programming languages, security, verification, systems, compilers, and

hardware architectures in order to devise secure compiler chains that

eliminate many of today's low-level vulnerabilities. Secure

compilation aims to protect high-level language abstractions in

compiled code, even against adversarial low-level contexts, and to

allow sound reasoning about security in the source language. The

emerging secure compilation community aims to achieve this by:

identifying and formalizing properties that secure compilers must

possess; devising efficient enforcement mechanisms; and developing

effective verification and proof techniques.

======================================================================

2nd Workshop on Principles of Secure Compilation (PriSC 2018)

======================================================================

The Workshop on Principles of Secure Compilation (PriSC) is a new

informal 1-day workshop without any proceedings. The goal is to

identify interesting research directions and open challenges and to

bring together researchers interested in secure compilation.

The 2nd PriSC edition will be held on Saturday, 13 January 2018, in

Los Angeles, together with the ACM SIGPLAN-SIGACT Symposium on

Principles of Programming Languages (POPL).

More information at http://popl18.sigplan.org/track/prisc-2018

======================================================================

Important Dates

======================================================================

  Presentation proposal submission deadline:  25 October 2017, AoE

  Presentation proposal notification:         15 November 2017

  PriSC Workshop takes place:                 13 January 2018

======================================================================

Scope of the Workshop

======================================================================

Anyone interested in presenting at the workshop should submit an

extended abstract (up to 2 pages, details below). This can cover past,

ongoing, or future work. Any topic that could be of interest to the

emerging secure compilation community is in scope. Talks that provide

a useful outside view or challenge the community are also welcome.

Topics of interest include but are **not** limited to:

- attacker models for secure compiler chains

- secure compilation properties: full abstraction, memory safety,

    control-flow integrity, preserving non-interference or

    (hyper-)properties against adversarial contexts,

    secure multi-language interoperability

- enforcement mechanisms: static checking, program verification,

    reference monitoring, program rewriting, software fault isolation,

    system-level protection, secure hardware, crypto, randomization

- experimental evaluation and applications of secure compilation

- proof methods: (bi)simulation, logical relations, game semantics,

    multi-language semantics, embedded interpreters

- formal verification of secure compilation chain (protection

    mechanisms, compilers, linkers, loaders), machine-checked proofs,

    translation validation, property-based testing

======================================================================

Guidelines for Submitting Extended Abstracts

======================================================================

Extended abstracts should be submitted in PDF format and not exceed 2

pages. They should be formatted in two-column layout, 10pt font, and

be printable on A4 and US Letter sized paper. We recommend using the

new `acmart` LaTeX style in `sigplan` mode:

http://www.sigplan.org/sites/default/files/acmart/current/acmart-sigplanproc.zip

Submissions are not anonymous and should provide sufficient detail to

be assessed by the program committee. Presentation at the workshop

does not preclude publication elsewhere.

Please submit your extended abstracts at https://prisc18.hotcrp.com/

======================================================================

Short Talks Session

======================================================================

We will also run a short talks session, where participants get five

minutes to present intriguing ideas, advertise ongoing work, etc. You

can expect a call for short talks closer to the event.

======================================================================

Program Committee

======================================================================

Program Chair

  Catalin Hritcu       Inria Paris

Members

  Amal Ahmed           Inria Paris and Northeastern University

  Lars Birkedal        Aarhus University

  Dominique Devriese   KU Leuven

  C├ędric Fournet       Microsoft Research

  Deepak Garg          MPI-SWS

  Xavier Leroy         Inria Paris

  David Naumann        Stevens Institute of Technology

  Marco Patrignani     MPI-SWS

  Frank Piessens       KU Leuven

  Tamara Rezk          Inria Sophia Antipolis

  Nikhil Swamy         Microsoft Research

======================================================================

Organizing Committee

======================================================================

  Amal Ahmed           Inria Paris and Northeastern University

  Dominique Devriese   KU Leuven

  Deepak Garg          MPI-SWS

  Catalin Hritcu       Inria Paris

  Marco Patrignani     MPI-SWS

  Tamara Rezk          Inria Sophia Antipolis

======================================================================

Contact and More Information

=====================================================================

More information about PriSC 2018 can be found on the website:

http://popl18.sigplan.org/track/prisc-2018

For questions please contact Catalin Hritcu (Program Chair).

To make sure you receive such announcements in the future please

subscribe to the following low-traffic mailing list:

https://lists.gforge.inria.fr/mailman/listinfo/prisc-announce