Identity Crisis in Confidential Computing: Formal Analysis of Attested TLS.

Muhammad Usama Sardar, Mariam Moustafa, Tuomas Aura

Browse the full AsiaCCS paper archive.