The transformation approach to the modeling and evaluation of the reliability and availability growth. - Jean-Claude Laprie; Christian Béounes; Mohamed Kaâniche; Karama Kanoun (FTCS, 1990)

The KAT (Knowledge-Action-Transformation) Approach to the Modeling and Evaluation of Reliability and Availability Growth. - Jean-Claude Laprie; Karama Kanoun; Christian Béounes; Mohamed Kaâniche (IEEE Trans. Software Eng., 1991)

The discrete time hyperexponential model for software reliability growth evaluation. - Mohamed Kaâniche; Karama Kanoun (ISSRE, 1992)

Modèle hyperexponentiel en temps continu et en temps discret pour l'évaluation de la croissance de la sûreté de fonctionnement. - Mohamed Kaâniche (1992)

SoRel: A Tool for Reliability Growth Analysis and Prediction From Statistical Failure Data. - Karama Kanoun; Mohamed Kaâniche; Jean-Claude Laprie; Sylvain Metge (FTCS, 1993)

Experience in software reliability: From data collection to quantitative evaluation. - Karama Kanoun; Mohamed Kaâniche; Jean-Claude Laprie (ISSRE, 1993)

Software Failure Data Analysis of two Successive Generations of a Switching System. - Mohamed Kaâniche; Karama Kanoun (SAFECOMP, 1993)

Software Reliability Analysis of Three Successive Generations of a Switching System. - Mohamed Kaâniche; Karama Kanoun; Michel Cukier; Marta Rettelbusch de Bastos Martini (EDCC, 1994)

Modeling computer systems evolutions: non-stationary processes and stochastic Petri nets-application to dependability growth. - Jean-Claude Laprie; Mohamed Kaâniche; Karama Kanoun (PNPM, 1995)

Reliability of a commercial telecommunications system. - Mohamed Kaâniche; Karama Kanoun (ISSRE, 1996)

Safety Analysis and Evaluation of an Air Traffic Control Computing System. - Nicolae Fota; Mohamed Kaâniche; Karama Kanoun; Alain Peytavin (SAFECOMP, 1996)

Models and tools for quantitative assessment of operational security. - Marc Dacier; Yves Deswarte; Mohamed Kaâniche (SEC, 1996)

Qualitative and Quantitative Reliability Assessment. - Karama Kanoun; Mohamed Kaâniche; Jean-Claude Laprie (IEEE Softw., 1997)

A Hierarchical Approach for Dependability Analysis of a Commercial Cache-Based RAID Storage Architecture. - Mohamed Kaâniche; Luigi Romano; Zbigniew Kalbarczyk; Ravishankar K. Iyer; Richard M. Karcich (FTCS, 1998)

Evaluation de la sûreté de fonctionnement informatique. Fautes physiques, fautes de conception, malveillances. - Mohamed Kaâniche (1999)

SQUALE Dependability Assessment Criteria. - Yves Deswarte; Mohamed Kaâniche; Pierre Corneillie; John Goodson (SAFECOMP, 1999)

Dependability Evaluation of an Air Traffic Control Computing System. - Nicolae Fota; Mohamed Kaâniche; Karama Kanoun (Perform. Evaluation, 1999)

Experimenting with Quantitative Evaluation Tools for Monitoring Operational Security. - Rodolphe Ortalo; Yves Deswarte; Mohamed Kaâniche (IEEE Trans. Software Eng., 1999)

Dependability Engineering of Complex Computing Systems. - Mohamed Kaâniche; Jean-Claude Laprie; Jean-Paul Blanquart (ICECCS, 2000)

A Dependability-Explicit Model for the Development of Computing Systems. - Mohamed Kaâniche; Jean-Claude Laprie; Jean-Paul Blanquart (SAFECOMP, 2000)

A framework for modeling availability of E-business systems. - Mohamed Kaâniche; Karama Kanoun; Mourad Rabah (ICCCN, 2001)

Measurement-Based Availability of Unix Systems in a Distributed Environment. - Cristina Simache; Mohamed Kaâniche (ISSRE, 2001)

