Muhammad Usama Sardar
Muhammad Usama Sardar has been working at TU Dresden since October 2017. He also serves as the co-chair of the Trusted Research Environment (TRE) Open Suite in The Global Alliance for Genomics and Health. He led the completed TEE formal specification project and currently leads the Key Broker Service (KBS) formal verification project in Confidential Computing Consortium (CCC) Attestation Special Interest Group (SIG).
He also contributes to various research networks, such as EuroProofNet (WG3), Méthodes formelles pour la sécurité, Internet Research Task Force (IRTF) Usable Formal Methods Research Group (UFMRG), as well as engineering networks, such as Internet Engineering Task Force (IETF) Remote ATtestation procedureS (RATS), Transport Layer Security (TLS), Secure Evidence and Attestation Transport (SEAT), and Workload Identity in Multi System Environments (WIMSE) working groups.
Events
| Title | Day | Room | Track | Start | End |
|---|---|---|---|---|---|
| Standardization and Open-source Implementation of Attested TLS for Confidential Computing |
Sunday | UD6.215 | Confidential Computing | 12:05 | 12:25 |