1. AMEUR Rabea
  2. AMEUR Rabea
print

AMEUR Rabea

<span>AMEUR Rabea</span>
  • AMEUR Rabea
  • EURECOM - Télécom ParisTech Soc
  • rabea.ameur@eurecom.fr
  • +33493008401
  • 463

My Eurecom publications

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

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

Conférence

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