Towards Formalization of Enhanced Privacy ID (EPID)-based Remote Attestation in Intel SGX.

Muhammad Usama Sardar, Do Le Quoc, Christof Fetzer

Browse the full DSD paper archive.