Breaking and Provably Restoring Authentication: A Formal Analysis of SPDM 1.2 including Cross-Protocol Attacks.

Cas Cremers, Alexander Dax, Aurora Naska

Browse the full CCS paper archive.