Security Path Verification Through Joint Information Flow Analysis | IEEE Conference Publication | IEEE Xplore