Estimation Process of Performance Constraints during the design of Real-Time & Embedded Systems - Ramón Puigjaner; Abdelmalek Benzekri; Sandra Ayache (CAiSE, 1993)

From Annotated LOTOS Specifications to Queueing Networks: Automating Performance Models Derivation. - Omar Hjiej; Abdelmalek Benzekri; Alberto Valderruten (Decentralized and Distributed Systems, 1993)

A Z-based Approach to Specifying and Analyzing Complex Systems. - Jean-Michel Bruel; Robert B. France; Abdelmalek Benzekri (ICECCS, 1996)

Evaluation and Improvement of Software Products and Processes based on Measurement. - F. Maurice; Abdelmalek Benzekri; Yves Raynaud (HASE, 1997)

Introducing Rigorous Metrics Specification and Verification into a Measurement Program. - F. Maurice; Abdelmalek Benzekri; Yves Raynaud (IEEE METRICS, 1997)

Real-Time Network Applications Programming. - Abdelmalek Benzekri; P. Sarafoglu (Parallel Distributed Comput. Pract., 1999)

Learner and Course Interoperability in a Web Based Training Model. - Rima Abdallah; Abdelmalek Benzekri; Ali El-Hajj; Ibrahim Moukarzel (Information Technology in Educational Management, 2002)

Wireless set: an approach for the deployment of set over WAP mobile networks. - Alia Fourati; Hella Kaffel Ben Ayed; Farouk Kamoun; Abdelmalek Benzekri (Net-Con, 2002)

A SET Based Approach to Secure the Payment in Mobile Commerce. - Alia Fourati; Hella Kaffel Ben Ayed; Farouk Kamoun; Abdelmalek Benzekri (LCN, 2002)

A Multi-Domain Security Policy Distribution Architecture for Dynamic IP Based VPN Management. - François Barrère; Abdelmalek Benzekri; Frédéric Grasset; Romain Laborde (POLICY, 2002)

SPIDERNet: the Security Policy Derivation for Networks Tool. - François Barrère; Abdelmalek Benzekri; Frédéric Grasset; Romain Laborde; Bassem Nasser (LANOMS, 2003)

Inter-Domains policy negociation. - François Barrère; Abdelmalek Benzekri; Frédéric Grasset; Romain Laborde; Bassem Nasser (POLICY, 2003)

A Software Performance Evaluation Approach Using Stochastic Process Algebra Tools. - Abdelmalek Benzekri; Osman Salem (Software Engineering Research and Practice, 2003)

Network Security Management: A Formal Evaluation Tool Based on RBAC Policies. - Romain Laborde; Bassem Nasser; Frédéric Grasset; François Barrère; Abdelmalek Benzekri (Net-Con, 2004)

An Algebraic Model of an Adaptive Extension of DiffServ for MANETs. - Osman Salem; Abdelmalek Benzekri (Net-Con, 2004)

Security issues of m-commerce over hotspot networks. - Alia Fourati; Hella Kaffel Ben Ayed; Farouk Kamoun; Abdelmalek Benzekri (WCNC, 2004)

A Formal Approach for the Evaluation of Network Security Mechanisms Based on RBAC Policies. - Romain Laborde; Bassem Nasser; Frédéric Grasset; François Barrère; Abdelmalek Benzekri (WISP@ICATPN, 2004)

Dynamic Creation of Inter-Organizational Grid Virtual Organizations. - Bassem Nasser; Romain Laborde; Abdelmalek Benzekri; François Barrère; Michel Kamel (e-Science, 2005)

Access Control Model for Grid Virtual Organizations. - Bassem Nasser; Abdelmalek Benzekri; Romain Laborde; Frédéric Grasset; François Barrère (ICEIS (3), 2005)

A Security Management Information Model Derivation Framework: From Goals to Configurations. - Romain Laborde; François Barrère; Abdelmalek Benzekri (Formal Aspects in Security and Trust, 2005)

A formal framework (Expression + Analysis) for network security. - Romain Laborde; François Barrère; Abdelmalek Benzekri (NCA, 2005)

Access Control Model for Inter-organizational Grid Virtual Organizations. - Bassem Nasser; Romain Laborde; Abdelmalek Benzekri; François Barrère; Michel Kamel (OTM Workshops, 2005)

