posted by organizer: catalin_hritcu || 455 views || tracked by 2 users: [display]

PriSC 2018 : 2nd Workshop on Principles of Secure Compilation

FacebookTwitterLinkedInGoogle

Link: https://popl18.sigplan.org/track/prisc-2018
 
When Jan 13, 2018 - Jan 13, 2018
Where Los Angeles, USA
Submission Deadline Oct 18, 2017
Notification Due Nov 8, 2017
Categories    security   programming languages   compilers   verification
 

Call For Papers

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

Related Resources

ECML-PKDD 2017   European Conference on Machine Learning and Principles and Practice of Knowledge Discovery
TrustCom 2018   The 17th IEEE International Conference On Trust, Security And Privacy In Computing And Communications
DSN 2018   The 48th IEEE/IFIP International Conference on Dependable Systems and Networks
PACT 2017   International Conference on Parallel Architectures and Compilation Techniques
Future_Internet-SI 2017   Futute Internet - Special Issue on Security and Privacy in Wireless and Mobile Networks
POPL 2017   44th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Smart-City-IoT-Security 2017   Special Issue on Security of IoT-enabled Infrastructures in Smart Cities
KR 2018   16th International Conference on Principles of Knowledge Representation and Reasoning
NATP 2017   3rd International Conference on Natural Language Processing
PODC 2017   ACM Symposium on Principles of Distributed Computing