An Investigation on Mutation Strategies for Fault Injection into RDD-100 Models. - Mohamed Kaâniche; Yannick Le Guédart; Jean Arlat; Thierry Boyer (SAFECOMP, 2001)

Event Log based Dependability Analysis of Windows NT and 2K Systems. - Cristina Simache; Mohamed Kaâniche; Ayda Saïdane (PRDC, 2002)

A User-Perceived Availability Evaluation of a Web Based Travel Agency. - Mohamed Kaâniche; Karama Kanoun; Magnos Martinello (DSN, 2003)

Web Service Availability - Impact of Error Recovery. - Magnos Martinello; Mohamed Kaâniche; Karama Kanoun (SAFECOMP, 2003)

Multi-level modeling approach for the availability assessment of e-business applications. - Mohamed Kaâniche; Karama Kanoun; Mourad Rabah (Softw. Pract. Exp., 2003)

Availability Assessment of SunOS/Solaris Unix Systems based on Syslogd and wtmpx log files: A case study. - Cristina Simache; Mohamed Kaâniche (PRDC, 2005)

Web service availability - impact of error recovery and traffic model. - Magnos Martinello; Mohamed Kaâniche; Karama Kanoun (Reliab. Eng. Syst. Saf., 2005)

Lessons learned from the deployment of a high-interaction honeypot. - Eric Alata; Vincent Nicomette; Mohamed Kaâniche; Marc Dacier; Matthieu Herrb (EDCC, 2006)

A System Dependability Modeling Framework Using AADL and GSPNs. - Ana-Elena Rugina; Karama Kanoun; Mohamed Kaâniche (WADS, 2006)

Modeling user perceived unavailability due to long response times. - Magnos Martinello; Mohamed Kaâniche; Karama Kanoun; Carlos Aguilar Melchor (IPDPS, 2006)

Access Control for Collaborative Systems: A Web Services Based Approach. - Anas Abou El Kalam; Yves Deswarte; Amine Baïna; Mohamed Kaâniche (ICWS, 2007)

Dependability Evaluation of Cooperative Backup Strategies for Mobile Devices. - Ludovic Courtès; Ossama Hamouda; Mohamed Kaâniche; Marc-Olivier Killijian; David Powell (PRDC, 2007)

Modelling Interdependencies Between the Electricity and Information Infrastructures. - Jean-Claude Laprie; Karama Kanoun; Mohamed Kaâniche (SAFECOMP, 2007)

Availability assessment of SunOS/Solaris Unix Systems based on Syslogd and wtmpx logfiles : a case study - Cristina Simache; Mohamed Kaâniche (CoRR, 2007)

Empirical analysis and statistical modeling of attack processes based on honeypots - Mohamed Kaâniche; Yves Deswarte; Eric Alata; Marc Dacier; Vincent Nicomette (CoRR, 2007)

An architecture-based dependability modeling framework using AADL - Ana-Elena Rugina; Karama Kanoun; Mohamed Kaâniche (CoRR, 2007)

Access control for cooperative systems: A comparative analysis. - Amine Baïna; Yves Deswarte; Anas Abou El Kalam; Mohamed Kaâniche (CRiSIS, 2008)

Multi-level Dependability Modeling of Interdependencies between the Electricity and Information Infrastructures. - Marco Beccuti; Giuliana Franceschinis; Mohamed Kaâniche; Karama Kanoun (CRITIS, 2008)

The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation. - Ana-Elena Rugina; Karama Kanoun; Mohamed Kaâniche (EDCC, 2008)

Collaborative Access Control For Critical Infrastructures. - Amine Baïna; Anas Abou El Kalam; Yves Deswarte; Mohamed Kaâniche (Critical Infrastructure Protection, 2008)

Dependability Evaluation of a Replication Service for Mobile Applications in Dynamic Ad-Hoc Networks. - Erling Vestergaard Matthiesen; Ossama Hamouda; Mohamed Kaâniche; Hans-Peter Schwefel (ISAS, 2008)

