Wei Hu, Xinmu Wang, Dejun Mu. Security Path Verification Through Joint Information Flow Analysis. In 2018 IEEE Asia Pacific Conference on Circuits and Systems, APCCAS 2018, Chengdu, China, October 26-30, 2018. pages 415-418, IEEE, 2018. [doi]
Abstract is missing.