Dr. Sara Zain is a senior researcher in the Verified System Design Automation research group.

Her research focuses on the cryptographic security properties of digital signatures and remote attestation using the proof assistants. She aims to enhance the trustworthiness of cryptographic systems by bridging the gap between pen-and-paper proofs and formal verification techniques.

She is also responsible for public relations within the VerSa group.

Academic career

• Postdoctoral researcher at TU Dresden from November 2022 to August 2024 in the chair of System Engineering.
• Completed her PhD in 2022 from the University of Bristol and the University of Surrey (April 2018 - Jun 2022). (Funded by Microsoft Research Cambridge and EPSRC)
• Completed her MSc in 2017 from Kings College London.
• Completed her BSc in 2016 from Middlesex University, London.
• She completed her Level-3 in 2012 at Barnet College, London.

More information on LinkedIn and Research Gate.