Dominique Devriese
2017-12-12 14:45:45 UTC
=======================================================================
Call for Short Talks on Secure Compilation (PriSC Workshop @ POPL'18)
=======================================================================
Do not miss the chance to submit short talks on your cutting-edge
secure compilation research. Submission deadline is 14 December 2017.
More information below.
======================================================================
Important Dates
======================================================================
Short talk submission deadline: 14 December 2017, AoE
Short talk notification: 18 December 2017
PriSC Workshop takes place: 13 January 2018
======================================================================
Scope of PriSC Short Talks Session
======================================================================
In the short talks session of PriSC, 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
For questions about the short talks please contact the Program Chair.
======================================================================
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 including the workshop program available at
http://popl18.sigplan.org/track/prisc-2018
======================================================================
Participation and Registration
======================================================================
PriSC will be held at the POPL'18 venue (Omni Hotel LA).
To participate, please register through the POPL registration system:
https://popl18.sigplan.org/attending/Registration
======================================================================
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
Call for Short Talks on Secure Compilation (PriSC Workshop @ POPL'18)
=======================================================================
Do not miss the chance to submit short talks on your cutting-edge
secure compilation research. Submission deadline is 14 December 2017.
More information below.
======================================================================
Important Dates
======================================================================
Short talk submission deadline: 14 December 2017, AoE
Short talk notification: 18 December 2017
PriSC Workshop takes place: 13 January 2018
======================================================================
Scope of PriSC Short Talks Session
======================================================================
In the short talks session of PriSC, 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
For questions about the short talks please contact the Program Chair.
======================================================================
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 including the workshop program available at
http://popl18.sigplan.org/track/prisc-2018
======================================================================
Participation and Registration
======================================================================
PriSC will be held at the POPL'18 venue (Omni Hotel LA).
To participate, please register through the POPL registration system:
https://popl18.sigplan.org/attending/Registration
======================================================================
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