Dr. Sara Zain
Sara Zain started her BSc (Computer Science) at Middlesex Univerity, London, and completed it in 2016. Then, she completed her master's in Computing and Security from King's College London in 2017. In 2018, she received scholarships from Microsoft Research (Cambridge) and the Engineering and Physical Sciences Research Council (EPSRC) for four years in the Ph.D. program. She completed her Ph.D. from the University of Bristol in 2022. Her thesis title was "Machine-checked Verification of Digital Signature Schemes in EasyCrypt". It formally verifies the cryptographic security protocols using a proof assistant, EasyCrypt. Sara Zain joined TU-Dresden in November 2022 as a Postdoctoral Research Associate.
Research interests:
- Game-playing techniques in the security reduction.
- Formal verifications of security properties and digital signature schemes.
- To introduce an approach using proof assistants to formalize and provide machine-checked security proofs of digital signature schemes.
-
Implementation and evaluation of cryptographic algorithms and protocols in a proof assistant.
Contact Information:
- Email: sara.zain@tu-dresden.de
- Office: APB/3077
- Phone: +49 351 463-42358
- Linkedin: Sara Zain
Publication