Sara Zain Master of SciencePerson
Person
- Institute of Systems Architecture- Academic Staff
- Chair of Systems Engineering- Academic Staff
Affiliations
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
2018 → 2022
Identification Numbers
Scopus author ID | 57468010500 |
---|