Zeineb Zhioua

Publication Activity (10 Years)

Years Active: 2014-2017
Publications (10 Years): 4

Top Topics

Specification Languages

Information Flows

Formal Specification

Object Oriented Design

Top Venues

COMPSAC Workshops

Publications

Zeineb Zhioua, Yves Roudier, Rabéa Ameur-Boulifa
Formal Specification and Verification of Security Guidelines. PRDC (2017)
Zeineb Zhioua, Yves Roudier, Rabéa Ameur-Boulifa, Takoua Kechiche, Stuart Short
Tracking Dependent Information Flows. ICISSP (2017)
Zeineb Zhioua, Yves Roudier, Rabéa Ameur-Boulifa
Formal specification of security guidelines for program certification. TASE (2017)
Zeineb Zhioua, Yves Roudier, Stuart Short, Rabéa Ameur-Boulifa
Security Guidelines: Requirements Engineering for Verifying Code Quality. RE Workshops (2016)
Zeineb Zhioua, Stuart Short, Yves Roudier
Static Code Analysis for Software Security Verification: Problems and Approaches. COMPSAC Workshops (2014)