Access content directly

Mohamed Kaaniche

129
Documents

Publications

Image document

InjectaBLE: Injecting malicious traffic into established Bluetooth Low Energy connections

Romain Cayre , Florent Galtier , Guillaume Auriol , Vincent Nicomette , Mohamed Kaâniche
IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2021), Jun 2021, Taipei (virtual), Taiwan. ⟨10.1109/DSN48987.2021.00050⟩
Conference papers hal-03193297v2
Image document

InjectaBLE : injection de trafic malveillant dans une connexion Bluetooth Low Energy

Romain Cayre , Florent Galtier , Guillaume Auriol , Vincent Nicomette , Mohamed Kaâniche
Symposium sur la sécurité des technologies de l'information et des communications (SSTIC 2021), Jun 2021, Rennes (en ligne), France
Conference papers hal-03221143v1
Image document

Cross-protocol attacks: weaponizing a smartphone by diverting its Bluetooth controller

Romain Cayre , Géraldine Marconato , Florent Galtier , Mohamed Kaâniche , Vincent Nicomette
14th ACM Conference on Security and Privacy in Wireless and Mobile Networks, Jun 2021, Abu Dhabi, United Arab Emirates. ⟨10.1145/3448300.3468258⟩
Conference papers hal-03355664v1
Image document

WazaBee: attacking Zigbee networks by diverting Bluetooth Low Energy chips

Romain Cayre , Florent Galtier , Guillaume Auriol , Vincent Nicomette , Mohamed Kaâniche
IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2021), Jun 2021, Taipei (virtual), Taiwan. ⟨10.1109/DSN48987.2021.00049⟩
Conference papers hal-03193299v1
Image document

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
2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE), Oct 2020, Coimbra, Portugal. pp.358-368, ⟨10.1109/ISSRE5003.2020.00041⟩
Conference papers hal-03094215v1
Image document

Anomaly detection using hardware performance counters on a large scale deployment

Malcolm Bourdon , Eric Alata , Mohamed Kaâniche , Vincent Migliore , Vincent Nicomette
10th European Congress Embedded Real Time Systems (ERTS 2020), Jan 2020, Toulouse, France
Conference papers hal-03328254v1
Image document

A PSD-based fingerprinting approach to detect IoT device spoofing

Florent Galtier , Romain Cayre , Guillaume Auriol , Mohamed Kaâniche , Vincent Nicomette
25th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2020), Dec 2020, Perth, Australia. ⟨10.1109/PRDC50213.2020.00015⟩
Conference papers hal-02962655v1
Image document

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
19th IEEE International Symposium on Network Computing and Applications (NCA 2020), Nov 2020, Cambridge, MA, United States. ⟨10.1109/NCA51143.2020.9306726⟩
Conference papers hal-03328251v1
Image document

Mirage: towards a Metasploit-like framework for IoT

Romain Cayre , Vincent Nicomette , Guillaume Auriol , Eric Alata , Mohamed Kaâniche
2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE), Oct 2019, Berlin, Germany
Conference papers hal-02346074v1
Image document

Attack Injection into Avionic Systems through Application Code Mutation

Aliénor Damien , Nathalie Feyt , Vincent Nicomette , Eric Alata , Mohamed Kaâniche
2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC), Sep 2019, San Diego, United States. pp.1-8, ⟨10.1109/DASC43569.2019.9081616⟩
Conference papers hal-03094185v1
Image document

Implementation of a Host-Based Intrusion Detection System for Avionic Applications

Aliénor Damien , Michael Marcourt , Vincent Nicomette , Eric Alata , Mohamed Kaâniche
2019 IEEE 24th Pacific Rim International Symposium on Dependable Computing (PRDC), Dec 2019, Kyoto, Japan. pp.178-17809, ⟨10.1109/PRDC47002.2019.00048⟩
Conference papers hal-03094199v1
Image document

RadIoT: Radio Communications Intrusion Detection for IoT - A Protocol Independent Approach

Jonathan Roux , Eric Alata , Guillaume Auriol , Mohamed Kaâniche , Vincent Nicomette
17th IEEE International Symposium on Network Computing and Applications (NCA 2018), Nov 2018, Cambridge, Massachusetts, United States. 8p
Conference papers hal-01914981v1
Image document

Specification-Based Protocol Obfuscation

Julien Duchene , Eric Alata , Vincent Nicomette , Mohamed Kaâniche , Colas Le Guernic
DSN 2018 - 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Jun 2018, Luxembourg City, Luxembourg. pp.1-12, ⟨10.1109/DSN.2018.00056⟩
Conference papers hal-01848573v1
Image document

SAAC: Secure Android Application Context a Runtime Based Policy and its Architecture

Guillaume Averlant , Eric Alata , Mohamed Kaâniche , Vincent Nicomette , Yuxiao Mao
IEEE 17th International Symposium on Network Computing and Applications (NCA 2018), Nov 2018, Cambridge, MA, United States. ⟨10.1109/NCA.2018.8548343⟩
Conference papers hal-01982589v1
Image document

Anomaly based Intrusion Detection for an Avionic Embedded System

Aliénor Damien , Marc Fumey , Eric Alata , Mohamed Kaâniche , Vincent Nicomette
Aerospace Systems and Technology Conference (ASTC-2018), Nov 2018, Londres, United Kingdom
Conference papers hal-01967646v1
Image document

