About
Usama has been working at TU Dresden since October 2017. His current research focus is on the formal specification and verification of attested TLS for confidential computing. He led the recently completed TEE formal specification project [1] (which included Arm CCA) and currently leads the new KBS formal verification project [2] 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) WG, Transport Layer Security (TLS) WG, and Trusted Execution Environment Provisioning (TEEP) WG. Further details are available at his webpage [3]. [1] https://github.com/CCC-Attestation/formal-spec-TEE [2] https://github.com/CCC-Attestation/formal-spec-KBS [3] https://tu-dresden.de/ing/informatik/sya/se/die-professur/beschaeftigte/muhammad-usama-sardar