Authors/Presenters:Cas Cremers, Alexander Dax, Aurora Naska Many thanks to USENIX for publishing their outstanding USENIX Security ’23 Presenter’s con…
First seen on securityboulevard.com
Jump to article: securityboulevard.com/2024/08/usenix-security-23-formal-analysis-of-spdm-security-protocol-and-data-model-version-1-2/
