Joyanta Debnath
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2020–2024
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | SP | ARMOR: A Formally Verified Implementation of X.509 Certificate Chain Validation. | Joyanta Debnath, Christa Jenkins, Yuteng Sun, Sze Yiu Chau, Omar Chowdhury |
| 2023 | FMCAD | 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 |
| 2021 | CCS | On Re-engineering the X.509 PKI with Executable Specification for Better Implementation Guarantees. | Joyanta Debnath, Sze Yiu Chau, Omar Chowdhury |
| 2021 | CCS | All your Credentials are Belong to Us: On Insecure WPA2-Enterprise Configurations. | 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 |
| 2021 | CCS | Morpheus: Bringing The (PKCS) One To Meet the Oracle. | Moosa Yahyazadeh, Sze Yiu Chau, Li Li, Man Hong Hue, Joyanta Debnath, Sheung Chiu Ip, Chun Ngai Li, Md. Endadul Hoque, Omar Chowdhury |
| 2020 | ACNS | When TLS Meets Proxy on Mobile. | Joyanta Debnath, Sze Yiu Chau, Omar Chowdhury |