Joyanta Debnath

According to our database, Joyanta Debnath authored at least 6 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

ARMOR: A Formally Verified Implementation of X.509 Certificate Chain Validation.

Joyanta Debnath, Christa Jenkins, Yuteng Sun, Sze Yiu Chau, Omar Chowdhury

Proceedings of the IEEE Symposium on Security and Privacy, 2024

2023

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

Proceedings of the Formal Methods in Computer-Aided Design, 2023

2021

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

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

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

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

On Re-engineering the X.509 PKI with Executable Specification for Better Implementation Guarantees.

Joyanta Debnath, Sze Yiu Chau, Omar Chowdhury

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

2020

When TLS Meets Proxy on Mobile.

Joyanta Debnath, Sze Yiu Chau, Omar Chowdhury

Proceedings of the Applied Cryptography and Network Security, 2020