Joyanta Debnath

Ph.D. Candidate, State University of New York at Stony Brook, USA. Contact: jdebnath@cs.stonybrook.edu --- Linkedin --- Twitter --- Google Scholar

Biography

I am currently a Computer Science Ph.D. candidate at Stony Brook University under the supervision of Omar Haider Chowdhury, Ph.D. Before transferring to Stony Brook, I was a Computer Science Ph.D. student at University of Iowa, and working as a Research Assistant of Dr. Chowdhury. I obtained my Bachelor degree in Computer Science and Engineering from the Bangladesh University of Engineering and Technology (BUET) in 2017.

Research Interests

My research interests lie at the intersection of formal methods and system security. I am interested in developing automated tools for verifying the security of complex systems. My goal is to improve the reliability and security of critical systems by using formal methods to identify and eliminate security vulnerabilities. I am committed to advancing the state-of-the-art in formal methods and security and making the digital world safer for everyone. Currently, I am investigating exploitable weaknesses in SSL/TLS protocol as well as analyzing the robustness of X.509 certificate validation implemented in various open-source implementations.

Recent News

• I am transferred to the Computer Science Ph.D. program at Stony Brook University in Spring 2023.

• My work on X.509 PKI has received the *Best Student Paper Award (Runners-up)* in ACM CCS 2021.

• My work on proxy-based mobile browsers' security has received the *Best Student Paper Award (Winner)* in ACNS 2020.

Work Experience

• Research Assistant, Stony Brook University     [Spring 2023 - Current]
• Research Intern, GE Global Research     [Summer 2022, Summer 2021]
• Teaching Assistant, University of Iowa     [Spring 2022]
• Research Assistant, University of Iowa     [Fall 2018 - Fall 2022]
• QA Engineer, Veriflow Systems     [May 2017 - June 2018]

Publications

1. "Towards a Correct-by-Construction Design of Integrated Modular Avionics". * Paper *
   With Baoluo Meng, Sarat Chandra Varanasi, Emmanuel Manoloios, Michael Durling, and Saswata Paul.
   Appeared in the Formal Methods in Computer-Aided Design 2023 (FMCAD 2023).

2. "On Re-engineering the X.509 PKI with Executable Specification for Better Implementation Guarantees". * Slides * Paper * Github *
   With Sze Yiu Chau, and Omar Chowdhury.
   Appeared in the Proceedings of the 28th ACM Conference on Computer and Communications Security 2021 (ACM CCS 2021).
   *** Best Student Paper Award (Runners-up) ***




3. "All your credentials are belong to us: On Insecure WPA2-Enterprise Configurations". * Paper *
   With Man Hong Hue, Kin Man Leung, Li Li, Mohsen Minaei, M. Hammad Mazhar, Kailiang Xian, Endadul Hoque, Omar Chowdhury, and Sze Yiu Chau.
   Appeared in the Proceedings of the 28th ACM Conference on Computer and Communications Security 2021 (ACM CCS 2021).




4. "Morpheus: Bringing The (PKCS) One To Meet the Oracle". * Paper *
   With Moosa Yahyazadeh, Sze Yiu Chau, Li Li, Man Hong Hue, Sheung Chiu Ip, Li Chun Ngai, Endadul Hoque, and Omar Chowdhury.
   Appeared in the Proceedings of the 28th ACM Conference on Computer and Communications Security 2021 (ACM CCS 2021).




5. "When TLS Meets Proxy on Mobile". * Slides * Paper * Github *
   With Sze Yiu Chau, and Omar Chowdhury.
   Appeared in the 18th International Conference of Applied Cryptography and Network Security (ACNS 2020).
   *** Best Student Paper Award (Winner) ***

Miscellaneous

• Resume (Updated on 02.21.2024)