<  Back to the Polytechnique Montréal portal

Scalable Security Verification of Software at Compile Time

Syrine Tlili, Jose Manuel Fernandez, Abdelfettah Belghith, Bilel Dridi and Soufien Hidouri

Paper (2014)

An external link is available for this item
Department: Department of Computer Engineering and Software Engineering
ISBN: 9781479961481
PolyPublie URL: https://publications.polymtl.ca/11484/
Conference Title: 14th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2014)
Conference Location: Victoria, British Columbia
Conference Date(s): 2014-09-28 - 2014-09-29
Publisher: IEEE Computer Society
DOI: 10.1109/scam.2014.20
Official URL: https://doi.org/10.1109/scam.2014.20
Date Deposited: 18 Apr 2023 15:08
Last Modified: 08 Apr 2025 12:21
Cite in APA 7: Tlili, S., Fernandez, J. M., Belghith, A., Dridi, B., & Hidouri, S. (2014, September). Scalable Security Verification of Software at Compile Time [Paper]. 14th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2014), Victoria, British Columbia. https://doi.org/10.1109/scam.2014.20

Statistics

Dimensions

Repository Staff Only

View Item View Item