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]
@inproceedings{SardarQF20,
title = {Towards Formalization of Enhanced Privacy ID (EPID)-based Remote Attestation in Intel SGX},
author = {Muhammad Usama Sardar and Do Le Quoc and Christof Fetzer},
year = {2020},
doi = {10.1109/DSD51259.2020.00099},
url = {https://doi.org/10.1109/DSD51259.2020.00099},
researchr = {https://researchr.org/publication/SardarQF20},
cites = {0},
citedby = {0},
pages = {604-607},
booktitle = {23rd Euromicro Conference on Digital System Design, DSD 2020, Kranj, Slovenia, August 26-28, 2020},
publisher = {IEEE},
isbn = {978-1-7281-9535-3},
}