| 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 | 127 | 2015 |
| Type-based taint analysis for Java web applications W Huang, Y Dong, A Milanova Fundamental Approaches to Software Engineering: 17th International …, 2014 | 60 | 2014 |
| Jcrypt: Towards computation over encrypted data Y Dong, A Milanova, J Dolby Proceedings of the 13th International Conference on Principles and Practices …, 2016 | 19 | 2016 |
| A Hybrid Approach to Clinical Question Answering. SA Hasan, X Zhu, Y Dong, J Liu, O Farri TREC, 2014 | 15 | 2014 |
| CFL-reachability and context-sensitive integrity types A Milanova, W Huang, Y Dong Proceedings of the 2014 International Conference on Principles and Practices …, 2014 | 15 | 2014 |
| 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 | 10 | 2018 |
| Inference and checking of object immutability A Milanova, Y Dong Proceedings of the 13th International Conference on Principles and Practices …, 2016 | 6 | 2016 |
| SecureMR: secure mapreduce using homomorphic encryption and program partitioning Y Dong, A Milanova, J Dolby ACM SIGPLAN Notices 53 (1), 389-390, 2018 | 2 | 2018 |
| 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 |
Ana MilanovaRensselaer Polytechnic InstituteVerified email at cs.rpi.edu
