Muhammad Usama Sardar, Do Le Quoc, Christof Fetzer. Towards Formalization of Enhanced Privacy ID (EPID)-based Remote Attestation in Intel SGX. In 23rd Euromicro Conference on Digital System Design, DSD 2020, Kranj, Slovenia, August 26-28, 2020. pages 604-607, IEEE, 2020. [doi]
Abstract is missing.