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: 5 July
- Notification: 26 July

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

Organisers

Program Committee

PC chair: Bill Roscoe (University of Oxford and TBTL Oxford, UK)

  • Ante Derek (University of Zagreb, Croatia)
  • Guido Salvaneschi (University of St.Gallen, Switzerland)
  • Han Liu (TBTL Oxford, UK)
  • Huafeng Zhang (TBTL Oxford, UK)
  • Ian Oliver (University of Jyväskylä, Finland)
  • Jo Van Bulck (KU Leuven, Belgium)
  • Lilia Georgieva (Microsoft/Heriot-Watt University, UK)
  • Marcus Völp (University of Luxembourg, Luxembourg)
  • Muhammad Usama Sardar (TU Dresden, Germany)
  • Pedro Antonino (TBTL Oxford, UK)
  • Peter Ryan (University of Luxembourg, Luxembourg)
  • Shweta Shinde (ETH Zurich, Switzerland)
  • Srdjan Capkun (ETH Zurich, Switzerland)
  • Vincent Cheval (Oxford University, UK)
  • Zahra Tarkhani (Microsoft, UK)
  • … TBD

If you are interested in joining the PC, please contact the organizers.