Dr. Sara Zain ist Senior Researcher in der Forschungsgruppe Verified System Design Automation (VerSa).

Ihre Forschungsschwerpunkte liegen auf der formalen Verifikation kryptographischer Sicherheitseigenschaften, insbesondere im Bereich digitaler Signaturen und Remote Attestation, unter Verwendung von Proof Assistants (Beweisassistenten). Ihr Ziel ist es, die Vertrauenswürdigkeit kryptographischer Systeme zu erhöhen, indem sie die Lücke zwischen traditionellen Beweisen auf Papier und formalen Verifikationstechniken schließt.

Zudem ist sie für die PR-Arbeit innerhalb der VerSa-Gruppe zuständig.

Akademischer Werdegang

• Postdoktorandin an der TU Dresden (November 2022 – August 2024) am Lehrstuhl für Systems Engineering
• Promotion (PhD) 2022 an der University of Bristol und der University of Surrey (April 2018 – Juni 2022), gefördert durch Microsoft Research Cambridge und EPSRC
• Master of Science (MSc) 2017 am King’s College London
• Bachelor of Science (BSc) 2016 an der Middlesex University London
• Level-3-Abschluss 2012 am Barnet College, London

Weitere Informationen auf LinkedIn und ResearchGate.