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 or shai(dot)levin(at)auckland(dot)ac(dot)nz.

My ORCID • My LinkedIn • My GitHub

About Me

Raised in South Africa, living in New Zealand. Working on a PhD in Post Quantum Cryptography at University of Auckland in 2022 under Steven Galbraith. I love Muay Thai & Mathematics. My mathematical interests include number theory, combinatorics, algebraic graph theory.

Current Projects

Applying zero-knowledge proof systems (such as zkSNARKs) to obtain faster and smaller post-quantum protocols.

Publications

(Submitted to Eurocrypt 2024): Faster Proofs and VRFs from Isogenies with Robi Pedersen.
(Submitted to IACR CiC): 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.
(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.