1. ZHIOUA Zeineb
  2. ZHIOUA Zeineb
print

ZHIOUA Zeineb

Conférence

Zhioua, Zeineb; Roudier, Yves; Ameur-Boulifa, Rabea

Formal specification of security guidelines for program certification

TASE 2017, 11th International Symposium on Theoretical Aspects of Software Engineering, September 13-15, 2017, Nice, France
Detail
Document
DOI
BIBTEX

Thèse

Zhioua, Zeineb

Specification and automatic verification of security guidelines for program certification

Thesis
Detail
Document
BIBTEX

Conférence

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

Tracking dependent information flows

ICISSP 2017, 3rd International Conference on Information Systems Security and Privacy, February 19-21, 2017, Porto, Portugal
Detail
Document
DOI
BIBTEX

Conférence

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

Formal specification and verification of security guidelines

PRDC 2017, IEEE Pacific Rim International Symposium on Dependable Computing, January 22-25, 2017, Christchurch, New Zealand
Detail
DOI
HAL
BIBTEX

Conférence

Zhioua, Zeineb; Roudier, Yves; Short, S; Boulifa Ameur, Rabea

Security guidelines: Requirements engineering for verifying code quality

ESPRE 2016, 3rd International Workshop on Evolving Security and Privacy Requirements Engineering, September 12th, 2016, Beijing, China, co-located with the 24th IEEE International Requirements Engineering Conference
Detail
Document
DOI
HAL
BIBTEX

Journal

Zhioua, Zeineb; Short, Stuart; Roudier, Yves

Towards the verification and validation of software security properties using static code analysis

Computer Science: Theory and Application, Volume 2, N°2, 2014, ISSN: 2336-0984

Detail
Document
BIBTEX

Conférence

Zhioua, Zeineb; Short, Stuart; Roudier, Yves

Static code analysis for software security verification: Problems and approaches

STPSA 2014, 9th IEEE International Workshop on Security, Trust and Privacy for Software Applications, in COMPSAC 2014, 21-25 July 2014, Västerås, Sweden
Detail
Document
DOI
BIBTEX