Quick updates (more details in the Call for Participation below): - Do not miss the chance to submit short talks on your cutting-edge research until 14 December 2017, AoE https://popl18.sigplan.org/track/prisc-2018#Call-for-Short-Talks - POPL/PriSC registration is open; early rate ends on 10 December 2017 - List of accepted PriSC presentations: https://popl18.sigplan.org/track/prisc-2018#event-overview - The PriSC invited talk will be given by Mathias Payer (Purdue University) on Challenges For Compiler-backed Security: From Sanitizer to Mitigation ============================================= Call for Participation for Secure Compilation Workshop (PriSC @ 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 ========== POPL early registration deadline: 10 December 2017 Short talk submission deadline: 14 December 2017, AoE Short talk notification: 18 December 2017 PriSC Workshop takes place: 13 January 2018 Do not miss the chance to submit short talks on your cutting-edge research. More information below. ======== Invited Talk ======== Challenges For Compiler-backed Security: From Sanitizer to Mitigation. Mathias Payer (Purdue University, https://nebelwelt.net/) =============== Accepted Presentations =============== Building Secure SGX Enclaves using F*, C/C++ and X64. Anitha Gollamudi, Cédric Fournet. Constant-time WebAssembly. John Renner, Sunjay Cauligi, Deian Stefan. Enforcing Well-bracketed Control Flow and Stack Encapsulation using Linear Capabilities. Lau Skorstengaard, Dominique Devriese, Lars Birkedal Formally Secure Compilation of Unsafe Low-Level Components. Guglielmo Fachini, Catalin Hritcu, Marco Stronati, Ana Nora Evans, Théo Laurent, Arthur Azevedo de Amorim, Benjamin C. Pierce, Andrew Tolmach Linear capabilities for modular fully-abstract compilation of verified code. Thomas Van Strydonck, Dominique Devriese, Frank Piessens. On Compositional Compiler Correctness and Fully Abstract Compilation. Daniel Patterson, Amal Ahmed. Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs. Robert Sison. Robust Hyperproperty Preservation for Secure Compilation. Deepak Garg, Catalin Hritcu, Marco Patrignani, Marco Stronati, David Swasey. Secure Compilation in a Production Environment. Vijay D'Silva. Type-Theoretic Galois Connections. Pierre-Evariste Dagand, Nicolas Tabareau, Éric Tanter =================== Participation and Registration =================== PriSC will be held on Saturday, 13 Jan 2018 at the POPL'18 venue (Omni Hotel LA). To participate, please register through the POPL registration system: https://popl18.sigplan.org/attending/Registration POPL early registration rate ends on 10 December 2017. ============ 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 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 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://prisc18short.hotcrp.com ============= 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 the 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