Yao Dong

According to our database, Yao Dong authored at least 8 papers between 2014 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2018

SecureMR: secure mapreduce using homomorphic encryption and program partitioning.

Yao Dong, Ana L. Milanova, Julian Dolby

Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2018

SecureMR: secure mapreduce computation using homomorphic encryption and program partitioning.

Yao Dong, Ana L. Milanova, Julian Dolby

Proceedings of the 5th Annual Symposium and Bootcamp on Hot Topics in the Science of Security, 2018

2017

Static analysis and program transformation for secure computation on the cloud.

Yao Dong

PhD thesis, 2017

2016

Inference and Checking of Object Immutability.

Ana L. Milanova, Yao Dong

Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools, Lugano, Switzerland, August 29, 2016

JCrypt: Towards Computation over Encrypted Data.

Yao Dong, Ana L. Milanova, Julian Dolby

Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools, Lugano, Switzerland, August 29, 2016

2015

Scalable and precise taint analysis for Android.

Wei Huang, Yao Dong, Ana L. Milanova, Julian Dolby

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

2014

CFL-reachability and context-sensitive integrity types.

Ana L. Milanova, Wei Huang, Yao Dong

Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, 2014

Type-Based Taint Analysis for Java Web Applications.

Wei Huang, Yao Dong, Ana L. Milanova

Proceedings of the Fundamental Approaches to Software Engineering, 2014