Dr. Sara Zain

© S 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 Engineering and Physical Sciences Research Council (EPSRC) for her four years of the Ph.D. program. 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. Currently, she is working as a Research Associate at the TU-Dresden. 

Contact Information:

•  Email: sara.zain@tu-dresden.de
•  Office:  APB/3074
• Phone: +49 351 463-38419
• Publication

Machine-Checking Unforgeability Proofs for Signature Schemes with Tight Reductions to the Computational Diffie-Hellman Problem