USENIX Security ’23 – Formal Analysis of SPDM: Security Protocol and Data Model Version 1.2

Authors/Presenters:Cas Cremers, Alexander Dax, Aurora Naska

Many thanks to USENIX for publishing their outstanding USENIX Security ’23 Presenter’s content, and the organizations strong commitment to Open Access. Originating from the conference’s events situated at the Anaheim Marriott; and via the organizations YouTube channel.

Permalink

The post USENIX Security ’23 – Formal Analysis of SPDM: Security Protocol and Data Model Version 1.2 appeared first on Security Boulevard.

This article has been indexed from Security Boulevard

Read the original article: