When TLS Meets Proxy on Mobile. - Joyanta Debnath; Sze Yiu Chau; Omar Chowdhury (ACNS (2), 2020)

On Re-engineering the X.509 PKI with Executable Specification for Better Implementation Guarantees. - Joyanta Debnath; Sze Yiu Chau; Omar Chowdhury (CCS, 2021)

All your Credentials are Belong to Us: On Insecure WPA2-Enterprise Configurations. - Man Hong Hue; Joyanta Debnath; Kin Man Leung; Li Li 101; Mohsen Minaei; M. Hammad Mazhar; Kailiang Xian; Md. Endadul Hoque; Omar Chowdhury; Sze Yiu Chau (CCS, 2021)

Morpheus: Bringing The (PKCS) One To Meet the Oracle. - Moosa Yahyazadeh; Sze Yiu Chau; Li Li 101; Man Hong Hue; Joyanta Debnath; Sheung Chiu Ip; Chun Ngai Li; Md. Endadul Hoque; Omar Chowdhury (CCS, 2021)

Towards a Correct-by-Construction Design of Integrated Modular Avionics. - Baoluo Meng; Joyanta Debnath; Sarat Chandra Varanasi; Emmanuel Manoloios; Michael Durling; Saswata Paul; Daniel Prince; Saif Alsabbagh; Richard Haadsma; Craig McMillan; Chi Zhang; Tim Oates 001 (FMCAD, 2023)

ARMOR: A Formally Verified Implementation of X.509 Certificate Chain Validation. - Joyanta Debnath; Christa Jenkins; Yuteng Sun; Sze Yiu Chau; Omar Chowdhury (SP, 2024)

On the Unnecessary Complexity of Names in X.509 and Their Impact on Implementations. - Yuteng Sun; Joyanta Debnath; Wenzheng Hong; Omar Chowdhury; Sze Yiu Chau (Proc. ACM Softw. Eng., 2025)