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
702015
Type-based taint analysis for Java web applications
W Huang, Y Dong, A Milanova
International Conference on Fundamental Approaches to Software Engineering …, 2014
312014
Jcrypt: Towards computation over encrypted data
Y Dong, A Milanova, J Dolby
Proceedings of the 13th International Conference on Principles and Practices …, 2016
122016
A hybrid approach to clinical question answering
SA Hasan, X Zhu, Y Dong, J Liu, O Farri
PHILIPS RESEARCH USA BRIARCLIFF MANOR NY, 2014
92014
CFL-reachability and context-sensitive integrity types
A Milanova, W Huang, Y Dong
Proceedings of the 2014 International Conference on Principles and Practices …, 2014
72014
Inference and checking of object immutability
A Milanova, Y Dong
Proceedings of the 13th International Conference on Principles and Practices …, 2016
32016
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
22018
SVPWM Algorithm Based on Reference Voltage Decomposition for Three-level Inverter [J]
X WU, Y DONG, J ZHOU, Y PENG
Journal of System Simulation 19, 2009
12009
SecureMR: secure mapreduce using homomorphic encryption and program partitioning
Y Dong, A Milanova, J Dolby
ACM SIGPLAN Notices 53 (1), 389-390, 2018
2018
Static Analysis and Program Transformation for Secure Computation on the Cloud
Y Dong, A Milanova, J Dolby
Rensselaer Polytechnic Institute, 2017
2017
Application of Duality Principle in Power Electronic Circuits
X WU, Y DONG, P DAI, J ZHOU
Journal of Electrical & Electronic Education, 11, 2007
2007
The system can't perform the operation now. Try again later.
Articles 1–11