Software dependability modeling using an industry-standard architecture description language - Ana-Elena Rugina; Peter H. Feiler; Karama Kanoun; Mohamed Kaâniche (CoRR, 2008)

Internet attacks monitoring with dynamic connection redirection mechanisms. - Eric Alata; Ion Alberdi; Vincent Nicomette; Philippe Owezarski; Mohamed Kaâniche (J. Comput. Virol., 2008)

Safety modeling and evaluation of Automated Highway Systems. - Ossama Hamouda; Mohamed Kaâniche; Karama Kanoun (DSN, 2009)

PolyOrBAC: A security framework for Critical Infrastructures. - Anas Abou El Kalam; Yves Deswarte; Amine Baïna; Mohamed Kaâniche (Int. J. Crit. Infrastructure Prot., 2009)

Modélisation de la sreté de fonctionnement basée sur le langage AADL et les RdPSG. - Ana-Elena Rugina; Karama Kanoun; Mohamed Kaâniche (Tech. Sci. Informatiques, 2009)

Availability modelling of a virtual black box for automotive systems. - Ossama Hamouda; Mohamed Kaâniche; Karama Kanoun (SERENE, 2010)

Une analyse empirique du comportement d'attaquants. Expérimentations et résultats. - Vincent Nicomette; Mohamed Kaâniche; Eric Alata; Matthieu Herrb (Tech. Sci. Informatiques, 2010)

Operational reliability of an aircraft with adaptive missions. - Kossi Tiassou; Karama Kanoun; Mohamed Kaâniche; Christel Seguin; Chris Papadopoulos (EWDC, 2011)

A Clustering Approach for Web Vulnerabilities Detection. - Anthony Dessiatnikoff; Rim Akrout; Eric Alata; Mohamed Kaâniche; Vincent Nicomette (PRDC, 2011)

Modeling Aircraft Operational Reliability. - Kossi Tiassou; Karama Kanoun; Mohamed Kaâniche; Christel Seguin; Chris Papadopoulos (SAFECOMP, 2011)

It All Depends, and Increasingly So. - Mohamed Kaâniche; Aad P. A. van Moorsel (IEEE Secur. Priv., 2011)

The HIDENETS Holistic Approach for the Analysis of Large Critical Mobile Systems. - Andrea Bondavalli; Ossama Hamouda; Mohamed Kaâniche; Paolo Lollini; István Majzik; Hans-Peter Schwefel (IEEE Trans. Mob. Comput., 2011)

Set-up and deployment of a high-interaction honeypot: experiment and lessons learned. - Vincent Nicomette; Mohamed Kaâniche; Eric Alata; Matthieu Herrb (J. Comput. Virol., 2011)

Detecting attacks against data in web applications. - Romaric Ludinard; Eric Totel; Frederic Tronel; Vincent Nicomette; Mohamed Kaâniche; Eric Alata; Rim Akrout; Yann Bachy (CRiSIS, 2012)

Security-related vulnerability life cycle analysis. - Géraldine Vache Marconato; Vincent Nicomette; Mohamed Kaâniche (CRiSIS, 2012)

A distributed platform of high interaction honeypots and experimental results. - Ivan Studnia; Vincent Nicomette; Mohamed Kaâniche; Eric Alata (PST, 2012)

Impact of Operational Reliability Re-assessment during Aircraft Missions. - Kossi Tiassou; Karama Kanoun; Mohamed Kaâniche; Christel Seguin; Chris Papadopoulos (SRDS, 2012)

Critical Utility Infrastructural Resilience - Giovanna Dondossola; Geert Deconinck; Felicita Di Giandomenico; Susanna Donatelli; Mohamed Kaâniche; Paulo Veríssimo (CoRR, 2012)

Modeling the resilience of large and evolving systems - Mohamed Kaâniche; Paolo Lollini; Andrea Bondavalli; Karama Kanoun (CoRR, 2012)

Message from the special issue editors. - Luiz Eduardo Buzato; Elias P. Duarte Jr.; Mohamed Kaâniche (J. Braz. Comput. Soc., 2012)

