I am a final year PhD Student from Department of Computer Science and Engineering, Indian Institute of Technology, Kanpur. I am working under the supervision of Prof. Sandeep K. Shukla and was extremely fortunate to be advised by (Late) Prof. Pramod Subramanyan during his short stay at IIT Kanpur. We are exploring problems in two genres: formal methods & their application to prove security properties, and applied cryptography, specifically zero knowledge proofs, to build trusted and privacy-preserving solutions.

I also had interest in Computational Number Theory and Algebra, but am not pursuing it currently. In this area, I have worked on Integer Factorization problem, and explored the problem from a novel perspective. We investigated for a connection between the Integer Factorization and AKS Primality test, by examining the polynomial computed during AKS test and see if we can use it to compute the factors of the integer.