| 2026 | AsiaCCS | Identity Crisis in Confidential Computing: Formal Analysis of Attested TLS. | Muhammad Usama Sardar, Mariam Moustafa, Tuomas Aura |
| 2025 | USENIX | Separate but Together: Integrating Remote Attestation into TLS. | Carsten Weinhold, Muhammad Usama Sardar, Ionut Mihalcea, Yogesh Deshpande, Hannes Tschofenig, Yaron Sheffer, Thomas Fossati, Michael Roitzsch |
| 2023 | UCC | LLD: A Last-Level Defense for Application Integrity and Confidentiality. | Gabriel P. Fernandez, Andrey Brito, Ardhi Putra Pratama Hartono, Muhammad Usama Sardar, Christof Fetzer |
| 2022 | DSN | Understanding Trust Assumptions for Attestation in Confidential Computing. | Muhammad Usama Sardar |
| 2022 | DSN | Formal Foundations for SCONE Attestation. | Muhammad Usama Sardar, Christof Fetzer |
| 2020 | DSD | Towards Formalization of Enhanced Privacy ID (EPID)-based Remote Attestation in Intel SGX. | Muhammad Usama Sardar, Do Le Quoc, Christof Fetzer |
| 2020 | ICFEM | Formal Foundations for Intel SGX Data Center Attestation Primitives. | Muhammad Usama Sardar, Rasha Faqeh, Christof Fetzer |