Yao Dong

Publication Activity (10 Years)

Years Active: 2014-2018
Publications (10 Years): 4

Top Topics

Spelling Correction

Web Applications

Top Venues

Publications

Yao Dong, Ana Milanova, Julian Dolby
SecureMR: secure mapreduce using homomorphic encryption and program partitioning. PPOPP (2018)
Yao Dong, Ana Milanova, Julian Dolby
SecureMR: secure mapreduce computation using homomorphic encryption and program partitioning. HotSoS (2018)
Ana Milanova, Yao Dong
Inference and Checking of Object Immutability. PPPJ (2016)
Yao Dong, Ana Milanova, Julian Dolby
JCrypt: Towards Computation over Encrypted Data. PPPJ (2016)
Wei Huang, Yao Dong, Ana Milanova, Julian Dolby
Scalable and precise taint analysis for Android. ISSTA (2015)
Ana Milanova, Wei Huang, Yao Dong
CFL-reachability and context-sensitive integrity types. PPPJ (2014)
Wei Huang, Yao Dong, Ana Milanova
Type-Based Taint Analysis for Java Web Applications. FASE (2014)