Weiter zum Inhalt Weiter zur Fußzeile

Sara Zain Master of Science

Person

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

20182022

Identifizierungsnummern

Scopus Autor ID 57468010500