Author of the publication

Compositional Information Flow Verification for Inter Application Communications in Android System.

, , , and . ML4CS, volume 11806 of Lecture Notes in Computer Science, page 239-252. Springer, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Spatial shaping in cognitive system with coded legacy transmission., and . WSA, page 1-6. IEEE, (2011)The longitudinal analysis of the genetic effects on craniofacial morphology in posterior-anterior and lateral cephalograms of female twins aged from 6 to 12 years., , and . Clust. Comput., 22 (Supplement): 4957-4969 (2019)Parallel computing of power flow for complex distribution network with DGs., , , , , , and . J. Intell. Fuzzy Syst., 33 (5): 2987-2997 (2017)List coloring and diagonal coloring for plane graphs of diameter two., , , , and . Appl. Math. Comput., (2019)Planning Economy-energy-environment Nexus System: A Case Study of Pearl River Delta, China., , , and . IEEA, page 75-81. ACM, (2022)Compositional Information Flow Verification for Inter Application Communications in Android System., , , and . ML4CS, volume 11806 of Lecture Notes in Computer Science, page 239-252. Springer, (2019)Panoramic Light Field Video Acquisition., , , , , and . ICME, page 1-6. IEEE Computer Society, (2018)Bayesian Quantile Regression and Variable Selection for Count Data with an Application to Youth Fitness Survey., and . CIS, page 14-18. IEEE Computer Society, (2016)Distributed Quantitative Information Flow Evaluation for Service Composition in Clouds., , , and . TrustCom/BigDataSE, page 200-207. IEEE, (2019)Integrating GPS and LEO to accelerate convergence time of precise point positioning., , , , , and . WCSP, page 1-5. IEEE, (2015)