Towards Systematic Analysis of Theorem Provers Search Spaces: First Steps. - Hicham Bensaid; Ricardo Caferra; Nicolas Peltier (WoLLIC, 2007)

Dei: A Theorem Prover for Terms with Integer Exponents. - Hicham Bensaid; Ricardo Caferra; Nicolas Peltier (CADE, 2009)

I-Terms in Ordered Resolution and Superposition Calculi: Retrieving Lost Completeness. - Hicham Bensaid; Ricardo Caferra; Nicolas Peltier (AISC/MKM/Calculemus, 2010)

Perfect Discrimination Graphs: Indexing Terms with Integer Exponents. - Hicham Bensaid; Ricardo Caferra; Nicolas Peltier (IJCAR, 2010)

Utilisation des schématisations de termes en déduction automatique. (Using term schematisations in automated deduction). - Hicham Bensaid (2011)

A Complete Superposition Calculus for Primal Grammars. - Hicham Bensaid; Nicolas Peltier (J. Autom. Reason., 2014)

Scoring reputation in online social networks. - Mouna El Marrakchi; Hicham Bensaid; Mostafa Bellafkih (SITA, 2015)

Towards a unified approach for modeling and analysis of real-time Embedded systems using MARTE/UML. - Abdelmouttalib Maqil; Abdeslam En-Nouaary; Hicham Bensaid (Int. J. Comput. Sci. Appl., 2015)

A Formal Model for WebRTC Signaling Using SDL. - Asma El Hamzaoui; Hicham Bensaid; Abdeslam En-Nouaary (NETYS, 2016)

Intelligent reputation scoring in social networks: Use case of brands of smartphones. - Mouna El Marrakchi; Hicham Bensaid; Mostafa Bellafkih (SITA, 2016)

On Formal Modeling and Validation of Signaling Protocols for Web Real-Time Communications using SDL. - Asma El Hamzaoui; Abdeslam En-Nouaary; Hicham Bensaid (ANT/SEIT, 2018)

A New Signaling Topology for Multiparty Web Real-time Video Conference Networks. - Asma El Hamzaoui; Hicham Bensaid; Abdeslam En-Nouaary (SITA, 2018)

Formal Verification of Confidentiality in DNSSEC and E-DNSSEC Protocols using pi-calculus and ProVerif. - Kaouthar Chetioui; Ghizlane Orhanou; Hicham Bensaid; Ilias Cherkaoui; Youness Chibi (EUSPN/ICTH, 2019)

Information Systems Risk Management: Litterature Review. - Soumaya Amraoui; Mina Elmaallam; Hicham Bensaid; Abdelaziz Kriouile (Comput. Inf. Sci., 2019)

A Maturity Model for Assessing IS Risk Management Activity Considering the Dependencies Between Its Elements. - Mina Elmaallam; Hicham Bensaid; Abdelaziz Kriouile (Comput. Inf. Sci., 2019)

Model Checking of WebRTC Peer to Peer System. - Asma El Hamzaoui; Hicham Bensaid; Abdeslam En-Nouaary (Comput. Inf. Sci., 2019)

Enhancing Ransomware Detection: A Registry Analysis-Based Approach. - Khalid Zirari; Hamza Kamal Idrissi; Ahmed El-Yahyaoui; Hicham Bensaid; Abdeslam En-Nouaary (FiCloud, 2023)

Deciphering Ransomware: Strategic API Usage and Behavioral Patterns for Advanced Detection Techniques. - Khalid Zirari; Hamza Kamal Idrissi; Ahmed El-Yahyaoui; Hicham Bensaid; Abdeslam En-Nouaary (Int. J. Interact. Mob. Technol., 2025)