Attestation Protocols (S02)

• Subject Area: Computer Architecture, Embedded and Massively Parallel Systems
• Term: since 2014
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 236615297

The project’s goal is to develop the first attestation scheme for large and complex software systems. In particular, the project builds attestation schemes that efficiently detect control-flow and data-flow oriented attacks as well as micro-architectural attacks. For this, efficient attestation monitoring techniques, novel mechanisms for attestation reporting, and the efficient management of hardware trust will be developed. It will further provide the first verification method of attestation reports based on machine learning.

• DFG Programme: Collaborative Research Centres
• Subproject of: SFB 1119: CROSSING - Cryptography-Based Security Solutions: Enabling Trust in New and Next Generation Computing Environments
• Applicant Institution: Technische Universität Darmstadt
• Project Heads: Professor Dr.-Ing. Lucas Davi, since 12/2017; Professor Dr.-Ing. Ahmad-Reza Sadeghi; Dr. Christian Wachsmann, until 3/2015