Subham Das is a PhD student at CISPA Helmholtz Center for Information Security, advised by Doreen Riepel. His research interests include foundations of real-world cryptography, formal methods in cryptography, and post-quantum cryptography. More information can be found on his personal website.