Zeineb Zhioua
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2014–2017
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | ICISSP | Tracking Dependent Information Flows. | Zeineb Zhioua, Yves Roudier, Raba Ameur-Boulifa, Takoua Kechiche, Stuart Short |
| 2017 | PRDC | Formal Specification and Verification of Security Guidelines. | Zeineb Zhioua, Yves Roudier, Raba Ameur-Boulifa |
| 2017 | TASE | Formal specification of security guidelines for program certification. | Zeineb Zhioua, Yves Roudier, Raba Ameur-Boulifa |
| 2016 | RE | Security Guidelines: Requirements Engineering for Verifying Code Quality. | Zeineb Zhioua, Yves Roudier, Stuart Short, Raba Ameur-Boulifa |
| 2014 | COMPSAC | Static Code Analysis for Software Security Verification: Problems and Approaches. | Zeineb Zhioua, Stuart Short, Yves Roudier |