Blogs (9) >>
SPLASH 2016
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands
Thu 3 Nov 2016 10:30 - 10:55 at Matterhorn 2 - Language Design and Programming Models II Chair(s): Olivier Tardieu

Hardware-based enclave protection mechanisms, such as Intel’s
SGX, ARM’s TrustZone, and Apple’s Secure Enclave,
can protect code and data from powerful low-level attackers.
In this work, we use enclaves to enforce strong application-specific
information security policies.

We present $IMP_E$, a novel calculus that captures the
essence of SGX-like enclave mechanisms, and show that a
security-type system for $IMP_E$ can enforce expressive confidentiality
policies (including erasure policies and delimited
release policies) against powerful low-level attackers,
including attackers that can arbitrarily corrupt non-enclave
code, and, under some circumstances, corrupt enclave code.
We present a translation from an expressive security-typed
calculus (that is not aware of enclaves) to $IMP_E$. The
translation automatically places code and data into enclaves
to enforce the security policies of the source program.

Thu 3 Nov

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:10
Language Design and Programming Models IIOOPSLA at Matterhorn 2
Chair(s): Olivier Tardieu IBM Research
10:30
25m
Talk
Automatic Enforcement of Expressive Security Policies using Enclaves
OOPSLA
Anitha Gollamudi , Stephen Chong Harvard University
DOI
10:55
25m
Talk
Chain: Tasks and Channels for Reliable Intermittent Programs
OOPSLA
Alexei Colin Carnegie Mellon University, Brandon Lucia Carnegie Mellon University
DOI Pre-print
11:20
25m
Talk
GEMs: Shared-Memory Parallel Programming for Node.js
OOPSLA
Daniele Bonetta Oracle Labs, Luca Salucci Università della Svizzera italiana (USI), Stefan Marr Johannes Kepler University Linz, Walter Binder University of Lugano
DOI
11:45
25m
Talk
OrcO: A Concurrency-First Approach to Objects
OOPSLA
Arthur Michener Peters The University of Texas at Austin, Texas, USA, David Kitchin Google, Inc., John A. Thywissen The University of Texas at Austin, William Cook UT Austin
DOI Pre-print