print

Conference

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

Conference

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

Conference

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

Conference

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

Conference

Lugou, Florian; Li, Letitia W; Apvrille, Ludovic; Ameur, Rabea

SysML models and model transformation for security

MODELSWARD 2016, Conference on Model-Driven Engineering and Software Development, 19-21 February 2016, Rome, Italy
Detail
Document
HAL
BIBTEX