| SymCerts: Practical Symbolic Execution for Exposing Noncompliance in X. 509 Certificate Validation Implementations SY Chau, O Chowdhury, E Hoque, H Ge, A Kate, C Nita-Rotaru, N Li Security and Privacy (SP), 2017 IEEE Symposium on, 503-520, 2017 | 83 | 2017 |
| Analyzing operational behavior of stateful protocol implementations for detecting semantic bugs E Hoque, O Chowdhury, SY Chau, C Nita-Rotaru, N Li 2017 47th Annual IEEE/IFIP International Conference on Dependable Systems …, 2017 | 34 | 2017 |
| Analyzing semantic correctness with symbolic execution: A case study on pkcs# 1 v1. 5 signature verification SY Chau, M Yahyazadeh, O Chowdhury, A Kate, N Li Network and Distributed Systems Security (NDSS) Symposium 2019, 2019 | 20 | 2019 |
| 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 | 15* | 2021 |
| Koinonia: verifiable e-voting with long-term privacy H Ge, SY Chau, VE Gonsalves, H Li, T Wang, X Zou, N Li Proceedings of the 35th Annual Computer Security Applications Conference …, 2019 | 15 | 2019 |
| 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 | 9 | 2021 |
| Adaptive Deterrence of DNS Cache Poisoning SY Chau, O Chowdhury, V Gonsalves, H Ge, W Yang, S Fahmy, N Li Security and Privacy in Communication Networks: 14th International …, 2018 | 8 | 2018 |
| When tls meets proxy on mobile J Debnath, SY Chau, O Chowdhury Applied Cryptography and Network Security: 18th International Conference …, 2020 | 7 | 2020 |
| 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 | 5 | 2021 |
| Back to School: On the (In) Security of Academic VPNs KL Wu, MH Hue, NM Poon, KM Leung, WY Po, KT Wong, SH Hui, ... 32nd USENIX Security Symposium (USENIX Security 23), 5737-5754, 2023 | 4 | 2023 |
| Why Johnny Can't Make Money With His Contents: Pitfalls of Designing and Implementing Content Delivery Apps SY Chau, B Wang, J Wang, O Chowdhury, A Kate, N Li Proceedings of the 34th Annual Computer Security Applications Conference …, 2018 | 4 | 2018 |
| Understanding Impacts of Electromagnetic Signal Injection Attacks on Object Detection Y Zhang, C Yang, EY Fu, Q Jiang, C Yan, SY Chau, G Ngai, HV Leong, ... 2024 IEEE International Conference on Multimedia and Expo (ICME), 1-6, 2024 | 3 | 2024 |
| Towards Precise Reporting of Cryptographic Misuses Y Chen, Y Liu, KL Wu, DV Le, SY Chau The Network and Distributed System Security (NDSS) Symposium, 2024 | 3 | 2024 |
| TouchKey: Touch to Generate Symmetric Keys by Skin Electric Potentials Induced by Powerline Radiation Y Miao, C Gu, Z Yan, SY Chau, R Tan, Q Lin, W Hu, S He, J Chen Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous …, 2023 | 3 | 2023 |
| A Decade After Bleichenbacher’06, RSA Signature Forgery Still Works SY Chau Black Hat USA, 2019 | 3 | 2019 |
| Investigating TLS Version Downgrade in Enterprise Software KF Tang, KL Wu, SY Chau Proceedings of the Fourteenth ACM Conference on Data and Application …, 2024 | 1 | 2024 |
| The Devil is in the Details: Hidden Problems of Client-Side Enterprise Wi-Fi Configurators KL Wu, MH Hue, KF Tang, SY Chau Proceedings of the 16th ACM Conference on Security and Privacy in Wireless …, 2023 | 1 | 2023 |
| MoNet: Impressionism As A Defense Against Adversarial Examples H Ge, SY Chau, N Li 2020 Second IEEE International Conference on Trust, Privacy and Security in …, 2020 | 1 | 2020 |
| Random Spiking and Systematic Evaluation of Defenses Against Adversarial Examples H Ge, SY Chau, B Ribeiro, N Li Proceedings of the Tenth ACM Conference on Data and Application Security and …, 2020 | 1 | 2020 |
| 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 |
Omar Haider ChowdhuryAssociate Professor of CS at Stony Brook UniversityVerified email at cs.stonybrook.edu