[TYPES/announce] PriSC 2019 Workshop @ POPL: Call for Participation and Short Talks

[Dominique DEVRIESE]

TL;DR:

- PriSC Workshop (Principles of Secure Compilation) takes place on Sunday,
  January 13th, before POPL!

- Accepted talks for the PriSC 2019 workshop are available:
    https://popl19.sigplan.org/track/prisc-2019#event-overview

- Invited talk:
  * Benjamin Grégoire (INRIA Sophia-Antipolis)
  * "Jasmin: A Compiler and Framework for High-Assurance and
High-Speed Cryptography"

- If you want to give a 5min short talk at PriSC 2019, submit it (by
11 December 2018, AoE), here:
    https://prisc2019short.hotcrp.com/
  Details are available here:
    https://popl19.sigplan.org/track/prisc-2019#Call-for-Short-Talks

- POPL/PriSC registration is open; early rate ends on 10 December 2018.


=======================================================================
Call for Participation for Secure Compilation Workshop (PriSC @ POPL'19)
=======================================================================

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. For unsafe source languages like C, secure compilation requires
careful handling of undefined source-language behavior (like buffer overflows
and double frees). 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. A
complementary goal is to keep the compiled code efficient, often leveraging new
hardware security features and advances in compiler design. 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. Research in the
field thus puts together advances in compiler design, programming languages,
systems security, verification, and computer architecture.


======================================================================
3rd Workshop on Principles of Secure Compilation (PriSC 2019)
======================================================================

The Workshop on Principles of Secure Compilation (PriSC) is a relatively new,
informal 1-day workshop without any proceedings. The goal is to bring together
researchers interested in secure compilation and to identify interesting
research directions and open challenges.

The 3rd edition of PriSC will be held in Lisbon, together with the ACM
SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), on
January 13th, 2019.

More information at https://popl19.sigplan.org/track/prisc-2019

======================================================================
Important Dates
======================================================================

  POPL early registration deadline:  10 December 2018
  Short talk submission deadline:    11 December 2018, AoE
  Short talk notification:           14 December 2018
  PriSC Workshop takes place:        13 January 2019

Do not miss the chance to submit short talks on your cutting-edge
research. More information below.


======================================================================
Invited Talk
======================================================================

"Jasmin: A Compiler and Framework for High-Assurance and High-Speed
Cryptography"
  Benjamin Grégoire (INRIA Sophia-Antipolis)

======================================================================
Accepted Presentations
======================================================================

(Un)Encrypted Computing and Indistinguishability Obfuscation
  Peter Breuer, Jonathan Bowen

A Data Layout Description Language for Cogent
  Zilin Chen, Matthew Di Meglio, Liam O'Connor, Partha Susarla,
Christine Rizkallah, Gabriele Keller

Confidentiality-Preserving Refinement
  Roberto Guanciale, Christoph Baumann, Mads Dam, Hamed Nemati

Modular Security Guarantees for Low-Level Languages with Stack Traversal
  Mathias Vorreiter Pedersen, Aslan Askarov

Protecting C++ applications using CHERI
  Khilan Gudka, Alexander Richardson, Robert N.M. Watson

Secure Linking in the CheriBSD Operating System
  Alexander Richardson, Robert N.M. Watson

Security Witnesses for Compiler Transformations
  Kedar Namjoshi, Lucas M. Tabajara

Towards Secure Compilation of Power Side-Channel Countermeasures
  Marc Gourjon

Translation Validation for Security Properties
  Matteo Busi, Pierpaolo Degano, Letterio Galletta

Trestle: Bridging the Performance and Safety Divide in WebAssembly
  Craig Disselkoen, Tal Garfinkel, Deian Stefan, Conrad Watt

======================================================================
Participation and Registration
======================================================================

PriSC will be held on Saturday, 13 Jan 2018 at the POPL'19 venue (Hotel Cascais
Miragem, Lisbon). To participate, please register through the POPL registration
system: https://popl18.sigplan.org/attending/Registration

POPL early registration rate ends on 10 December 2018.

======================================================================
Call for Short Talks
======================================================================

We also have a short talks session, where participants get 5 minutes
to present intriguing ideas, advertise ongoing work, etc.  Anyone
interested in giving a short 5-minute talk should submit an
abstract. Any topic that could be of interest to the emerging secure
compilation community is in scope. Presentations 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 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.

- secure interaction between different programming languages: foreign function
  interfaces, gradual types, securely combining different memory management
  strategies.

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

- experimental evaluation and applications of secure compilers.

- proof methods relevant to compilation: (bi)simulation, logical relations, game
  semantics, trace semantics, multi-language semantics, embedded interpreters.

- formal verification of secure compilation chains (protection mechanisms,
  compilers, linkers, loaders), machine-checked proofs, translation validation,
  property-based testing.

======================================================================
Guidelines for Submitting Short Talk Abstracts
======================================================================

Abstracts should be submitted in text format and are not anonymous.
Giving a talk at the workshop does not preclude publication elsewhere.

Please submit your abstracts at https://prisc2019short.hotcrp.com

======================================================================
Contact and More Information
=====================================================================

More information about PriSC 2019 can be found on the website:
http://popl19.sigplan.org/track/prisc-2019

For questions please contact the workshop chairs, Dominique Devriese
(dominique.devriese at cs.kuleuven.be) and Deepak Garg (dg at mpi-sws.org).
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