2st Workshop on System Software for Trusted Execution (SysTEX 2017)

Colocated with ACM SOSP 2017
Shanghai, China, 29th-31st October 2017

IMPORTANT DATES (GMT/UTC-12)

August 31, 2017 - Paper submission
September 20, 2017 - Notification of acceptance

With the rise of new hardware extensions that permit fine-grained and flexible trusted execution, we need appropriate systems support that makes trusted execution environments (TEEs) such as Intel's Software Guard Extensions (SGX) or ARM's TrustZone conveniently usable by application developers. The 2nd Workshop on System Software for Trusted Execution (SysTEX) will focus on systems research challenges related to TEEs, and explore new ideas and strategies for the implementation of trustworthy systems with TEEs.

Topics of interest include but are not limited to:

- Architecture, applications and implementation technologies for trusted platforms and trustworthy infrastructures
- Middleware for distributed trusted execution
- OS support for trusted execution
- Trustworthy infrastructures and services for cloud computing (including resilience)
- Attestation and integrity verification
- Cryptographic aspects of trusted and trustworthy computing
- Intrusion resilience in trusted computing
- Virtualization for trusted platforms
- Security policy and management of trusted computing
- Privacy aspects of trusted computing
- Verification of trusted computing architectures
- Usability and end-user interactions with trusted platforms
- Limitations of trusted computing
- Usability and user perceptions of trustworthy systems and risks
- Use case studies of trusted execution
- Validation and performance evaluation of trusted hardware

The goal of the workshop is to foster collaboration and discussion among researchers and practitioners in this field. The workshop will be one full day. The program should primarily include presentations by authors of accepted papers (the workshop will have proceedings in the ACM digital library). The other elements will be 1-3 invited presentations and a panel ending the day with an open discussion with the workshop audience.

WORKSHOP CO-CHAIRS

Pascal Felber (University of Neuchâtel, Switzerland)
Christof Fetzer (TU Dresden, Germany)
Ruediger Kapitza (TU Braunschweig, Germany)
Peter Pietzuch (Imperial College, United Kingdom)

Contact: rrkapitz@ibr.cs.tu-bs.de

PROGRAM COMMITTEE

Rick Boivie, IBM, USA
Manuel Costa, MSR, United Kingdom
Han Dongsu, KAIST, Korea
Taesoo Kim, Georgia Tech, USA
Anil Kurmus, IBM, Switzerland
Zhiqiang Lin, UT Dallas, USA
Andrew Paverd, Alto Universitiy, Finland
Tilo Mueller, FAU, German
Matthias Schunter, Intel, Germany
Raoul Strackx, KU Leuven, Belgium
Mark Silberstein, Technion, Israel
Gael Thomas,Telecom SudParis, Franc


SUBMISSION AND PUBLICATION

SysTEX welcomes submissions in two formats:

- Regular research papers of at most 6 pages including references. Research papers should be work that is not previously published or concurrently submitted elsewhere and will be published in the proceedings.

- Short research statements of at most 1-2 pages. Research statements aim at fostering discussion and collaboration. Research statements may summarize research published elsewhere or outline new emerging ideas. Authors can *choose* if accepted research statements should be published in the proceedings.

All submissions should be in PDF and must follow the ACM format, Option 2 (http://www.acm.org/publications/proceedings-template). Users of Latex can use this style file and this sample document.

Reviewing is single-blind. This means that the names and affiliations of the authors must appear in the submitted papers. Each paper will receive at least three reviews from members of the program committee. Submissions that do not respect the formatting requirement may be rejected without review.

Submissions site: https://hotcrp.doc.ic.ac.uk/systex17/