FutureTPM

Part of EU Open Research Repository
Published April 27, 2021 | Version v1
Dataset Open

Design and Security of the QR TPM (Dataset)

Authors/Creators

  • 1. University of Luxembourg
  • 2. University of Birmingham
  • 3. University of Surrey
  • 4. Huawei Technologies Deutschland GmbH
  • 5. Technical University of Denmark

Description

The datasets are SAPIC models and the output of the SAPIC-Tamarin toolchain used to create the final models towards verifying the security properties of the remote attestation service, as leveraged in the context of one of the envisioned FutureTPM use cases; namely, the Device Management where the focus is on the secure identification and management of network devices. The produced models are based on the ideal functionalities of TPM commands that have been defined through appropriate abstractions towards formally verifying the security properties of the executed protocols.

Files

WP3.zip

Files (5.3 MB)

Name Size Download all
md5:b56c5264b9505320a72c992f1323caec
5.3 MB Preview Download

Additional details

Funding

European Commission
FutureTPM - Future Proofing the Connected World: A Quantum-Resistant Trusted Platform Module 779391