Scalable Security Verification of Software at Compile Time. - Syrine Tlili; José M. Fernandez 001; Abdelfettah Belghith; Bilel Dridi; Soufien Hidouri (SCAM, 2014)