<  Back to the Polytechnique Montréal portal

Scalable Security Verification of Software at Compile Time

S. Tlili, Jose Manuel Fernandez, A. Belghith, B. Dridi and S. Hidouri

Paper (2014)

An external link is available for this item
Department: Department of Computer Engineering and Software Engineering
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: 25 Sep 2024 15:48
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