Sara Zain Master of SciencePerson
Person
- Professur für Systems Engineering (SE)- Wissenschaftliches Personal
Zugehörigkeiten
Forschungsgebiete
• 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
Externe Posten
Doktorand:in, Microsoft Research Cambridge
2018 → 2022
Identifizierungsnummern
Scopus Autor ID | 57468010500 |
---|