Towards Absolute End-to-End QoS in Ad Hoc Networks. - Osman Salem; Abdelmalek Benzekri (AICT/ICIW, 2006)

Automated Creation of Inter-organizational Grid Virtual Organizations. - Bassem Nasser; François Barrère; Abdelmalek Benzekri; Romain Laborde; Michel Kamel (NOMS, 2006)

Network security policy refinement process: Expression and analysis. - Romain Laborde; François Barrère; Abdelmalek Benzekri (J. High Speed Networks, 2006)

A secure collaborative web based environment for virtual organizations. - Romain Laborde; Michel Kamel; François Barrère; Abdelmalek Benzekri (ICDIM, 2007)

Implementation of a Formal Security Policy Refinement Process in WBEM Architecture. - Romain Laborde; Michel Kamel; François Barrère; Abdelmalek Benzekri (J. Netw. Syst. Manag., 2007)

A best practices-oriented approach for establishing trust chains within Virtual Organisations. - Michel Kamel; Romain Laborde; Abdelmalek Benzekri; François Barrère (EDOCW, 2008)

The X.509 certificate quality. - Ahmad Samer Wazan; Romain Laborde; François Barrère; Abdelmalek Benzekri (ICDIM, 2008)

Validating X.509 Certificates Based on their Quality. - Ahmad Samer Wazan; Romain Laborde; François Barrère; Abdelmalek Benzekri (ICYCS, 2008)

PEP = Point to Enhance Particularly. - Romain Laborde; Michel Kamel; François Barrère; Abdelmalek Benzekri (POLICY, 2008)

Authentication in Virtual Organizations: A Reputation Based PKI Interconnection Model. - Ahmad Samer Wazan; Romain Laborde; François Barrère; Abdelmalek Benzekri (SVM, 2008)

A trust-based virtual collaborative environment. - Michel Kamel; Romain Laborde; François Barrère; Abdelmalek Benzekri (J. Digit. Inf. Manag., 2008)

An organizational pattern for contributing to the deployment of secure Virtual Enterprises. - Michel Kamel; Romain Laborde; François Barrère; Abdelmalek Benzekri (Security and Management, 2009)

Which Web Browsers Process SSL Certificates in a Standardized Way? - Ahmad Samer Wazan; Romain Laborde; David W. Chadwick; François Barrère; Abdelmalek Benzekri (SEC, 2009)

An Extensible XACML Authorization Web Service: Application to Dynamic Web Sites Access Control. - Romain Laborde; Marwan Cheaito; François Barrère; Abdelmalek Benzekri (SITIS, 2009)

A secure collaborative web-based environment for virtual organisations. - Romain Laborde; Michel Kamel; Ahmad Samer Wazan; François Barrère; Abdelmalek Benzekri (Int. J. Web Based Communities, 2009)

A deployment framework for self-contained policies. - Marwan Cheaito; Romain Laborde; François Barrère; Abdelmalek Benzekri (CNSM, 2010)

Toward Self-Contained Authorization Policies. - Romain Laborde; Marwan Cheaito; François Barrère; Abdelmalek Benzekri (POLICY, 2010)

A Generic Data Flow Security Model. - Hicham El Khoury; Romain Laborde; François Barrère; Abdelmalek Benzekri; Maroun Chamoun (SafeConfig, 2011)

A formal model of trust for calculating the quality of X.509 certificate. - Ahmad Samer Wazan; Romain Laborde; François Barrère; Abdelmalek Benzekri (Secur. Commun. Networks, 2011)

The X.509 trust model needs a technical and legal expert. - Ahmad Samer Wazan; Romain Laborde; François Barrère; Abdelmalek Benzekri (ICC, 2012)

A specification method for analyzing fine grained network security mechanism configurations. - Hicham El Khoury; Romain Laborde; François Barrère; Abdelmalek Benzekri; Maroun Chamoun (CNS, 2013)

PKI Interoperability: Still an Issue? A Solution in the X.509 Realm. - Ahmad Samer Wazan; Romain Laborde; François Barrère; Abdelmalek Benzekri; David W. Chadwick (World Conference on Information Security Education, 2013)

Toward authorization as a service: a study of the XACML standard. - Romain Laborde; François Barrère; Abdelmalek Benzekri (SpringSim (CNS), 2013)