Toward an Intrusion Detection Approach for IoT based on Radio Communications Profiling

Jonathan Roux , Eric Alata , Guillaume Auriol , Vincent Nicomette , Mohamed Kaâniche
13th European Dependable Computing Conference, Sep 2017, Geneva, Switzerland. 4p
Conference papers hal-01561710v1
Image document

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
The 22nd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2017), Jan 2017, Christchurch, New Zealand
Conference papers hal-01493597v1
Image document

Bypassing IOMMU Protection against I/O Attacks

Benoît Morgan , Eric Alata , Vincent Nicomette , Mohamed Kaâniche
7th Latin-American Symposium on Dependable Computing (LADC’16), Oct 2016, Cali, Colombia. pp.145-150, ⟨10.1109/LADC.2016.31⟩
Conference papers hal-01419962v1
Image document

Protocol reverse engineering: Challenges and obfuscation

Julien Duchene , Colas Le Guernic , Eric Alata , Vincent Nicomette , Mohamed Kaâniche
The 11th International Conference on Risks and Security of Internet and Systems - CRiSIS 2016, Sep 2016, Roscoff, France. ⟨10.1007/978-3-319-54876-0_11⟩
Conference papers hal-01388060v1
Image document

Anomaly Detection and Root Cause Localization in Virtual Network Functions

Carla Sauvanaud , Kahina Lazri , Mohamed Kaâniche , Karama Kanoun
27th International Symposium on Software Reliability Engineering (ISSRE 2016), Oct 2016, Ottawa, Canada. pp.196 - 206, ⟨10.1109/ISSRE.2016.32⟩
Conference papers hal-01419014v1
Image document

Towards Black-Box Anomaly Detection in Virtual Network Functions

Carla Sauvanaud , Kahina Lazri , Mohamed Kaâniche , Karama Kanoun
The 46th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN-2016), Jun 2016, TOULOUSE, France. pp.254 - 257, ⟨10.1109/DSN-W.2016.17⟩
Conference papers hal-01419016v1
Image document

A Model for Safety Case Confidence Assessment

Jérémie Guiochet , Quynh Anh Do Hoang , Mohamed Kaâniche
34th International Conference on Computer Safety, Reliability and Security (SAFECOMP), Sep 2015, Delft, Netherlands. ⟨10.1007/978-3-319-24255-2_23⟩
Conference papers hal-01228861v1
Image document

Security of ISP Access Networks: practical experiments

Yann Bachy , Vincent Nicomette , Eric Alata , Mohamed Kaâniche , Jean-Christophe Courrège
11th European Dependable Computing Conference - Dependability in Practice (EDCC 2015), Sep 2015, Paris, France
Conference papers hal-01190054v1
Image document

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
The 21st IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2015), Nov 2015, Zhangjiajie, China. 10p., ⟨10.1109/PRDC.2015.46⟩
Conference papers hal-01322882v1
Image document

Automated Evaluation of Network Intrusion Detection Systems in IaaS Clouds

Thibaut Probst , Eric Alata , Mohamed Kaâniche , Vincent Nicomette
11th European Dependable Computing Conference (EDCC 2015), Sep 2015, Paris, France
Conference papers hal-01212064v1
Image document

Data Stream Clustering for Online Anomaly Detection in Cloud Applications

Carla Sauvanaud , Guthemberg Silvestre , Mohamed Kaâniche , Karama Kanoun
11th European Dependable Computing Conference (EDCC 2015), Sep 2015, Paris, France
Conference papers hal-01211774v1
Image document

Smart-TV security analysis: practical experiments

Yann Bachy , Frédéric Basse , Vincent Nicomette , Eric Alata , Mohamed Kaâniche
International Conference on Dependable Systems and Networks, Jun 2015, Rio de Janeiro, Brazil
Conference papers hal-01178553v1
Image document

A language-based intrusion detection approach for automotive embedded networks

Ivan Studnia , Eric Alata , Vincent Nicomette , Mohamed Kaâniche , Youssef Laarouchi
IEEE Pacific Rim International Symposium on Dependable Computing ( PRDC ), Nov 2015, Zhangjiajie, China
Conference papers hal-01967640v1
Image document

Protocole HbbTV et sécurité : quelques expérimentations

Yann Bachy , Vincent Nicomette , Eric Alata , Mohamed Kaâniche , Jean-Christophe Courrège
Symposium sur la sécurité des technologies de l’information et des communications, Jun 2015, Rennes, France
Conference papers hal-01178550v1
Image document

Tejo: A Supervised Anomaly Detection Scheme for NewSQL Databases

Guthemberg Silvestre , Carla Sauvanaud , Mohamed Kaâniche , Karama Kanoun
7th International Workshop on Software Engineering for Resilient Systems (SERENE 2015), Sep 2015, Paris, France. ⟨10.1007/978-3-319-23129-7_9⟩
Conference papers hal-01211772v1
Image document

Towards resilient cyber-physical systems: The ADREAM project

Jean Arlat , Michel Diaz , Mohamed Kaâniche
9th IEEE International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS-2014), May 2014, Santorin, Greece. pp.1 - 5, ⟨10.1109/DTIS.2014.6850642⟩
Conference papers hal-01419019v1
Image document