2nd workshop on open resilient human-aware cyber-physical systems. - Mohamed Kaâniche; Michael D. Harrison; Hermann Kopetz; Daniel P. Siewiorek (DSN Workshops, 2013)

Survey on security threats and protection mechanisms in embedded automotive networks. - Ivan Studnia; Vincent Nicomette; Eric Alata; Yves Deswarte; Mohamed Kaâniche; Youssef Laarouchi (DSN Workshops, 2013)

Model-based safety analysis of human-robot interactions: The MIRAS walking assistance robot. - Jérémie Guiochet; Quynh Anh Do Hoang; Mohamed Kaâniche; David Powell (ICORR, 2013)

An Automated Approach to Generate Web Applications Attack Scenarios. - Eric Alata; Mohamed Kaâniche; Vincent Nicomette; Rim Akrout (LADC, 2013)

Security of embedded automotive networks: state of the art and a research proposal. - Ivan Studnia; Vincent Nicomette; Eric Alata; Yves Deswarte; Mohamed Kaâniche; Youssef Laarouchi (CARS@SAFECOMP, 2013)

A Vulnerability Life Cycle-Based Security Modeling and Evaluation Approach. - Géraldine Vache Marconato; Mohamed Kaâniche; Vincent Nicomette (Comput. J., 2013)

Engineering Resilient Systems: Models, Methods and Tools (Dagstuhl Seminar 13022). - Maritta Heisel; Mohamed Kaâniche; Alexander B. Romanovsky; Elena Troubitsyna (Dagstuhl Reports, 2013)

Aircraft operational reliability - A model-based approach and a case study. - Kossi Tiassou; Karama Kanoun; Mohamed Kaâniche; Christel Seguin; Chris Papadopoulos (Reliab. Eng. Syst. Saf., 2013)

Évaluation quantitative de la sécurité. Approche basée sur les vulnérabilités. - Géraldine Vache Marconato; Vincent Nicomette; Mohamed Kaâniche (Tech. Sci. Informatiques, 2013)

Towards resilient cyber-physical systems: The ADREAM project. - Jean Arlat; Michel Diaz; Mohamed Kaâniche (DTIS, 2014)

An Approach for the Automated Analysis of Network Access Controls in Cloud Computing Infrastructures. - Thibaut Probst; Eric Alata; Mohamed Kaâniche; Vincent Nicomette (NSS, 2014)

An Anomaly Detection Approach for Scale-Out Storage Systems. - Guthemberg Silvestre; Carla Sauvanaud; Mohamed Kaâniche; Karama Kanoun (SBAC-PAD, 2014)

An Invariant-Based Approach for Detecting Attacks Against Data in Web Applications. - Romaric Ludinard; Eric Totel; Frédéric Tronel; Vincent Nicomette; Mohamed Kaâniche; Eric Alata; Rim Akrout; Yann Bachy (Int. J. Secur. Softw. Eng., 2014)

La sécurité des box ADSL. Analyse de risques et expérimentations. - Yann Bachy; Vincent Nicomette; Eric Alata; Mohamed Kaâniche; Jean-Christophe Courrège (Ingénierie des Systèmes d Inf., 2014)

An automated black box approach for web vulnerability identification and attack scenario generation. - Rim Akrout; Eric Alata; Mohamed Kaâniche; Vincent Nicomette (J. Braz. Comput. Soc., 2014)

Identification de vulnérabilités web et génération de scénarios d'attaque. - Rim Akrout; Eric Alata; Mohamed Kaâniche; Vincent Nicomette (Tech. Sci. Informatiques, 2014)

Fiabilité de mission d'un avion. Évaluation stochastique en opération. - Kossi Tiassou; Karama Kanoun; Mohamed Kaâniche; Christel Seguin; Chris Papadopoulos (Tech. Sci. Informatiques, 2014)

Smart-TV Security Analysis: Practical Experiments. - Yann Bachy; Frederic Basse; Vincent Nicomette; Eric Alata; Mohamed Kaâniche; Jean-Christophe Courrège; Pierre Lukjanenko (DSN, 2015)

