Подписаться
Joyanta Debnath
Joyanta Debnath
Ph.D. Student @ Stony Brook University
Подтвержден адрес электронной почты в домене cs.stonybrook.edu - Главная страница
Название
Процитировано
Процитировано
Год
All your credentials are belong to us: On insecure wpa2-enterprise configurations
MH Hue, J Debnath, KM Leung, L Li, M Minaei, MH Mazhar, K Xian, ...
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications …, 2021
13*2021
On re-engineering the X. 509 PKI with executable specification for better implementation guarantees
J Debnath, SY Chau, O Chowdhury
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications …, 2021
72021
When tls meets proxy on mobile
J Debnath, SY Chau, O Chowdhury
Applied Cryptography and Network Security: 18th International Conference …, 2020
42020
Morpheus: Bringing The (PKCS) One To Meet the Oracle
M Yahyazadeh, SY Chau, L Li, MH Hue, J Debnath, SC Ip, CN Li, ...
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications …, 2021
32021
ARMOR: A Formally Verified Implementation of X. 509 Certificate Chain Validation
J Debnath, C Jenkins, Y Sun, SY Chau, O Chowdhury
2024 IEEE Symposium on Security and Privacy (SP), 200-200, 2024
2024
Towards a Correct-by-Construction Design of Integrated Modular Avionics
B Meng, J Debnath, SC Varanasi, E Manoloios, M Durling, S Paul, ...
CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN–FMCAD 2023, 221, 2023
2023
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–6