Scalable Security Verification of Software at Compile Time.

Syrine Tlili, Jos M. Fernandez, Abdelfettah Belghith, Bilel Dridi, Soufien Hidouri

Browse the full SCAM paper archive.