POPL 2017
Sun 15 - Sat 21 January 2017

Secure compilation aims to preserve high-level language abstractions in compiled code, even against adversarial low-level contexts.

The Secure Compilation Meeting (SCM) takes a broad and inclusive view of secure compilation and provides a forum for discussion on the topic. The scope of SCM includes, but is not limited to, efficient enforcement mechanisms (based on static analysis, software rewriting, reference monitors, secure hardware, randomization, etc.), formal security properties (which go beyond compiler correctness, e.g., full abstraction, hyper-property or robust safety preservation, etc.) and effective proof techniques (based on logical relations, bisimulation, multi-language semantics, embedded interpreters, etc.)

The goal is to identify interesting research directions and open challenges by bringing together people working on building secure compilers, developing proof techniques and verification tools for security, and designing security-enhanced architectures.

The meeting’s first edition was held at INRIA, Paris in August, 2016 with 15 participants. The meeting was successful with several in-depth talks and long, synergistic discussions. The next edition will be held on January 15, 2017, co-located with POPL 2017. The scope will be expanded significantly. If you are interested in participating, please register for SCM through the POPL registration site.

List of talks

Title
Can relational logic facilitate secure compilation? (Short talk)
SCM
File Attached
Cogent: Where we Stand and What Comes Next (Short talk)
SCM
File Attached
Enforcing Well-Bracketed Control Flow on a Capability Machine using Local Capabilities
SCM
File Attached
Full Abstraction for Language Design (Short talk)
SCM
File Attached
Fully-Abstract Compilation of Parametric Polymorphism into Dynamic Sealing
SCM
File Attached
Linking Types: Secure compilation of multi-language programs
SCM
File Attached
Security preserving compilation of low-level programs embedded in F*
SCM
File Attached
Software Fault Isolation avec CompCert
SCM
File Attached
What is Secure Compilation? Part I
SCM
Link to publication
What is Secure Compilation? Part II (Short talk)
SCM
Link to publication

Call for Participation

SCM will be held on January 15, 2017. To participate, please register through the POPL registration system.

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sun 15 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change