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) and Engineering and Physical Sciences Research Council (EPSRC)


Identification Numbers

Scopus author ID 57468010500

Related content