Dear all,
I thought PAVeTrust [1], co-located with FM24 [2], might be of interest
to some of you to see how formal methods are shaping some of the
standardization efforts in RATS, TLS and OAuth WGs.
Invited talks are:
* Secure Authentication in the Era of Confidential Computing: Insights
from the Formal Analysis of OAuth by *Hannes Tschofenig* (University
of Applied Sciences Bonn-Rhein-Sieg/Siemens, Germany)
* Remote Attestation and Formal Methods - the bigger picture by *Ian
Oliver* (University of Oulu, Finland)
* Formal Verification of the Realm Management Monitor (RMM) by *Eleni
Vafeiadi Bila* (Arm)
* Beyond the Surface: Validation Challenges and Opportunities for
Confidential Computing by *Jo Van Bulck* (KU Leuven, Belgium)
Additionally, I will present ongoing formalization of attested TLS. See
the complete program and abstracts of talks at [3].
In case you cannot attend PAVeTrust in person, we have negotiated a
registration fees of only 50 Euros for virtual attendance. To get the
discount code, please contact the FM co-chairs Matteo G. Rossi
<matteo.ro...@polimi.it> and Matteo Pradella <matteo.prade...@polimi.it>
and register [4] using that code.
The workshop has no formal proceedings. It aims to initiate the
much-needed discussions between the different communities. We have,
therefore, requested the invited speakers to leave 15 minutes for Q&A
and discussion.
Workshop material (slides and papers) will only be available to
registered attendees.
If you have questions, please do not hesitate to contact us.
Best Regards,
Usama and Pedro
Organizers PAVeTrust'24
[1] https://pavetrust.github.io/
[2] https://www.fm24.polimi.it/
[3] https://pavetrust.github.io/program/
[4] https://www.fm24.polimi.it/?page_id=559
_______________________________________________
OAuth mailing list -- oauth@ietf.org
To unsubscribe send an email to oauth-le...@ietf.org
