![]() | Monter d'un niveau |
Laverdiere, M. A., & Merlo, E. (février 2017). Computing counter-examples for privilege protection losses using security models [Communication écrite]. 24th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2017), Klagenfurt, Austria. Lien externe
Laverdiere, M. A., Berger, B. J., & Merlo, E. (mars 2015). Taint analysis of manual service compositions using cross-application call graphs [Communication écrite]. 22nd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2015), Montréal, Québec. Lien externe