Peer-reviewed publications across QKD, post-quantum cryptography, formal methods, and quantum machine learning.