AMY WISE, M.Sc.
CRYPTOGRAPHIC PROTOCOL ENGINEER
Specializing in Lattice-Based Cryptography, Post-Quantum Digital Signatures,
and Secure Multi-Party Computation (MPC).
Securing Tomorrow’s Distributed Trust Against Quantum Threats.
Dedicated to hardening modern infrastructure against the quantum transition. Combining theoretical rigor in lattice-based hardness assumptions with practical implementation of distributed key generation, threshold signatures, and quantum-resistant network protocols.
POST-QUANTUM CRYPTOGRAPHY & DISTRIBUTED SYSTEMS
About Me
During the master applied mathematics, I specialized in cryptography and am currently working on my thesis on post-quantum threshold signatures. I particularly enjoy the combination of algebra, mathematical reasoning, and practical relevance.
My childhood education has taken me across The Gambia, the US, Vietnam, and the Netherlands, giving me the opportunity to experience a wide range of cultures and perspectives. Seeing the differences between educational systems in these countries also inspired me to pursue a second master’s degree in Science Education.
As quantum computing architectures advance, classical asymmetric encryption schemes—from RSA to elliptic-curve discrete logarithms—face fundamental obsolescence. My work focuses on designing, analyzing, and deploying cryptographic schemes that withstand Shor’s algorithm without compromising performance or latency. With a Master of Science background focused on Applied Cryptography, my research spans lattice-based signature schemes, secure multiparty consensus, and side-channel resistance in resource-constrained environments.
Research & Selected Focus Areas
Post-Quantum Cryptographic Migration: Benchmarking round-trip latency, public-key size overhead, and memory efficiency of ML-KEM (Kyber) and ML-DSA (Dilithium) across modern web and edge infrastructure.
Threshold & Multi-Party Cryptography: Constructing robust $(t, n)$-threshold signature schemes that preserve post-quantum security parameters during multi-peer asynchronous communication rounds.
Formal Protocol Verification: Applying automated verification frameworks to detect logic vulnerabilities, replay attack vectors, and side-channel leaks prior to production deployments.