Joyanta Debnath

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 5

Top Topics

Enterprise Information Systems

Process Algebra

Specification Language

Intelligent Mobile

Top Venues

Publications

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
Towards a Correct-by-Construction Design of Integrated Modular Avionics. FMCAD (2023)
Man Hong Hue, Joyanta Debnath, Kin Man Leung, Li Li, Mohsen Minaei, M. Hammad Mazhar, Kailiang Xian, Md. Endadul Hoque, Omar Chowdhury, Sze Yiu Chau
All your Credentials are Belong to Us: On Insecure WPA2-Enterprise Configurations. CCS (2021)
Moosa Yahyazadeh, Sze Yiu Chau, Li Li, Man Hong Hue, Joyanta Debnath, Sheung Chiu Ip, Chun Ngai Li, Md. Endadul Hoque, Omar Chowdhury
Morpheus: Bringing The (PKCS) One To Meet the Oracle. CCS (2021)
Joyanta Debnath, Sze Yiu Chau, Omar Chowdhury
On Re-engineering the X.509 PKI with Executable Specification for Better Implementation Guarantees. CCS (2021)
Joyanta Debnath, Sze Yiu Chau, Omar Chowdhury
When TLS Meets Proxy on Mobile. ACNS (2) (2020)