Ruhr-Uni-Bochum

Abigail Pribisova

Institution: Max Planck Institute for Security and Privacy

E-Mail: abigail.pribisova@mpi-sp.org

Adresse: Universitätsstraße 140, 44799 Bochum

Website: https://www.mpi-sp.org/person/162232/2775

Publikationen:

Misquoted No More: Securely Extracting F* Programs with IO

Zurück zur Übersicht