Paper assignment and dates
| Papers | Assigned Student | Date of Presentation |
|
Flicker:An Execution Infrastructure for TCB Minimization |
Kolja Grassman | 26/04/2018 |
|
Unified Security Analysis of Two-phase Key Exchange Protocols in TPM 2.0 |
Yannik Schwindt | 03/05/18 |
|
fTPM: A Software-only Implementation of a TPM Chip |
Bakhtiar Ali Shah | 17/05/2018 |
|
|
||
|
SeCReT: Secure Channel between Rich Execution Environment and Trusted Execution Environment |
Atta ur Rahman Shah | 14/06/2018 |
|
Beyond Kernel-level Integrity Measurement:Enabling Remote Attestation for the Android Platform |
Ran Li | 21/06/2018 |
|
BOOMERANG: Exploiting the Semantic Gap in Trusted Execution Environments |
Pascal Dupree | 28/06/2018 |
|
|
||
|
Controlled-Channel Attacks: Deterministic Side Channels for Untrusted Operating Systems |
Christian Thiel | 12/07/18 |