Scalable Security Verification of Software at Compile Time | IEEE Conference Publication | IEEE Xplore