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