zeineb zhioua
Title
Cited by
Cited by
Year
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
272014
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
72016
Formal specification and verification of security guidelines
Z Zhioua, Y Roudier, RB Ameur
2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing …, 2017
52017
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
52014
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
32017
Tracking Dependent Information Flows.
Z Zhioua, Y Roudier, R Ameur-Boulifa, T Kechiche, S Short
ICISSP, 179-189, 2017
32017
Framework for the formal specification and verification of security guidelines
Z Zhioua, R Ameur-Boulifa, Y Roudier
Advances in Science, Technology and Engineering Systems Journal 3 (1), 38-48, 2018
12018
The system can't perform the operation now. Try again later.
Articles 1–7