Static Code Analysis for Software Security Verification: Problems and Approaches. - Zeineb Zhioua; Stuart Short; Yves Roudier (COMPSAC Workshops, 2014)

Security Guidelines: Requirements Engineering for Verifying Code Quality. - Zeineb Zhioua; Yves Roudier; Stuart Short; Rabéa Ameur-Boulifa (RE Workshops, 2016)

Tracking Dependent Information Flows. - Zeineb Zhioua; Yves Roudier; Rabéa Ameur-Boulifa; Takoua Kechiche; Stuart Short (ICISSP, 2017)

Formal Specification and Verification of Security Guidelines. - Zeineb Zhioua; Yves Roudier; Rabéa Ameur-Boulifa (PRDC, 2017)

Formal specification of security guidelines for program certification. - Zeineb Zhioua; Yves Roudier; Rabéa Ameur-Boulifa (TASE, 2017)