CHIRON: Deployment-quality Detection of Java Cryptographic Vulnerabilities. - Sazzadur Rahaman; Ya Xiao 002; Ke Tian; Fahad Shaon; Murat Kantarcioglu; Danfeng Yao (CoRR, 2018)

CryptoGuard: High Precision Detection of Cryptographic Vulnerabilities in Massive-sized Java Projects. - Sazzadur Rahaman; Ya Xiao 002; Sharmin Afrose; Fahad Shaon; Ke Tian; Miles Frantz; Murat Kantarcioglu; Danfeng (Daphne) Yao (CCS, 2019)

Poster: Deployment-quality and Accessible Solutions for Cryptography Code Development. - Sazzadur Rahaman; Ya Xiao 002; Sharmin Afrose; Ke Tian; Miles Frantz; Na Meng 001; Barton P. Miller; Fahad Shaon; Murat Kantarcioglu; Danfeng (Daphne) Yao (CCS, 2019)

Neural Cryptanalysis: Metrics, Methodology, and Applications in CPS Ciphers. - Ya Xiao 002; Qingying Hao; Danfeng Daphne Yao (DSC, 2019)

Comparative Measurement of Cache Configurations' Impacts on Cache Timing Side-Channel Attacks. - Xiaodong Yu 001; Ya Xiao 002; Kirk W. Cameron; Danfeng (Daphne) Yao (CSET @ USENIX Security Symposium, 2019)

Measuring Attack Surface Reduction in the Presence of Code (Re-)Randomization. - Salman Ahmed 001; Ya Xiao 002; Gang Tan; Kevin Z. Snow; Fabian Monrose; Danfeng Yao (CoRR, 2019)

Methodologies for Quantifying (Re-)randomization Security and Timing under JIT-ROP. - Salman Ahmed 001; Ya Xiao 002; Kevin Z. Snow; Gang Tan; Fabian Monrose; Danfeng (Daphne) Yao (CCS, 2020)

Deployment-quality and Accessible Solutions for Cryptography Code Development. - Sazzadur Rahaman; Ya Xiao 002; Sharmin Afrose; Ke Tian; Miles Frantz; Na Meng 001; Barton P. Miller; Fahad Shaon; Murat Kantarcioglu; Danfeng (Daphne) Yao (CODASPY, 2020)

Tutorial: Principles and Practices of Secure Cryptographic Coding in Java. - Ya Xiao 002; Miles Frantz; Sharmin Afrose; Sazzadur Rahaman; Danfeng Daphne Yao (SecDev, 2020)

Multi-location cryptographic code repair with neural-network-based methodologies. - Ya Xiao 002 (ESEC/SIGSOFT FSE, 2021)

Data-Driven Vulnerability Detection and Repair in Java Code. - Ying Zhang 066; Mahir Kabir; Ya Xiao 002; Danfeng Yao; Na Meng 001 (CoRR, 2021)

Embedding Code Contexts for Cryptographic API Suggestion: New Methodologies and Comparisons. - Ya Xiao 002; Salman Ahmed 001; Wenjia Song; Xinyang Ge; Bimal Viswanath; Danfeng Yao (CoRR, 2021)

Privacy Guarantees of BLE Contact Tracing: A Case Study on COVIDWISE. - Salman Ahmed 001; Ya Xiao 002; Taejoong Chung; Carol J. Fung; Moti Yung; Danfeng Yao (CoRR, 2021)

Privacy Guarantees of BLE Contact Tracing for COVID-19 and Beyond: A Case Study on COVIDWISE. - Salman Ahmed 001; Ya Xiao 002; Taejoong (Tijay) Chung; Carol J. Fung; Moti Yung; Danfeng (Daphne) Yao (AsiaCCS, 2022)

Poster: Comprehensive Comparisons of Embedding Approaches for Cryptographic API Completion. - Ya Xiao 002; Salman Ahmed 001; Xinyang Ge; Bimal Viswanath; Na Meng 001; Danfeng Daphne Yao (ICSE-Companion, 2022)

Example-based vulnerability detection and repair in Java code. - Ying Zhang 066; Ya Xiao 002; Md Mahir Asef Kabir; Danfeng (Daphne) Yao; Na Meng 001 (ICPC, 2022)

Industrial Strength Static Detection for Cryptographic API Misuses. - Ya Xiao 002; Yang Zhao; Nicholas Allen; Nathan Keynes; Danfeng Yao; Cristina Cifuentes (SecDev, 2022)

Privacy Guarantees of Bluetooth Low Energy Contact Tracing: A Case Study on COVIDWISE. - Salman Ahmed 001; Ya Xiao 002; Taejoong Chung; Carol J. Fung; Moti Yung; Danfeng Daphne Yao (Computer, 2022)

Deep Learning-based Anomaly Detection in Cyber-physical Systems: Progress and Opportunities. - Yuan Luo; Ya Xiao 002; Long Cheng 005; Guojun Peng; Danfeng (Daphne) Yao (ACM Comput. Surv., 2022)

Being the Developers' Friend: Our Experience Developing a High-Precision Tool for Secure Coding. - Danfeng Daphne Yao; Sazzadur Rahaman; Ya Xiao 002; Sharmin Afrose; Miles Frantz; Ke Tian; Na Meng 001; Cristina Cifuentes; Yang Zhao; Nicholas Allen; Nathan Keynes; Barton P. Miller; et al. (IEEE Secur. Priv., 2022)

Neural Network-based Methodologies for Securing Cryptographic Code. - Ya Xiao 002 (2022)

Crypto-ransomware Detection through Quantitative API-based Behavioral Profiling. - Wenjia Song; Sanjula Karanam; Ya Xiao 002; Jingyuan Qi; Nathan Dautenhahn; Na Meng 001; Danfeng Yao (CoRR, 2023)

Industrial Experience of Finding Cryptographic Vulnerabilities in Large-scale Codebases. - Ya Xiao 002; Yang Zhao; Nicholas Allen; Nathan Keynes; Danfeng (Daphne) Yao; Cristina Cifuentes (DTRAP, 2023)

Automatic Detection of Java Cryptographic API Misuses: Are We There Yet? - Ying Zhang 066; Md Mahir Asef Kabir; Ya Xiao 002; Danfeng Yao; Na Meng 001 (IEEE Trans. Software Eng., 2023)

Evaluation of Static Vulnerability Detection Tools With Java Cryptographic API Benchmarks. - Sharmin Afrose; Ya Xiao 002; Sazzadur Rahaman; Barton P. Miller; Danfeng Yao (IEEE Trans. Software Eng., 2023)

Specializing Neural Networks for Cryptographic Code Completion Applications. - Ya Xiao 002; Wenjia Song; Jingyuan Qi; Bimal Viswanath; Patrick D. McDaniel; Danfeng Yao (IEEE Trans. Software Eng., 2023)

Measurement of Embedding Choices on Cryptographic API Completion Tasks. - Ya Xiao 002; Wenjia Song; Salman Ahmed 001; Xinyang Ge; Bimal Viswanath; Na Meng 001; Danfeng (Daphne) Yao (ACM Trans. Softw. Eng. Methodol., 2024)

Methods and Benchmark for Detecting Cryptographic API Misuses in Python. - Miles Frantz; Ya Xiao 002; Tanmoy Sarkar Pias; Na Meng 001; Danfeng Yao (IEEE Trans. Software Eng., 2024)