An Adaptive XACMLv3 Policy Enforcement Point. - Romain Laborde; Bashar Kabbani; François Barrère; Abdelmalek Benzekri (COMPSAC Workshops, 2014)

Specification and Enforcement of Dynamic Authorization Policies Oriented by Situations. - Bashar Kabbani; Romain Laborde; François Barrère; Abdelmalek Benzekri (NTMS, 2014)

A data flow-oriented specification method for analysing network security configurations. - Hicham El Khoury; Romain Laborde; François Barrère; Abdelmalek Benzekri; Maroun Chamoun (Int. J. Internet Protoc. Technol., 2014)

G-Cloud on Openstack: Adressing access control and regulation requirements. - Ibrahim Yonis Omar; Romain Laborde; Ahmad Samer Wazan; François Barrère; Abdelmalek Benzekri (ISNCC, 2015)

A Recommender-Based System for Assisting Non-technical Users in Managing Android Permissions. - Arnaud Oglaza; Romain Laborde; Abdelmalek Benzekri; François Barrère (ARES, 2016)

Difficulties to enforce your privacy preferences on Android? Kapuer will help you. - Arnaud Oglaza; Romain Laborde; Pascale Zaraté; Abdelmalek Benzekri; François Barrère (CCNC, 2016)

Towards the Weaving of the Characteristics of Good Security Requirements. - Sravani Teja Bulusu; Romain Laborde; Ahmad Samer Wazan; François Barrère; Abdelmalek Benzekri (CRiSIS, 2016)

How Can I Trust an X.509 Certificate? An Analysis of the Existing Trust Approaches. - Ahmad Samer Wazan; Romain Laborde; David W. Chadwick; François Barrère; Abdelmalek Benzekri (LCN, 2016)

Which Security Requirements Engineering Methodology Should I Choose?: Towards a Requirements Engineering-based Evaluation Approach. - Sravani Teja Bulusu; Romain Laborde; Ahmad Samer Wazan; François Barrère; Abdelmalek Benzekri (ARES, 2017)

TLS Connection Validation by Web Browsers: Why do Web Browsers Still Not Agree? - Ahmad Samer Wazan; Romain Laborde; David W. Chadwick; François Barrère; Abdelmalek Benzekri (COMPSAC (1), 2017)

Describing advanced persistent threats using a multi-agent system approach. - Sravani Teja Bulusu; Romain Laborde; Ahmad Samer Wazan; François Barrère; Abdelmalek Benzekri (CSNet, 2017)

dynSMAUG: A dynamic security management framework driven by situations. - Romain Laborde; Arnaud Oglaza; François Barrère; Abdelmalek Benzekri (CSNet, 2017)

A new approach for managing Android permissions: learning users' preferences. - Arnaud Oglaza; Romain Laborde; Pascale Zaraté; Abdelmalek Benzekri; François Barrère (EURASIP J. Inf. Secur., 2017)

Trust Management for Public Key Infrastructures: Implementing the X.509 Trust Broker. - Ahmad Samer Wazan; Romain Laborde; David W. Chadwick; François Barrère; Abdelmalek Benzekri; Mustafa Kaiiali; Adib Habbal (Secur. Commun. Networks, 2017)

Applying a requirement engineering based approach to evaluate the security requirements engineering methodologies. - Sravani Teja Bulusu; Romain Laborde; Ahmad Samer Wazan; François Barrère; Abdelmalek Benzekri (SAC, 2018)

Dynamic security management driven by situations: An exploratory analysis of logs for the identification of security situations. - Abdelmalek Benzekri; Romain Laborde; Arnaud Oglaza; Darine Rammal; François Barrère (CSNet, 2019)

Logic-based methodology to help security architects in eliciting high-level network security requirements. - Romain Laborde; Sravani Teja Bulusu; Ahmad Samer Wazan; François Barrère; Abdelmalek Benzekri (SAC, 2019)

A situation-driven framework for dynamic security management. - Romain Laborde; Arnaud Oglaza; Ahmad Samer Wazan; François Barrère; Abdelmalek Benzekri (Ann. des Télécommunications, 2019)

Know Your Customer: Opening a new bank account online using UAAF. - Romain Laborde; Arnaud Oglaza; Ahmad Samer Wazan; François Barrère; Abdelmalek Benzekri; David W. Chadwick; Rémi Venant (CCNC, 2020)

