Follow
Yao Dong
Yao Dong
Verified email at rpi.edu - Homepage
Title
Cited by
Cited by
Year
Scalable and precise taint analysis for android
W Huang, Y Dong, A Milanova, J Dolby
Proceedings of the 2015 International Symposium on Software Testing and …, 2015
1222015
Type-based taint analysis for Java web applications
W Huang, Y Dong, A Milanova
Fundamental Approaches to Software Engineering: 17th International …, 2014
572014
Jcrypt: Towards computation over encrypted data
Y Dong, A Milanova, J Dolby
Proceedings of the 13th International Conference on Principles and Practices …, 2016
192016
CFL-reachability and context-sensitive integrity types
A Milanova, W Huang, Y Dong
Proceedings of the 2014 International Conference on Principles and Practices …, 2014
142014
A Hybrid Approach to Clinical Question Answering.
SA Hasan, X Zhu, Y Dong, J Liu, O Farri
TREC, 2014
132014
SecureMR: Secure MapReduce computation using homomorphic encryption and program partitioning
Y Dong, A Milanova, J Dolby
Proceedings of the 5th Annual Symposium and Bootcamp on Hot Topics in the …, 2018
92018
Inference and checking of object immutability
A Milanova, Y Dong
Proceedings of the 13th International Conference on Principles and Practices …, 2016
62016
SecureMR: secure mapreduce using homomorphic encryption and program partitioning
Y Dong, A Milanova, J Dolby
ACM SIGPLAN Notices 53 (1), 389-390, 2018
22018
Static Analysis and Program Transformation for Secure Computation on the Cloud
Y Dong, A Milanova, J Dolby
Rensselaer Polytechnic Institute, USA, 2017
2017
SVPWM Algorithm Based on Reference Voltage Decomposition for Three-level Inverter
X WU, Y DONG, J ZHOU, Y PENG
Journal of System Simulation, 2009
2009
Application of Duality Principle in Power Electronic Circuits
X WU, Y DONG, P DAI, J ZHOU
Journal of Electrical & Electronic Education, 2007
2007
The system can't perform the operation now. Try again later.
Articles 1–11