Zheng Lu, Supratik Mukhopadhyay. Model-Based Static Source Code Analysis of Java Programs with Applications to Android Security. In Xiaoying Bai, Fevzi Belli, Elisa Bertino, Carl K. Chang, Atilla Elçi, Cristina Cerschi Seceleanu, Haihua Xie, Mohammad Zulkernine, editors, 36th Annual IEEE Computer Software and Applications Conference, COMPSAC 2012, Izmir, Turkey, July 16-20, 2012. pages 322-327, IEEE Computer Society, 2012. [doi]
@inproceedings{LuM12-3,
title = {Model-Based Static Source Code Analysis of Java Programs with Applications to Android Security},
author = {Zheng Lu and Supratik Mukhopadhyay},
year = {2012},
doi = {10.1109/COMPSAC.2012.43},
url = {http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2012.43},
researchr = {https://researchr.org/publication/LuM12-3},
cites = {0},
citedby = {0},
pages = {322-327},
booktitle = {36th Annual IEEE Computer Software and Applications Conference, COMPSAC 2012, Izmir, Turkey, July 16-20, 2012},
editor = {Xiaoying Bai and Fevzi Belli and Elisa Bertino and Carl K. Chang and Atilla Elçi and Cristina Cerschi Seceleanu and Haihua Xie and Mohammad Zulkernine},
publisher = {IEEE Computer Society},
isbn = {978-1-4673-1990-4},
}