Xue Rao, Ning Xi 0002, Jing Lv, Pengbin Feng. Compositional Information Flow Verification for Inter Application Communications in Android System. In Xiaofeng Chen 0001, Xinyi Huang, Jun Zhang 0010, editors, Machine Learning for Cyber Security - Second International Conference, ML4CS 2019, Xi'an, China, September 19-21, 2019, Proceedings. Volume 11806 of Lecture Notes in Computer Science, pages 239-252, Springer, 2019. [doi]
@inproceedings{Rao0LF19,
title = {Compositional Information Flow Verification for Inter Application Communications in Android System},
author = {Xue Rao and Ning Xi 0002 and Jing Lv and Pengbin Feng},
year = {2019},
doi = {10.1007/978-3-030-30619-9_17},
url = {https://doi.org/10.1007/978-3-030-30619-9_17},
researchr = {https://researchr.org/publication/Rao0LF19},
cites = {0},
citedby = {0},
pages = {239-252},
booktitle = {Machine Learning for Cyber Security - Second International Conference, ML4CS 2019, Xi'an, China, September 19-21, 2019, Proceedings},
editor = {Xiaofeng Chen 0001 and Xinyi Huang and Jun Zhang 0010},
volume = {11806},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-30619-9},
}