Zeineb Zhioua

According to our database, Zeineb Zhioua authored at least 5 papers between 2014 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2017

Formal specification of security guidelines for program certification.

Zeineb Zhioua, Yves Roudier, Rabéa Ameur-Boulifa

Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017

Formal Specification and Verification of Security Guidelines.

Zeineb Zhioua, Yves Roudier, Rabéa Ameur-Boulifa

Proceedings of the 22nd IEEE Pacific Rim International Symposium on Dependable Computing, 2017

Tracking Dependent Information Flows.

Zeineb Zhioua, Yves Roudier, Rabéa Ameur-Boulifa, Takoua Kechiche, Stuart Short

Proceedings of the 3rd International Conference on Information Systems Security and Privacy, 2017

2016

Security Guidelines: Requirements Engineering for Verifying Code Quality.

Zeineb Zhioua, Yves Roudier, Stuart Short, Rabéa Ameur-Boulifa

Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

2014

Static Code Analysis for Software Security Verification: Problems and Approaches.

Zeineb Zhioua, Stuart Short, Yves Roudier

Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014