I am a cryptography engineer. I recently moved
from Zürich to Auckland to pursue a PhD in mathematics under the
supervision of Steven Galbraith at the University of Auckland. My
research focuses on mathematical problems underlying cryptographic
constructions based on elliptic curves, particularly in the context of
post-quantum cryptography (i.e., isogenies). My goal is to enhance the
efficiency of these constructions and to establish the groundwork for
formally verified implementations. Before relocating to Auckland, I
worked on TLS termination, key management, and access control systems
for financial services in Switzerland.