Type-Based Taint Analysis for Java Web Applications. - Wei Huang 001; Yao Dong 001; Ana L. Milanova (FASE, 2014)

CFL-reachability and context-sensitive integrity types. - Ana L. Milanova; Wei Huang 001; Yao Dong 001 (PPPJ, 2014)

Scalable and precise taint analysis for Android. - Wei Huang 001; Yao Dong 001; Ana L. Milanova; Julian Dolby (ISSTA, 2015)

JCrypt: Towards Computation over Encrypted Data. - Yao Dong 001; Ana L. Milanova; Julian Dolby (PPPJ, 2016)

Inference and Checking of Object Immutability. - Ana L. Milanova; Yao Dong 001 (PPPJ, 2016)

Static analysis and program transformation for secure computation on the cloud. - Yao Dong 001 (2017)

SecureMR: secure mapreduce computation using homomorphic encryption and program partitioning. - Yao Dong 001; Ana L. Milanova; Julian Dolby (HotSoS, 2018)

SecureMR: secure mapreduce using homomorphic encryption and program partitioning. - Yao Dong 001; Ana L. Milanova; Julian Dolby (PPoPP, 2018)