Towards a Flow- and Path-Sensitive Information Flow Analysis | IEEE Conference Publication | IEEE Xplore