Hiba Hnaini

According to our database, Hiba Hnaini authored at least 5 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Enhancing security requirements specification with SECRET-SCORE: A template-driven and ontology-based approach.

Hiba Hnaini, Raúl Mazo, Paola Vallejo, Andrés López, Joël Champeau

Comput. Secur., 2025

Openflexo as a Model Management Platform for the MoM 2025 Satellite Configuration Challenge.

Hiba Hnaini, Chahrazed Boudjemila, Sylvain Guérin

Proceedings of the 28th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2025

2024

Vers un cadre unificateur pour la spécification, formalisation et l'analyse d'exigences de sécurité. (Towards a unifying framework for the specification, formalization and analysis of secure hardware and software architectures).

Hiba Hnaini

PhD thesis, 2024

E-SCORE: A web-based tool for security requirements engineering.

Hiba Hnaini, Raúl Mazo, Joël Champeau, Paola Vallejo, José A. Galindo

SoftwareX, 2024

2021

Security Property Modeling.

Hiba Hnaini, Luka Le Roux, Joël Champeau, Ciprian Teodorov

Proceedings of the 7th International Conference on Information Systems Security and Privacy, 2021