Skip to content Skip to footer

Sara Zain Master of Science


Research interests

• Game-playing techniques in the security reduction
• Formal verifications of security properties and digital signature schemes
• Implementation and evaluation of cryptographic algorithms and protocols in a proof assistant

External positions

PhD student, Microsoft Research Cambridge


Identification Numbers

Scopus author ID 57468010500

Related content