The workshop explores the interplay between formal methods and trusted hardware, e.g., Trusted Execution Environments (TEEs) and Trusted Platform Module (TPMs).

Important dates:
- Paper submission: 28 July (extended)
- Notification: 11 August

Submission: https://easychair.org/conferences/?conf=pavetrust2024