Appeared in the Proceedings of the ACM Conference on Foundations of Software Engineering (FSE 2025).
About Me
I am currently a Cybersecurity Research Engineer at the GE Vernova Advanced Research Center, where I work on securing and improving the reliability of embedded and safety-critical systems. Before joining GE Vernova, I completed my Ph.D. and M.Sc. in Computer Science from Stony Brook University under the supervision of Professor Omar Haider Chowdhury. I obtained my Bachelor degree in Computer Science and Engineering from the Bangladesh University of Engineering and Technology (BUET).
Research Background
My research background lies at the intersection of computer security and automated reasoning. I have extensive experience applying formal verification techniques to improve the security, reliability, and robustness of modern systems and protocols. My work has focused on the automated detection of functional bugs in network protocols and safety-critical cyber-physical and IoT systems, with particular emphasis on SSL/TLS and the robustness of X.509 certificate validation in widely used open-source implementations. More broadly, I am interested in building principled, scalable approaches that bridge theory and practice in formal verification and security, and in applying these methods to real-world systems to improve their trustworthiness and resilience.
Recent Updates
- Joined as a Cybersecurity Research Engineer at GE Vernova Advanced Research Center (July 2025).
- Graduated with a Ph.D. in Computer Science from Stony Brook University (May 2025).
Publications
Appeared in the 45th IEEE Symposium on Security and Privacy (IEEE S&P 2024).
Appeared in the 23rd Formal Methods in Computer-Aided Design (FMCAD 2023).
Appeared in the Proceedings of the 28th ACM Conference on Computer and Communications Security
(ACM CCS 2021).
*** Best Student Paper Award (Runners-up) ***
Appeared in the Proceedings of the 28th ACM Conference on Computer and Communications Security (ACM CCS 2021).
Appeared in the Proceedings of the 28th ACM Conference on Computer and Communications Security (ACM CCS 2021).
Appeared in the 18th International Conference of Applied Cryptography and Network Security
(ACNS 2020).
*** Best Student Paper Award (Winner) ***
No publications match the selected filters.
Resume
Resume (Updated on 01.01.2026)