![Sabine Oechsner](https://popl24.sigplan.org/getProfileImage/sabineoechsner1/feefa9fd-f805-4a6d-a54b-aedde28218ec/small.jpg?1711609350000)
Registered user since Tue 24 Oct 2023
Name:Sabine Oechsner
Country:United Kingdom
Affiliation:University of Edinburgh
Personal website: https://www.soechsner.de
Research interests:cryptography, security, formal verification
Contributions
POPL 2024-profile
View general profile
View general profile