Browser does not support script.
Basso, Andrea (2024). Design and analysis of isogeny-based static-key protocols. University of Birmingham. Ph.D.