Security of ISP Access Networks: Practical Experiments. - Yann Bachy; Vincent Nicomette; Eric Alata; Mohamed Kaâniche; Jean-Christophe Courrège (EDCC, 2015)

Automated Evaluation of Network Intrusion Detection Systems in IaaS Clouds. - Thibaut Probst; Eric Alata; Mohamed Kaâniche; Vincent Nicomette (EDCC, 2015)

Data Stream Clustering for Online Anomaly Detection in Cloud Applications. - Carla Sauvanaud; Guthemberg Silvestre; Mohamed Kaâniche; Karama Kanoun (EDCC, 2015)

Design and Implementation of a Hardware Assisted Security Architecture for Software Integrity Monitoring. - Benoît Morgan; Eric Alata; Vincent Nicomette; Mohamed Kaâniche; Guillaume Averlant (PRDC, 2015)

A Model for Safety Case Confidence Assessment. - Jérémie Guiochet; Quynh Anh Do Hoang; Mohamed Kaâniche (SAFECOMP, 2015)

Tejo: A Supervised Anomaly Detection Scheme for NewSQL Databases. - Guthemberg Silvestre; Carla Sauvanaud; Mohamed Kaâniche; Karama Kanoun (SERENE, 2015)

Resilience Assessment: Accidental and Malicious Threats. - Mohamed Kaâniche (VECoS, 2015)

Protocol Reverse Engineering: Challenges and Obfuscation. - Julien Duchêne; Colas Le Guernic; Eric Alata; Vincent Nicomette; Mohamed Kaâniche (CRiSIS, 2016)

Towards Black-Box Anomaly Detection in Virtual Network Functions. - Carla Sauvanaud; Kahina Lazri; Mohamed Kaâniche; Karama Kanoun (DSN Workshops, 2016)

Anomaly Detection and Root Cause Localization in Virtual Network Functions. - Carla Sauvanaud; Kahina Lazri; Mohamed Kaâniche; Karama Kanoun (ISSRE, 2016)

Bypassing IOMMU Protection against I/O Attacks. - Benoît Morgan; Eric Alata; Vincent Nicomette; Mohamed Kaâniche (LADC, 2016)

Outils pour la rétro-conception de protocoles. Analyse et classification. - Eric Alata; Vincent Nicomette; Julien Duchêne; Colas Le Guernic; Mohamed Kaâniche (Tech. Sci. Informatiques, 2016)

Toward an Intrusion Detection Approach for IoT Based on Radio Communications Profiling. - Jonathan Roux; Eric Alata; Guillaume Auriol; Vincent Nicomette; Mohamed Kaâniche (EDCC, 2017)

An Abstraction Model and a Comparative Analysis of Intel and ARM Hardware Isolation Mechanisms. - Guillaume Averlant; Benoît Morgan; Eric Alata; Vincent Nicomette; Mohamed Kaâniche (PRDC, 2017)

Specification-Based Protocol Obfuscation. - Julien Duchêne; Eric Alata; Vincent Nicomette; Mohamed Kaâniche; Colas Le Guernic (DSN, 2018)

SAAC: Secure Android Application Context a Runtime Based Policy and its Architecture. - Guillaume Averlant; Eric Alata; Mohamad Kaâniche; Vincent Nicomette; Yuxiao Mao (NCA, 2018)

RadIoT: Radio Communications Intrusion Detection for IoT - A Protocol Independent Approach. - Jonathan Roux; Eric Alata; Guillaume Auriol; Mohamed Kaâniche; Vincent Nicomette; Romain Cayre (NCA, 2018)

A language-based intrusion detection approach for automotive embedded networks. - Ivan Studnia; Eric Alata; Vincent Nicomette; Mohamed Kaâniche; Youssef Laarouchi (Int. J. Embed. Syst., 2018)

