Joyanta Debnath

alt text 

Ph.D. Student,
The University of Iowa,
15 MacLean Hall,
Iowa City, Iowa, USA.
Contact: joyanta-debnath@uiowa.edu, Linkedin, Twitter

Biography

I am currently a Ph.D. candidate in the Department of Computer Science at UIowa under the supervision of Prof. Omar Chowdhury. Before joining UIowa, 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 interest lies in Network Security, with an emphasis on applying formal verification techniques in modern network protocols. 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 have joined GE Global Research as a Fellow Intern in Summer 2022. I am working for the Validation and Verification team.

  • I have passed the Ph.D. Comprehensive Examination in Spring 2022.

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

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

Work Experience

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

Publications

  1. "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) ***


  2. "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).


  3. "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).


  4. "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) ***