<  Retour au portail Polytechnique Montréal

Scalable Security Verification of Software at Compile Time

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

Communication écrite (2014)

Un lien externe est disponible pour ce document
Département: Département de génie informatique et génie logiciel
URL de PolyPublie: https://publications.polymtl.ca/11484/
Nom de la conférence: 14th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2014)
Lieu de la conférence: Victoria, British Columbia
Date(s) de la conférence: 2014-09-28 - 2014-09-29
Maison d'édition: IEEE Computer Society
DOI: 10.1109/scam.2014.20
URL officielle: https://doi.org/10.1109/scam.2014.20
Date du dépôt: 18 avr. 2023 15:08
Dernière modification: 05 avr. 2024 10:50
Citer en APA 7: Tlili, S., Fernandez, J. M., Belghith, A., Dridi, B., & Hidouri, S. (septembre 2014). Scalable Security Verification of Software at Compile Time [Communication écrite]. 14th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2014), Victoria, British Columbia. https://doi.org/10.1109/scam.2014.20

Statistiques

Dimensions

Actions réservées au personnel

Afficher document Afficher document