Analyse de sécurité des box ADSL

Yann Bachy , Vincent Nicomette , Eric Alata , Yves Deswarte , Mohamed Kaâniche
Symposium sur la sécurité des technologies de l’information et des communications, Jun 2014, Rennes, France
Conference papers hal-01178496v1
Image document

An anomaly detection approach for scale-out storage systems

Guthemberg Silvestre , Carla Sauvanaud , Mohamed Kaâniche , Karama Kanoun
26th International Symposium on Computer Architecture and High Performance Computing, Oct 2014, Paris, France
Conference papers hal-01076212v1
Image document

An Approach for the Automated Analysis of Network Access Controls in Cloud Computing Infrastructures

Thibaut Probst , Eric Alata , Mohamed Kaâniche , Vincent Nicomette
8th International Conference on Network and System Security (NSS 2014), Oct 2014, Xi'an, China. pp.1-14, ⟨10.1007/978-3-319-11698-3_1⟩
Conference papers hal-01176045v1
Image document

Security of embedded automotive networks: state of the art and a research proposal

Ivan Studnia , Vincent Nicomette , Eric Alata , Yves Deswarte , Mohamed Kaâniche
SAFECOMP 2013 - Workshop CARS (2nd Workshop on Critical Automotive applications : Robustness & Safety) of the 32nd International Conference on Computer Safety, Reliability and Security, Sep 2013, Toulouse, France. pp.NA
Conference papers hal-00848234v1
Image document

An Approach for Security Evaluation and Analysis in Cloud Computing

Thibaut Probst , Eric Alata , Mohamed Kaâniche , Vincent Nicomette , Yves Deswarte
Safecomp 2013 FastAbstract, Sep 2013, Toulouse, France. pp.NC
Conference papers hal-00926367v1
Image document

An Automated Approach to Generate Web Applications Attack Scenarios

Eric Alata , Mohamed Kaâniche , Vincent Nicomette , Rim Akrout
The 6th Latin-American Symposium on Dependable Computing (LADC-2013), Apr 2013, Rio de Janeiro, Brazil. pp.78-85, ⟨10.1109/LADC.2013.22⟩
Conference papers hal-01176046v1
Image document

Survey on security threats and protection mechanisms in embedded automotive networks

Ivan Studnia , Vincent Nicomette , Eric Alata , Yves Deswarte , Mohamed Kaâniche
2nd Workshop on Open Resilient Human-aware Cyber-Physical Systems (WORCS-2013), co-located with The 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN-2013), Jun 2013, Budapest, Hungary. ⟨10.1109/DSNW.2013.6615528⟩
Conference papers hal-01176042v1
Image document

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
International Conference on Rehabilitation Robotics (ICORR), Jun 2013, Seattle, United States. pp.1-7
Conference papers hal-00839296v1
Image document

A Survey of Security Threats and Protection Mechanisms in Embedded Automotive Networks

Ivan Studnia , Vincent Nicomette , Eric Alata , Yves Deswarte , Mohamed Kaâniche
The 2nd Workshop on Open Resilient human-aware Cyber-physical Systems (WORCS-2013), co-located with the IEEE/IFIP Annual Symposium on Dependable Systems and Networks (DSN-2013), Jun 2013, Budapest, Hungary. pp.1-12
Conference papers hal-00852244v1

Detecting Attacks Against Data in Web Applications

Romaric Ludinard , Eric Totel , Frédéric Tronel , Vincent Nicomette , Mohamed Kaâniche
CRiSIS 2012 - 7th International Conference on Risks and Security of Internet and Systems, Oct 2012, Cork, Ireland. pp.1-8
Conference papers hal-00735997v1
Image document

Online model adaptation for aircraft operational reliability assessment

Kossi Tiassou , Karama Kanoun , Mohamed Kaâniche , Christel Seguin , Chris Papadopoulos
6th International Congress, Embedded Real Time Software and Systems (ERTS2 2012), Feb 2012, Toulouse, France. pp.1-11
Conference papers hal-00761040v1
Image document

Impact of Operational Reliability Re-assessment during Aircraft Missions

Kossi Tiassou , Karama Kanoun , Mohamed Kaâniche , Christel Seguin , Chris Papadopoulos
The 31st IEEE Symposium on Reliable Distributed Systems (SRDS 2012), Oct 2012, Irvine, CA, United States. pp.219-224, ⟨10.1109/SRDS.2012.37⟩
Conference papers hal-01176048v1
Image document

Security-related vulnerability life cycle analysis

Géraldine Vache Marconato , Vincent Nicomette , Mohamed Kaâniche
7th International Conference on Risk and Security of Internet and Systems (CRiSIS-2012), Oct 2012, Cork, Ireland. pp.1-8, ⟨10.1109/CRISIS.2012.6378954⟩
Conference papers hal-00851866v1
Image document

Impact de l'évaluation de la fiabilité opérationnelle pendant la mission d'un avion

Kossi Tiassou , Karama Kanoun , Mohamed Kaâniche , Christel Seguin , Chris Papadopoulos
Congrès de Maîtrise des Risques et de sûreté de Fonctionnement (Lamda Mu 17), Oct 2012, Tours, France. 9 p
Conference papers hal-00761050v1
Image document

Human-robot interactions: model-based risk analysis and safety case construction

