GPCE 2018
Mon 5 - Tue 6 November 2018 Boston, Massachusetts, United States
co-located with SPLASH 2018
Tue 6 Nov 2018 16:30 - 17:00 at Studio 2 - VI Chair(s): Stefan Marr

Real-time systems must meet strict timeliness requirements. These systems also often need to protect their critical program information (CPI) from adversarial interference and intellectual property theft. Trusted execution environments (TEE) execute CPI tasks on a special-purpose processor, thus providing hardware protection. However, adapting a system written to execute in environments without TEE requires partitioning the code into the regular and trusted parts. This process involves complex manual program transformations that are not only laborious and intellectually tiresome, but also hard to validate and verify for the adherence to real-time constraints. To address these problems, this paper presents novel program analyses and transformation techniques, accessible to the developer via a declarative meta-programming model. The developer declaratively specifies the CPI portion of the system. A custom static analysis checks CPI specifications for validity, while probe-based profiling helps identify whether the transformed system would continue to meet the original real-time constraints, with a feedback loop suggesting how to modify the code, so its CPI can be isolated. Finally, an automated refactoring isolates the CPI portion for TEE-based execution, communicated with through generated calls to TEE API. We have evaluated our approach by successfully enabling the trusted execution of the CPI portions of several microbenchmarks and a drone autopilot. Our approach shows the promise of declarative meta-programming in reducing the programmer effort required to adapt systems for trusted execution under real-time constraints.

Tue 6 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

15:30 - 17:00
VIGPCE 2018 at Studio 2
Chair(s): Stefan Marr University of Kent
15:30
30m
Talk
Anomaly Analyses for Feature-Model Evolution
GPCE 2018
Michael Nieke TU Braunschweig, Germany, Jacopo Mauro University of Southern Denmark, Christoph Seidl Technische Universität Braunschweig, Thomas Thüm University of Ulm, Ingrid Chieh Yu University of Oslo, Felix Franzke TU Braunschweig
16:00
30m
Talk
Regenerate: A Language Generator for Extended Regular Expressions
GPCE 2018
Gabriel Radanne University of Freiburg, Peter Thiemann University of Freiburg
DOI Pre-print
16:30
30m
Talk
RT-Trust: Automated Refactoring for Trusted Execution Under Real-Time Constraints
GPCE 2018
Yin Liu Virginia Tech, Kijin An Virginia Tech, Eli Tilevich Virginia Tech