Shai Levin

Shai Levin - Post Quantum Cryptography

This site serves as a repository for some of my projects. You can contact me via shai(at)science(dot)capetown.

About Me

Raised in South Africa, living in New Zealand. Just finished my PhD in Post Quantum Cryptography at University of Auckland in 2022 under Steven Galbraith. I love Muay Thai, the national martial art of Thailand. I am undefeated with 9 wins, and currently hold a New Zealand (NZMAF) super-cruiserweight (86kg) title.

NEW: Looking for Work!

I have submitted my PhD thesis as of April 30 2025 and I am looking for research positions in central/western Europe from mid-September 2025. My preference would be for an industry position, but I am open to postdoctoral roles as well. I am primarily interested in constructing practical, provably secure protocols; both in the post-quantum (isogeny and code-based) and classical (discrete-log-based) setting. My primary focus in my PhD thesis has been applying modern, succinct generic proof systems (zk-SNARKs) as a building block for efficient post-quantum protocols, such as verifiable random functions, signature schemes and more.

My PhD Thesis

My PhD thesis, currently submitted for examination is available here: Constructing Secure Protocols from Proofs of Knowledge and Isogenies.

Publications

A Note on Zero-Knowledge Simulator of the CROSS Identification Protocol authored solo.
(Submitted to Mathematical Cryptology): Further Connections Between Isogenies of Supersingular Curves and Bruhat-Tits Trees with Steven Galbraith, Valerie Gilchrist and Ari Markowitz.
(Submitted to Crypto 2025): Faster Proofs and VRFs from Isogenies with Robi Pedersen.
(IACR CiC Vol. 1, Issue 4): A Key-Recovery Attack on a Leaky Seasign Variant authored solo.
(Africacrypt 2024): CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness with Sofia Celi and Joe Rowell during an internship at Brave.
(ACNS 2023): Efficient Isogeny Proofs Using Generic Techniques with Kelong Cong and Yi-Fu Lai.

Miscellaneous Projects

Code for generating the supersingular isogeny graph., since it is very hard to find an implementation that works in the "correct" way.
A (now insecure) implementation of Supersingular Isogeny Key Exchange (SIKE) in Python.
Slides for a talk I've done on Expander Graphs in Cryptography.
My honours project with a summary of Elliptic Curves, their isogenies, and a way to construct lifts from isogeny graphs.
My slides for a 'thesis in three' on my honours project.
A report on an open problem of existence of particular Ramanujan graphs.
Cyber-security reports done during my undergrad on wireless network security, applications of VPNs and the vulnerability of cheap IoT devices.
I maintained this website.