Quynh Anh Do Hoang , Jérémie Guiochet , David Powell , Mohamed Kaâniche
Embedded Real Time Software and Systems (ERTS2 2012), Feb 2012, Toulouse, France
Conference papers hal-02192419v2
Image document

Applying Existing Standards to a Medical Rehabilitation Robot: Limits and Challenges

Jérémie Guiochet , Quynh Anh Do Hoang , Mohamed Kaâniche , David Powell
Workshop FW5: Safety in Human-Robot Coexistence & Interaction: How can Standardization and Research benefit from each other?, IEEE/RSJ Intern. Conference Intelligent Robots and Systems (IROS2012), Oct 2012, Vilamoura, Portugal
Conference papers hal-01282195v1
Image document

Survey of Security Problems in Cloud Computing Virtual Machines

Ivan Studnia , Eric Alata , Yves Deswarte , Mohamed Kaâniche , Vincent Nicomette
Computer and Electronics Security Applications Rendez-vous (C&ESAR 2012). Cloud and security:threat or opportunity, Nov 2012, Rennes, France. p. 61-74
Conference papers hal-00761206v1
Image document

A distributed plateform of high interaction honeypots and experimental results (extended version)

Ivan Studnia , Vincent Nicomette , Mohamed Kaâniche , Eric Alata
Privacy Security Trust (PST 2012), Jul 2012, Paris, France. 8p
Conference papers hal-00706333v1
Image document

Modeling Aircrafts Operational Reliability

Kossi Tiassou , Karama Kanoun , Mohamed Kaâniche , Christel Seguin , Chris Papadopoulos
International Conference on Computer Safety, Reliability ans Security (SAFECOMP 2011), Sep 2011, Naples, Italy. pp.157-170
Conference papers hal-01176051v1

Model-Based Risk Analysis Of Human-Robot Interactions And Safety Argument Construction

Quynh Anh Do Hoang , Jérémie Guiochet , Mohamed Kaâniche , David Powell
Model Based Safety Assessment Workshop (MBSAW), Mar 2011, Toulouse, France
Conference papers hal-01285183v1
Image document

A clustering approach for web vulnerabilities detection

Anthony Dessiatnikoff , Rim Akrout , Eric Alata , Mohamed Kaâniche , Vincent Nicomette
17th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2011), Dec 2011, Pasadena, CA, United States. pp.194-203, ⟨10.1109/PRDC.2011.31⟩
Conference papers hal-00755212v1
Image document

Dependability Modelling of Safety Applications in Communicating Automotive Systems

Ossama Hamouda , Mohamed Kaâniche , Karama Kanoun
ERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France
Conference papers hal-02267743v1
Image document

Availability Modelling of a Virtual Black Box for Automotive Systems