IOMMU protection against I/O attacks: a vulnerability and a proof of concept. - Benoît Morgan; Eric Alata; Vincent Nicomette; Mohamed Kaâniche (J. Braz. Comput. Soc., 2018)

Anomaly detection and diagnosis for cloud services: Practical experiments and lessons learned. - Carla Sauvanaud; Mohamed Kaâniche; Karama Kanoun; Kahina Lazri; Guthemberg Silvestre (J. Syst. Softw., 2018)

State of the art of network protocol reverse engineering tools. - Julien Duchêne; Colas Le Guernic; Eric Alata; Vincent Nicomette; Mohamed Kaâniche (J. Comput. Virol. Hacking Tech., 2018)

Mirage: Towards a Metasploit-Like Framework for IoT. - Romain Cayre; Vincent Nicomette; Guillaume Auriol; Eric Alata; Mohamed Kaâniche; Géraldine Vache Marconato (ISSRE, 2019)

Implementation of a Host-Based Intrusion Detection System for Avionic Applications. - Aliénor Damien; Michael Marcourt; Vincent Nicomette; Eric Alata; Mohamed Kaâniche (PRDC, 2019)

Smart-TV security: risk analysis and experiments on Smart-TV communication channels. - Yann Bachy; Vincent Nicomette; Mohamed Kaâniche; Eric Alata (J. Comput. Virol. Hacking Tech., 2019)

On-board Diagnosis: A First Step from Detection to Prevention of Intrusions on Avionics Applications. - Aliénor Damien; Pierre-François Gimenez; Nathalie Feyt; Vincent Nicomette; Mohamed Kaâniche; Eric Alata (ISSRE, 2020)

Hardware-Performance-Counters-based anomaly detection in massively deployed smart industrial devices. - Malcolm Bourdon; Pierre-François Gimenez; Eric Alata; Mohamed Kaâniche; Vincent Migliore; Vincent Nicomette; Youssef Laarouchi (NCA, 2020)

A PSD-based fingerprinting approach to detect IoT device spoofing. - Florent Galtier; Romain Cayre; Guillaume Auriol; Mohamed Kaâniche; Vincent Nicomette (PRDC, 2020)

WazaBee: attacking Zigbee networks by diverting Bluetooth Low Energy chips. - Romain Cayre; Florent Galtier; Guillaume Auriol; Vincent Nicomette; Mohamed Kaâniche; Géraldine Vache Marconato (DSN, 2021)

InjectaBLE: Injecting malicious traffic into established Bluetooth Low Energy connections. - Romain Cayre; Florent Galtier; Guillaume Auriol; Vincent Nicomette; Mohamed Kaâniche; Géraldine Vache Marconato (DSN, 2021)

Cross-protocol attacks: weaponizing a smartphone by diverting its bluetooth controller. - Romain Cayre; Géraldine Vache Marconato; Florent Galtier; Mohamed Kaâniche; Vincent Nicomette; Guillaume Auriol (WISEC, 2021)

RIDS: Radio Intrusion Detection and Diagnosis System for Wireless Communications in Smart Environment. - Pierre-François Gimenez; Jonathan Roux; Eric Alata; Guillaume Auriol; Mohamed Kaâniche; Vincent Nicomette (ACM Trans. Cyber Phys. Syst., 2021)

Facing emerging challenges in connected vehicles: a formally proven, legislation compliant, and post-quantum ready security protocol. - Remi Adelin; Cyrius Nugier; Eric Alata; Vincent Nicomette; Vincent Migliore; Mohamed Kaâniche (J. Comput. Virol. Hacking Tech., 2022)

OASIS: An Intrusion Detection System Embedded in Bluetooth Low Energy Controllers. - Romain Cayre; Vincent Nicomette; Guillaume Auriol; Mohamed Kaâniche; Aurélien Francillon (AsiaCCS, 2024)

Wireless Modulation Identification: Filling the Gap in IoT Networks Security Audit. - Florent Galtier; Guillaume Auriol; Vincent Nicomette; Paul L. R. Olivier; Romain Cayre; Mohamed Kaâniche (DIMVA, 2024)