Analyzing Operational Behavior of Stateful Protocol Implementations for Detecting Semantic Bugs. - Md. Endadul Hoque; Omar Chowdhury; Sze Yiu Chau; Cristina Nita-Rotaru; Ninghui Li (DSN, 2017)

SymCerts: Practical Symbolic Execution for Exposing Noncompliance in X.509 Certificate Validation Implementations. - Sze Yiu Chau; Omar Chowdhury; Md. Endadul Hoque; Huangyi Ge; Aniket Kate; Cristina Nita-Rotaru; Ninghui Li (IEEE Symposium on Security and Privacy, 2017)

Why Johnny Can't Make Money With His Contents: Pitfalls of Designing and Implementing Content Delivery Apps. - Sze Yiu Chau; Bincheng Wang; Jianxiong Wang; Omar Chowdhury; Aniket Kate; Ninghui Li (ACSAC, 2018)

Adaptive Deterrence of DNS Cache Poisoning. - Sze Yiu Chau; Omar Chowdhury; Victor E. Gonsalves; Huangyi Ge; Weining Yang; Sonia Fahmy; Ninghui Li (SecureComm (2), 2018)

Random Spiking and Systematic Evaluation of Defenses Against Adversarial Examples. - Huangyi Ge; Sze Yiu Chau; Ninghui Li (CoRR, 2018)

Koinonia: verifiable e-voting with long-term privacy. - Huangyi Ge; Sze Yiu Chau; Victor E. Gonsalves; Huian Li; Tianhao Wang 001; Xukai Zou; Ninghui Li (ACSAC, 2019)

Analyzing Semantic Correctness with Symbolic Execution: A Case Study on PKCS#1 v1.5 Signature Verification. - Sze Yiu Chau; Moosa Yahyazadeh; Omar Chowdhury; Aniket Kate; Ninghui Li (NDSS, 2019)

When TLS Meets Proxy on Mobile. - Joyanta Debnath; Sze Yiu Chau; Omar Chowdhury (ACNS (2), 2020)

Random Spiking and Systematic Evaluation of Defenses Against Adversarial Examples. - Huangyi Ge; Sze Yiu Chau; Bruno Ribeiro 001; Ninghui Li (CODASPY, 2020)

MoNet: Impressionism As A Defense Against Adversarial Examples. - Huangyi Ge; Sze Yiu Chau; Ninghui Li (TPS-ISA, 2020)

On Re-engineering the X.509 PKI with Executable Specification for Better Implementation Guarantees. - Joyanta Debnath; Sze Yiu Chau; Omar Chowdhury (CCS, 2021)

All your Credentials are Belong to Us: On Insecure WPA2-Enterprise Configurations. - Man Hong Hue; Joyanta Debnath; Kin Man Leung; Li Li 101; Mohsen Minaei; M. Hammad Mazhar; Kailiang Xian; Md. Endadul Hoque; Omar Chowdhury; Sze Yiu Chau (CCS, 2021)

Morpheus: Bringing The (PKCS) One To Meet the Oracle. - Moosa Yahyazadeh; Sze Yiu Chau; Li Li 101; Man Hong Hue; Joyanta Debnath; Sheung Chiu Ip; Chun Ngai Li; Md. Endadul Hoque; Omar Chowdhury (CCS, 2021)

DSKE: Digital Signature with Key Extraction. - Orestis Alpos; Zhipeng Wang 009; Alireza Kavousi; Sze Yiu Chau; Duc Viet Le 001; Christian Cachin (IACR Cryptol. ePrint Arch., 2022)

Back to School: On the (In)Security of Academic VPNs. - Ka Lok Wu; Man Hong Hue; Ngai Man Poon; Kin Man Leung; Wai Yin Po; Kin Ting Wong; Sze Ho Hui; Sze Yiu Chau (USENIX Security Symposium, 2023)

The Devil is in the Details: Hidden Problems of Client-Side Enterprise Wi-Fi Configurators. - Ka Lok Wu; Man Hong Hue; Ka Fun Tang; Sze Yiu Chau (WISEC, 2023)

TouchKey: Touch to Generate Symmetric Keys by Skin Electric Potentials Induced by Powerline Radiation. - Yuchen Miao; Chaojie Gu; Zhenyu Yan 002; Sze Yiu Chau; Rui Tan 001; Qi Lin; Wen Hu 001; Shibo He; Jiming Chen 001 (Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2023)

Investigating TLS Version Downgrade in Enterprise Software. - Ka Fun Tang; Ka Lok Wu; Sze Yiu Chau (CODASPY, 2024)

Towards Precise Reporting of Cryptographic Misuses. - Yikang Chen; Yibo Liu; Ka Lok Wu; Duc Viet Le 001; Sze Yiu Chau (NDSS, 2024)

ARMOR: A Formally Verified Implementation of X.509 Certificate Chain Validation. - Joyanta Debnath; Christa Jenkins; Yuteng Sun; Sze Yiu Chau; Omar Chowdhury (SP, 2024)

SeQR: A User-Friendly and Secure-by-Design Configurator for Enterprise Wi-Fi. - S. Mahmudul Hasan; Che Wei Tu; Md. Endadul Hoque; Omar Chowdhury; Sze Yiu Chau (CHI, 2025)

DSKE: Digital Signatures with Key Extraction. - Zhipeng Wang 009; Orestis Alpos; Alireza Kavousi; Harry W. H. Wong; Sze Yiu Chau; Duc Viet Le 001; Christian Cachin (CT-RSA, 2025)

A Multifaceted Study on the Use of TLS and Auto-detect in Email Ecosystems. - Ka Fun Tang; Che Wei Tu; Sui Ling Angela Mak; Sze Yiu Chau (NDSS, 2025)

On the Unnecessary Complexity of Names in X.509 and Their Impact on Implementations. - Yuteng Sun; Joyanta Debnath; Wenzheng Hong; Omar Chowdhury; Sze Yiu Chau (Proc. ACM Softw. Eng., 2025)