| Static code analysis for software security verification: Problems and approaches Z Zhioua, S Short, Y Roudier 2014 IEEE 38th International Computer Software and Applications Conference …, 2014 | 49 | 2014 |
| Security guidelines: Requirements engineering for verifying code quality Z Zhioua, Y Roudier, S Short, RB Ameur 2016 IEEE 24th International Requirements Engineering Conference Workshops …, 2016 | 9 | 2016 |
| Formal specification and verification of security guidelines Z Zhioua, Y Roudier, RB Ameur 2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing …, 2017 | 8 | 2017 |
| Towards the verification and validation of software security properties using static code analysis Z Zhioua, S Short, Y Roudier Int. J. Comput. Sci. Theor. App 2 (2), 23-34, 2014 | 6 | 2014 |
| Framework for the formal specification and verification of security guidelines Z Zhioua, R Ameur-Boulifa, Y Roudier Adv. Sci. Technol. Eng. Syst.(ASTES) J 3, 38-48, 2018 | 5 | 2018 |
| Formal specification of security guidelines for program certification Z Zhioua, Y Roudier, R Ameur-Boulifa 2017 International Symposium on Theoretical Aspects of Software Engineering …, 2017 | 5 | 2017 |
| Tracking dependent information flows Z Zhioua, Y Roudier, RA Boulifa, T Kechiche, S Short International Conference on Information Systems Security and Privacy 2, 179-189, 2017 | 4 | 2017 |
