Ruhr-Uni-Bochum

Abigail Pribisova

Institution: Max Planck Institute for Security and Privacy

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

Adress: Universitätsstraße 140, 44799 Bochum

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

Publications:

Misquoted No More: Securely Extracting F* Programs with IO

Back to overview