Ossama Hamouda , Mohamed Kaâniche , Karama Kanoun
The 2nd International Workshop on Software Engineering for Resilient Systems (SERENE'10), Apr 2010, Londres, United Kingdom. pp.52-60, ⟨10.1145/2401736.2401742⟩
Conference papers hal-00852263v1
Image document

Gesture Recognition by Learning Local Motion Signatures

Mohamed Kaâniche , François Bremond
CVPR 2010 - IEEE Conference on Computer Vision and Pattern Recognition, Jun 2010, San Franscico, CA, United States
Conference papers inria-00486110v1
Image document

Tracking HOG Descriptors for Gesture Recognition

Mohamed Kaâniche , François Brémond
AVSS 2009 - Sixth IEEE International Conference on Advanced Video and Signal Based Surveillance, Sep 2009, Genova, Italy. pp.978-0-7695-3718-4, ⟨10.1109/AVSS.2009.26⟩
Conference papers hal-00428697v1
Image document

Safety modeling and evaluation of Automated Highway Systems

Ossama Hamouda , Mohamed Kaâniche , Karama Kanoun
The IEEE/IFIP International Conference on Dependable Systems & Networks (DSN '09), Jun 2009, Lisbonne, Portugal. pp.73 - 82, ⟨10.1109/DSN.2009.5270352⟩
Conference papers hal-00851779v1
Image document

MULTIPLE OBJECT TRACKING WITH OCCLUSIONS USING HOG DESCRIPTORS AND MULTI RESOLUTION IMAGES

Piotr Bilinski , François Bremond , Mohamed Kaâniche
3rd International Conference on Imaging for Crime Detection and Prevention, Dec 2009, London, United Kingdom
Conference papers inria-00510410v2
Image document

Connectivity dynamics in vehicular freeway scenarios

Ossama Hamouda , Mohamed Kaâniche , Erling Moller Matthiesen , Jakob Gulddahl Rasmussen , Hans-Peter Schwefel
Global Information Infrastructure Symposium (GIIS '09), Jun 2009, Hammamet, Tunisia. pp.1-8, ⟨10.1109/GIIS.2009.5307090⟩
Conference papers hal-00851876v1
Image document

Multi-level dependability modeling of interdependencies between the Electricity and Information Infrastructures

Marco Beccuti , Giuliana Franceschinis , Mohamed Kaâniche , Karama Kanoun
3rd International Workshop on Critical Information Infrastructures Security (CRITIS 2008), Rome (Italie), Octobre 2008, pp.63-74, Oct 2008, Rome, Italy. pp.48-59
Conference papers hal-00755282v1
Image document

The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation

Ana-Elena E. Rugina , Karama Kanoun , Mohamed Kaâniche
7th European Dependable Computing Conference (EDCC), May 2008, Kaunas, Lithuania. pp.85-90
Conference papers hal-00323969v1
Image document

Modélisation et évaluation de la sûreté de fonctionnement d'un système d'autoroute automatisée

Ossama Hamouda , Mohamed Kaâniche , Karama Kanoun
16ème Colloque de Maîtrise des Risques et de Sûreté de Fonctionnement. LAMBDA-MU 16, Oct 2008, Avignon, France
Conference papers hal-00453029v1
Image document

Dependability modeling and evaluation of an automated highway system

Ossama Hamouda , Mohamed Kaâniche , Karama Kanoun
Fast Abstract, 7th European Dependable Computing Conference (EDCC 2008), May 2008, Kaunas, Lithuania
Conference papers hal-00453026v1
Image document

Dependability Evaluation of a Replication Service for Mobile Applications in Dynamic Ad-Hoc Networks

Erling V. Matthiesen , Ossama Hamouda , Mohamed Kaâniche , Hans-Peter Schwefel
5th International Service Availability Symposium, ISAS 2008, May 2008, Tokyo, Japan. pp.171-186, ⟨10.1007/978-3-540-68129-8_14⟩
Conference papers hal-00851873v1
Image document

Software dependability modeling using an industry-standard architecture description language

Ana-Elena Rugina , Peter H. Feiler , Karama Kanoun , Mohamed Kaâniche
4th European Congress ERTS Embedded Real Time Software, Jan 2008, Toulouse, France
Conference papers hal-00323983v1
Image document

Modelling interdependencies between the electricity and information infrastructures

Jean-Claude Laprie , Karama Kanoun , Mohamed Kaâniche
26th International Conference on Computer Safety, Reliability and Security, SAFECOMP-2007, Sep 2007, Nurenberg, Germany. pp.54-67
Conference papers hal-00323999v1
Image document

Access Control for Collaborative Systems: A Web Services Based Approach

Anas Abou El Kalam , Yves Deswarte , Amine Baïna , Mohamed Kaâniche
IEEE International Conference on Web Services, ICWS 2007, Jul 2007, Salt Lake City, UT, United States. pp.1064-1071
Conference papers hal-00851761v1

Access Control for Collaborative Systems: A Web Services Based Approach

Anas Abou El Kalam , Yves Deswarte , Amine Baïna , Mohamed Kaâniche
IEEE ICWS (IEEE International Conference on Web Services), Jul 2007, Salt Lake City, United States. pp.1064-1072
Conference papers hal-00176312v1
Image document

Dependability Evaluation of Cooperative Backup Strategies for Mobile Devices

Ludovic Courtès , Ossama Hamouda , Mohamed Kaâniche , Marc-Olivier Killijian , David Powell
13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007), Dec 2007, Melbourne, Australia. pp.139 - 146, ⟨10.1109/PRDC.2007.21⟩
Conference papers hal-00851766v1
Image document

Empirical analysis and statistical modeling of attack processes based on honeypots

Mohamed Kaâniche , Yves Deswarte , Eric Alata , Marc Dacier , Vincent Nicomette
IEEE/IFIP International Conference on Dependable Systems and Networks (DSN-2006), Workshop on Empirical Evaluation of Dependability and Security (WEEDS), Jun 2006, France. pp.119-124
Conference papers hal-00140367v1
Image document

Lessons Learned from the deployment of a high-interaction honeypot

Eric Alata , Vincent Nicomette , Mohamed Kaâniche , Marc Dacier , Matthieu Herrb
European Dependable Computing Conference, Oct 2006, France. pp.39-44
Conference papers hal-00140355v1
Image document

An architecture-based dependability modeling framework using AADL

Ana-Elena Rugina , Karama Kanoun , Mohamed Kaâniche
IASTED International Conference on Software Engineering and Applications, Nov 2006, France. pp.222-227
Conference papers hal-00140407v1
Image document

CRITICAL UTILITY INFRASTRUCTURAL RESILIENCE

Giovanna Dondossola , Geert Deconinck , Felicita Di Giandomenico , Susanna Donatelli , Mohamed Kaâniche
International Workshop on Complex Network and Infrastructure Protection (CNIP-06), Mar 2006, Rome, Italy. 12 p
Conference papers hal-00756964v1
Image document

MODÉLISATION DE LA SÛRETÉ DE FONCTIONNEMENT DE SYSTÈMES À PARTIR DU LANGAGE AADL

Ana-Elena Rugina , Karama Kanoun , Mohamed Kaâniche
15ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement (Lambda-Mu'15), Oct 2006, Lille, France. 8p
Conference papers hal-00755279v1
Image document

Monitoring Trichogramma Activities From Videos : An adaptation of cognitive vision system to biology field

Mohamed Kaâniche , François Brémond , Monique Thonnat
2nd International Cognitive Vision Workshop 2006 in conjunction with the European Conference on Cognitive Vision 2006, May 2006, Graz, Austria
Conference papers inria-00428658v1
Image document

Modeling user perceived unavailability due to long response times

Magnos Martinello , Mohamed Kaâniche , Karama Kanoun , Carlos Aguilar Melchor
20th IEEE International Parallel and Distributed Processing Symposium (IPDPS 2006), Apr 2006, Rhodes Island, Greece. 8p., ⟨10.1109/IPDPS.2006.1639671⟩
Conference papers hal-01212162v1
Image document

Collection and analysis of attack data based on honeypots deployed on the Internet

Eric Alata , Marc Dacier , Yves Deswarte , Mohamed Kaâniche , Kostya Kortchinsky
Workshop on Quality of protection (QoP 2005), Security Measurements and Metrics, Sep 2005, France. pp.79-92
Conference papers hal-00140390v1
Image document

Availability assessment of SunOS/Solaris Unix Systems based on Syslogd and wtmpx logfiles : a case study

Cristina Simache , Mohamed Kaâniche
IEEE Pacific Rim International Symposium on Dependable Computing (PRDC'2005), Dec 2005, Changsha Hunan, China. pp.49-56, ⟨10.1109/PRDC.2005.20⟩
Conference papers hal-00140364v1
Image document

A User-Perceived Availability Evaluation of a Web Based Travel Agency

Mohamed Kaâniche , Karama Kanoun , Magnos Martinello
International Conference on Deependable Systems and Networks (DSN-2003), Jun 2003, San Francisco, CA, United States. pp.709 - 718, ⟨10.1109/DSN.2003.1209986⟩
Conference papers hal-01911676v1
Image document

Event log based dependability analysis of Windows NT and 2K systems

Cristina Simache , Mohamed Kaâniche , Ayda Saidane
Pacific Rim International Symposium on Dependable Computing (PRDC 2002), Dec 2002, Tsukuba, Japan. pp.311-315, ⟨10.1109/PRDC.2002.1185651⟩
Conference papers hal-01911680v1
Image document

Measurement-based availability analysis of Unix systems in a distributed environment

Cristina Simache , Mohamed Kaâniche
12th International Symposium on Software Reliability Engineering (ISSRE 2001), Nov 2001, Hong-Kong, Hong Kong SAR China. pp.346 - 355, ⟨10.1109/ISSRE.2001.989489⟩
Conference papers hal-00852425v1
Image document

A framework for modeling availability of E-business systems

Mohamed Kaâniche , Karama Kanoun , Mourad Rabah
10th International Conference on Computer Communications and Networks, 2001 (ICCCN 2001), Oct 2001, Scottsdale, AZ, United States. pp. 40-45, ⟨10.1109/ICCCN.2001.956217⟩
Conference papers hal-01212216v1
Image document

Dependability engineering of complex computing systems

Mohamed Kaâniche , Jean-Claude Laprie , Jean-Paul Blanquart
6th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'2000), Sep 2000, Tokyo, Japan. pp.36-46, ⟨10.1109/ICECCS.2000.873926⟩
Conference papers hal-01212223v1
Image document

SQUALE Dependability Assessment Criteria

Yves Deswarte , Mohamed Kaâniche , Pierre Corneillie , John Goodson
18th International Conference on Computer Safety, Reliability, and Security (SAFECOMP-99), Sep 1999, Toulouse, France. pp.27-38, ⟨10.1007/3-540-48249-0_3⟩
Conference papers hal-01911685v1
Image document

A Hierarchical Approach for Dependability Analysis of a Commercial Cache-Based RAID Storage Architecture

Mohamed Kaâniche , Luigi Romano , Zbigniew Kalbarczyk , Ravishankar Iyer , Rick Karcich
28th IEEE International Symposium on Fault-Tolerant Computing, Jun 1998, Munich, Germany. pp.6-15
Conference papers hal-00140480v1
Image document

Reliability of a commercial telecommunications system

Mohamed Kaâniche , Karama Kanoun
7th International Symposium on Software Reliability Engineering (ISSRE'96), Oct 1996, White Plains, New York, United States. ⟨10.1109/ISSRE.1996.558807⟩
Conference papers hal-01212242v1
Image document

Safety Analysis and Evaluation of an Air Traffic Control Computing System

Nicolae Fota , Mohamed Kaâniche , Karama Kanoun , Alain Peytavin
The 15th International Conference on Computer Safety, Reliability and Security (SAFECOMP-1996), Oct 1996, Vienne, Austria. pp.219-229
Conference papers hal-00851765v1
Image document

Software Failure Data Analysis of two Successive Generations of a Switching System

Mohamed Kaâniche , Karama Kanoun
12th IFAC International Conference on Computer Safety, Reliability and Security (SAFECOMP'93), Oct 1993, Poznan, Poland. ⟨10.1007/978-1-4471-2061-2_24⟩
Conference papers hal-01212234v1
Image document

Experience in Software Reliability: From Data Collection to Quantitative Evaluation

Karama Kanoun , Mohamed Kaâniche , Jean-Claude Laprie
Fourth International Symposium on Software Reliability Engineering (ISSRE-1993), Nov 1993, Denver, United States. pp.234-245
Conference papers hal-00851758v1
Image document

SoRel: A tool for reliability growth analysis and prediction from statistical failure data

Karama Kanoun , Mohamed Kaâniche , Jean-Claude Laprie , Sylvain Metge
The Twenty-Third International Symposium on Fault-Tolerant Computing (FTCS-23), Jun 1993, Toulouse, France. pp.654-659, ⟨10.1109/FTCS.1993.627370⟩
Conference papers hal-00852434v1
Image document

The discrete time hyperexponential model for software reliability growth evaluation

Mohamed Kaâniche , Karama Kanoun
Third International Symposium on Software Reliability Engineering (ISSRE-1992), Oct 1992, Research Triangle Park, NC, United States. pp.64 - 75, ⟨10.1109/ISSRE.1992.285857⟩
Conference papers hal-00851763v1

The transformation approach to the modeling and evaluation of the reliability and availability growth

Jean-Claude Laprie , Christian Beounes , Mohamed Kaâniche , Karama Kanoun
The 20th International Symposium on Fault-Tolerant Computing (FTCS-20), Jun 1990, Newcastle Upon Tyne, United Kingdom. pp.364 - 371, ⟨10.1109/FTCS.1990.89390⟩
Conference papers hal-00851871v1
Image document

Facing Emerging Challenges in Connected Vehicles: A Formally Proven, Legislation Compliant, and Post-Quantum Ready Security Protocol

Rémi Adelin , Cyrius Nugier , Éric Alata , Vincent Nicomette , Vincent Migliore
Journal of Computer Virology and Hacking Techniques, 2022, ⟨10.1007/s11416-022-00426-1⟩
Journal articles hal-03756650v1
Image document

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
ACM Transactions on Cyber-Physical Systems, 2021, 5 (3), pp.Article No.: 24. ⟨10.1145/3441458⟩
Journal articles hal-03123925v1
Image document

Smart-TV security: risk analysis and experiments on Smart-TV communication channels

Yann Bachy , Vincent Nicomette , Mohamed Kaâniche , Eric Alata
Journal of Computer Virology and Hacking Techniques, 2019, 15 (1), pp.61-76. ⟨10.1007/s11416-018-0320-3⟩
Journal articles hal-01761974v1
Image document

A language-based intrusion detection approach for automotive embedded networks

Ivan Studnia , Eric Alata , Vincent Nicomette , Mohamed Kaâniche , Youssef Laarouchi
International Journal of Embedded Systems, 2018, 10 (1), ⟨10.1504/IJES.2018.10010488⟩
Journal articles hal-01803432v1
Image document

State of the art of network protocol reverse engineering tools

Julien Duchene , Colas Le Guernic , Eric Alata , Vincent Nicomette , Mohamed Kaâniche
Journal of Computer Virology and Hacking Techniques, 2018, 14 (1), pp.53-68. ⟨10.1007/s11416-016-0289-8⟩
Journal articles hal-01496958v1
Image document

Anomaly Detection and Diagnosis for Cloud services: Practical experiments and lessons learned

Carla Sauvanaud , Mohamed Kaâniche , Karama Kanoun , Kahina Lazri , Guthemberg Silvestre
Journal of Systems and Software, 2018, 139, pp.84-106. ⟨10.1016/j.jss.2018.01.039⟩
Journal articles hal-01864357v1
Image document

IOMMU protection against I/O attacks: A vulnerability and a proof-of-concept

Benoît Morgan , Eric Alata , Vincent Nicomette , Mohamed Kaâniche
Journal of the Brazilian Computer Society, 2018, 24, pp.Article number: 2. ⟨10.1186/s13173-017-0066-7⟩
Journal articles hal-02877143v1
Image document

Outils pour la rétro-conception de protocoles : Analyse et classification

Julien Duchene , Colas Le Guernic , Eric Alata , Vincent Nicomette , Mohamed Kaâniche
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2016, 35 (6), pp.609-640. ⟨10.3166/tsi.35.609-640⟩
Journal articles hal-01864298v1
Image document

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
International journal of secure software engineering, 2014, 5 (1), pp.19-38. ⟨10.4018/ijsse.2014010102⟩
Journal articles hal-01083296v1
Image document

Identification de vulnérabilités Web et génération de scénarios d'attaque

Rim Akrout , Eric Alata , Mohamed Kaâniche , Vincent Nicomette
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2014, 33 (9-10), pp.809-840. ⟨10.3166/tsi.33.809-840⟩
Journal articles hal-01967638v1
Image document

Fiabilité de mission d’un avion. évaluation stochastique en opération

Kossi Tiassou , Karama Kanoun , Mohamed Kaâniche , Christel Seguin , Chris Papadopoulos
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2014, 33 (9-10), pp.777 - 807. ⟨10.3166/tsi.33.777-807⟩
Journal articles hal-01930324v1
Image document

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
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2014, 19 (6), pp.63-88. ⟨10.3166/isi.19.6.63-88⟩
Journal articles hal-01178546v1
Image document

An automated black box approach for web vulnerability identification and attack scenario generation

Rim Akrout , Eric Alata , Mohamed Kaâniche , Vincent Nicomette
Journal of the Brazilian Computer Society, 2014, 20 (1), pp.1--16. ⟨10.1186/1678-4804-20-4⟩
Journal articles hal-00985670v1
Image document

Aircraft Operational Reliability-A Model-based Approach and a Case Study

Kossi Tiassou , Karama Kanoun , Mohamed Kaâniche , Christel Seguin , Chris Papadopoulos
Reliability Engineering and System Safety, 2013, 120, pp.163-176. ⟨10.1016/j.ress.2013.07.008⟩
Journal articles hal-01911668v1
Image document

évaluation quantitative de la sécurité. Approche basée sur les vulnérabilités

Géraldine Vache Marconato , Vincent Nicomette , Mohamed Kaâniche
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2013, 32 (1), pp.41-75. ⟨10.3166/tsi.32.41-75⟩
Journal articles hal-01212202v1

Evaluation quantitative de la sécurité: Approche basée sur les vulnérabilités

Géraldine Vache Marconato , Vincent Nicomette , Mohamed Kaâniche
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2013, 32 (1), pp.41-75
Journal articles hal-00851784v1
Image document

A vulnerability life cycle based security modeling and evaluation approach

Géraldine Vache Marconato , Mohamed Kaâniche , Vincent Nicomette
The Computer Journal, 2013, 56 (4), pp.422 - 439. ⟨10.1093/comjnl/bxs112⟩
Journal articles hal-01911985v1
Image document

Recognizing Gestures by Learning Local Motion Signatures of HOG Descriptors

Mohamed Kaâniche , Francois Bremond
IEEE Transactions on Pattern Analysis and Machine Intelligence, 2012
Journal articles hal-00696371v1
Image document

Set-up and deployment of a high-interaction honeypot: experiment and lessons learned

Vincent Nicomette , Mohamed Kaâniche , Eric Alata , Matthieu Herrb
Journal in Computer Virology, 2011, 7 (2), pp.143-157. ⟨10.1007/s11416-010-0144-2⟩
Journal articles hal-00762596v1
Image document

The HIDENETS holistic approach for the analysis of large critical mobile systems

Andrea Bondavalli , Ossama Hamouda , Mohamed Kaâniche , Paolo Lollini , Istvan Majzik
IEEE Transactions on Mobile Computing, 2011, 10 (6), pp.783-796. ⟨10.1109/TMC.2010.222⟩
Journal articles hal-00852105v1
Image document

PolyOrBAC: a security framework for critical infrastructures

Anas Abou El Kalam , Yves Deswarte , Amine Baïna , Mohamed Kaâniche
International journal of critical infrastructure protection, 2009, 2 (4), pp.154-169. ⟨10.1016/j.ijcip.2009.08.005⟩
Journal articles hal-00851762v1
Image document

Modélisation de la sûreté de fonctionnement basée sur le langage AADL et les RdPSG

Ana-Elena Rugina , Karama Kanoun , Mohamed Kaâniche
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2009, 28 (1), pp.7-37
Journal articles hal-00755268v1
Image document

Modeling the resilience of large and evolving systems

Mohamed Kaâniche , Paolo Lollini , Andrea Bondavalli , Karama Kanoun
International Journal of Performability Engineering, 2008, 4 (2), pp.153-168
Journal articles hal-00756957v1

Web service availability--impact of error recovery and traffic model

Magnos Martinello , Mohamed Kaâniche , Karama Kanoun
Reliability Engineering and System Safety, 2005, 89 (1), pp.6-16. ⟨10.1016/j.ress.2004.08.003⟩
Journal articles hal-00851778v1
Image document

An investigation on mutation strategies for fault injection into RDD-100 models

Mohamed Kaâniche , Yannick Le Guédard , Jean Arlat , Thierry Boyer
Safety Science, 2004, 42 (5), pp.385-403
Journal articles hal-00757161v1
Image document

Multi-Level Modeling Approach for the Availability Assessment of e-Business Applications

Mohamed Kaâniche , Karama Kanoun , Mourad Rabah
Software: Practice and Experience, 2003, 33 (14), pp.1323-1341. ⟨10.1002/spe.550⟩
Journal articles hal-00755223v1
Image document

Dependability Evaluation of an Air Traffic Control Computing System

Nicolae Fota , Mohamed Kaâniche , Karama Kanoun
Performance Evaluation, 1999, 35 (3-4), pp.253-273
Journal articles hal-00762602v1
Image document

Fiabilité du logiciel : de la collecte des données à l'évaluation probabiliste

Karama Kanoun , Mohamed Kaâniche , Jean-Claude Laprie
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 1997, 16 (7), pp.865-895
Journal articles hal-01212188v1

Analyse des défaillances et suivi de la validation du logiciel d'un équipement de télécommunication

Mohamed Kaâniche , Karama Kanoun , Sylvain Metge
Annals of Telecommunications - annales des télécommunications, 1990, 45 (11-12), pp.657-670
Journal articles hal-00851764v1
Image document

Evaluation de la sûreté de fonctionnement informatique. Fautes physiques, fautes de conception, malveillances

Mohamed Kaâniche
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 1999
Habilitation à diriger des recherches tel-00142168v1
Image document

Gesture recognition from video sequences

Mohamed Kaâniche
Signal and Image processing. Université Nice Sophia Antipolis, 2009. English. ⟨NNT : ⟩
Theses tel-00428690v2
Image document

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
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 1992. Français. ⟨NNT : ⟩
Theses tel-00142181v1
Image document

System dependability assessment -Interplay between research and practice

Mohamed Kaâniche , Karama Kanoun
System Dependability and Analytics. Approaching System Dependability from Data, System and Analytics Perspectives, Springer, pp.393-404, 2022, Springer Series in Reliability Engineering, 978-3-031-02062-9. ⟨10.1007/978-3-031-02063-6_23⟩
Book sections hal-03739141v1