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

4th Program Analysis and Verification on Trusted Platforms (PAVeTrust) Workshop

The workshop provides a venue where academics and practitioners promote: (A) the application of formal methods, and more specifically of program analysis and verification, to the specification and/or analysis of the trusted stack executing these TEE-hardened applications - this stack might include CPU microcode, firmware code, Operating System (OS) code, protocols for provisioning and attestation, and the application itself - and (B) innovative applications of TEEs to execute formal methods technologies (such as program analysers/verifiers).

The workshop will be held at FM 2024 this year.
Registration: PAVeTrust offers hybrid attendance.
In-person: Choose one-day pass and mention PAVeTrust as the workshop to attend.
Virtual: In case you cannot attend PAVeTrust in person, we have negotiated a registration fee of only 50 Euros for virtual attendance of PAVeTrust. To get the discount code, please contact the FM co-chairs Matteo G. Rossi and Matteo Pradella and register here using that code.