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]
Abstract is missing.