Clara Schneidewind (15.10.)

Clara ist Doktorandin an der Forschungsstelle für Sicherheit und Datenschutz im Rahmen des LogiCS-Doktorandenprogramms.
– Ihre Forschungsinteressen umfassen Kryptowährungen, Programmiersprachen, Programm- und Protokollverifikation, Computerlogik und angewandte Kryptographie. In meiner Forschung wende ich Methoden aus diesen Bereichen an, um auf die semantisch fundierte Verifikation und Durchsetzung von Sicherheits- und Datenschutzeigenschaften neuer Anwendungen hinzuarbeiten, wobei der Schwerpunkt auf Blockchain- und Web-Protokollen liegt.
– Hier ist Ihr Artikel für die breite Öffentlichkeit über Contact Tracing: Warum Corona-Apps kompliziert sind