A User-Centric Identity Management Framework based on the W3C Verifiable Credentials and the FIDO Universal Authentication Framework. - Romain Laborde; Arnaud Oglaza; Ahmad Samer Wazan; François Barrère; Abdelmalek Benzekri; David W. Chadwick; Rémi Venant (CCNC, 2020)

Detecting abnormal DNS traffic using unsupervised machine learning. - Thi Quynh Nguyen; Romain Laborde; Abdelmalek Benzekri; Bruno Qu'hen (CSNet, 2020)

RootAsRole: Towards a Secure Alternative to sudo/su Commands for Home Users and SME Administrators. - Ahmad Samer Wazan; David W. Chadwick; Rémi Venant; Romain Laborde; Abdelmalek Benzekri (SEC, 2021)

A Methodological Approach to Evaluate Security Requirements Engineering Methodologies: Application to the IREHDO2 Project Context. - Romain Laborde; Sravani Teja Bulusu; Ahmad Samer Wazan; Arnaud Oglaza; Abdelmalek Benzekri (J. Cybersecur. Priv., 2021)

Governance Foundations for the European Cybersecurity Community. - Afonso Ferreira; Christina von Wintzingerode; Dirk Müllmann; Abdelmalek Benzekri; Pierre-Henri Cros; Indra Spiecker genannt Döhmann; Elvire Prochilo (CyberSec4Europe, 2022)

On the Validation of Web X.509 Certificates by TLS Interception Products. - Ahmad Samer Wazan; Romain Laborde; David W. Chadwick; Rémi Venant; Abdelmalek Benzekri; Eddie Billoir; Omar Alfandi (IEEE Trans. Dependable Secur. Comput., 2022)

The Interplay Between Policy and Technology in Metaverses: Towards Seamless Avatar Interoperability Using Self-Sovereign Identity. - Romain Laborde; Afonso Ferreira; Cristian Lepore; Mohamed Ali Kandi; Michelle Sibilla; Abdelmalek Benzekri (MetaCom, 2023)

Towards Reliable Collaborative Data Processing Ecosystems: Survey on Data Quality Criteria. - Louis Fortune Sahi; Romain Laborde; Mohamed Ali Kandi; Michelle Sibilla; Giorgia Macilotti; Benzekri Abdelmalek; Afonso Ferreira (TrustCom, 2023)

A SLAHP in the Face of DLL Search Order Hijacking. - Antonin Verdier; Romain Laborde; Mohamed Ali Kandi; Abdelmalek Benzekri (UbiSec, 2023)

Enhancing Secure Deployment with Ansible: A Focus on Least Privilege and Automation for Linux. - Eddie Billoir; Romain Laborde; Ahmad Samer Wazan; Yves Rütschlé; Abdelmalek Benzekri (ARES, 2024)

Article 45 of the eIDAS Directive Unveils the need to implement the X.509 4-cornered trust model for the WebPKI. - Ahmad Samer Wazan; Romain Laborde; Abdelmalek Benzekri; Muhammad Imran Taj 001 (ARES, 2024)

Identity Management in Cross-Cloud Environments: Towards Self-sovereign Identities Using Current Solutions. - Mohamed Amine Ben Haj Salah; Romain Laborde; Abdelmalek Benzekri; Mohamed Ali Kandi; Afonso Ferreira (CRiSIS, 2024)

DID U Misbehave? A New Dataset for In-Depth Understanding of Inconspicuous Software. - Antonin Verdier; Romain Laborde; Abir Laraba; Abdelmalek Benzekri (CSNet, 2024)

Implementing the principle of least administrative privilege on operating systems: challenges and perspectives. - Eddie Billoir; Romain Laborde; Ahmad Samer Wazan; Yves Rütschlé; Abdelmalek Benzekri (Ann. des Télécommunications, 2024)

Game of Zones: An Automated Intent-Based Network Micro-segmentation Methodology. - Daniele Canavese; Romain Laborde; Abir Laraba; Afonso Ferreira; Abdelmalek Benzekri (NOMS, 2025)

AutoRoC-DBSCAN: automatic tuning of DBSCAN to detect malicious DNS tunnels. - Thi Quynh Nguyen; Romain Laborde; Abdelmalek Benzekri; Arnaud Oglaza; Mehdi Mounsif (Ann. des Télécommunications, 2025)