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)

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)

Enhancing CryptoGuards Deployability for Continuous Software Security Scanning. - Miles Frantz (CoRR, 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)

SpanL: Creating Algorithms for Automatic API Misuse Detection with Program Analysis Compositions. - Sazzadur Rahaman; Miles Frantz; Barton P. Miller; Danfeng (Daphne) Yao (ACNS Workshops, 2023)

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)