Hicham Bensaid

17 papers A 2C 1Journal 6Unranked 7
YearRankTypeTitle / Venue / Authors
2025 J jnl
Deciphering Ransomware: Strategic API Usage and Behavioral Patterns for Advanced Detection Techniques.
Int. J. Interact. Mob. Technol.
Khalid Zirari, Hamza Kamal Idrissi, Ahmed El-Yahyaoui, Hicham Bensaid, Abdeslam En-Nouaary
2023 — conf
Enhancing Ransomware Detection: A Registry Analysis-Based Approach.
FiCloud
Khalid Zirari, Hamza Kamal Idrissi, Ahmed El-Yahyaoui, Hicham Bensaid, Abdeslam En-Nouaary
2019 J jnl
A Maturity Model for Assessing IS Risk Management Activity Considering the Dependencies Between Its Elements.
Comput. Inf. Sci.
Mina Elmaallam, Hicham Bensaid, Abdelaziz Kriouile
2019 — conf
Formal Verification of Confidentiality in DNSSEC and E-DNSSEC Protocols using pi-calculus and ProVerif.
EUSPN/ICTH
Kaouthar Chetioui, Ghizlane Orhanou, Hicham Bensaid, Ilias Cherkaoui, Youness Chibi
2019 J jnl
Information Systems Risk Management: Litterature Review.
Comput. Inf. Sci.
Soumaya Amraoui, Mina Elmaallam, Hicham Bensaid, Abdelaziz Kriouile
2019 J jnl
Model Checking of WebRTC Peer to Peer System.
Comput. Inf. Sci.
Asma El Hamzaoui, Hicham Bensaid, Abdeslam En-Nouaary
2018 — conf
A New Signaling Topology for Multiparty Web Real-time Video Conference Networks.
SITA
Asma El Hamzaoui, Hicham Bensaid, Abdeslam En-Nouaary
2018 — conf
On Formal Modeling and Validation of Signaling Protocols for Web Real-Time Communications using SDL.
ANT/SEIT
Asma El Hamzaoui, Abdeslam En-Nouaary, Hicham Bensaid
2016 — conf
A Formal Model for WebRTC Signaling Using SDL.
NETYS
Asma El Hamzaoui, Hicham Bensaid, Abdeslam En-Nouaary
2016 — conf
Intelligent reputation scoring in social networks: Use case of brands of smartphones.
SITA
Mouna El Marrakchi, Hicham Bensaid, Mostafa Bellafkih
2015 — conf
Scoring reputation in online social networks.
SITA
Mouna El Marrakchi, Hicham Bensaid, Mostafa Bellafkih
2015 J jnl
Towards a unified approach for modeling and analysis of real-time Embedded systems using MARTE/UML.
Int. J. Comput. Sci. Appl.
Abdelmouttalib Maqil, Abdeslam En-Nouaary, Hicham Bensaid
2014 J jnl
A Complete Superposition Calculus for Primal Grammars.
J. Autom. Reason.
Hicham Bensaid, Nicolas Peltier
2011 — —
Utilisation des schématisations de termes en déduction automatique. (Using term schematisations in automated deduction).
Hicham Bensaid
2010 A conf
Perfect Discrimination Graphs: Indexing Terms with Integer Exponents.
IJCAR
Hicham Bensaid, Ricardo Caferra, Nicolas Peltier
2009 A conf
Dei: A Theorem Prover for Terms with Integer Exponents.
CADE
Hicham Bensaid, Ricardo Caferra, Nicolas Peltier
2007 C conf
Towards Systematic Analysis of Theorem Provers Search Spaces: First Steps.
WoLLIC
Hicham Bensaid, Ricardo Caferra, Nicolas Peltier