Mohamed Kaaniche

133
Documents

Publications

Publications

Deposit thumbnail

OASIS: An Intrusion Detection System Embedded in Bluetooth Low Energy Controllers

Romain Cayre , Vincent Nicomette , Guillaume Auriol , Mohamed Kaâniche , Aurélien Francillon

2024 ACM Asia conference on Computer and Communications Security (ASIACCS)., Jul 2024, Singapore, Singapore

Communication dans un congrès hal-04488826v1
Deposit thumbnail

Wireless Modulation Identification: filling the gap in IoT networks security audit

Florent Galtier , Guillaume Auriol , Vincent Nicomette , Paul L R Olivier , Romain Cayre et al.

21st Conference on Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA '24), Jul 2024, Lausanne, Switzerland

Communication dans un congrès hal-04675669v1
Deposit thumbnail

InjectaBLE: Injecting malicious traffic into established Bluetooth Low Energy connections

Romain Cayre , Florent Galtier , Guillaume Auriol , Vincent Nicomette , Mohamed Kaâniche et al.

IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2021), Jun 2021, Taipei (virtual), Taiwan. ⟨10.1109/DSN48987.2021.00050⟩

Communication dans un congrès hal-03193297v2
Deposit thumbnail

WazaBee: attacking Zigbee networks by diverting Bluetooth Low Energy chips

Romain Cayre , Florent Galtier , Guillaume Auriol , Vincent Nicomette , Mohamed Kaâniche et al.

IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2021), Jun 2021, Taipei (virtual), Taiwan. ⟨10.1109/DSN48987.2021.00049⟩

Communication dans un congrès hal-03193299v1
Deposit thumbnail

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

Romain Cayre , Florent Galtier , Guillaume Auriol , Vincent Nicomette , Mohamed Kaâniche et al.

Symposium sur la sécurité des technologies de l'information et des communications (SSTIC 2021), Jun 2021, Rennes (en ligne), France

Communication dans un congrès hal-03221143v1
Deposit thumbnail

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

Romain Cayre , Géraldine Marconato , Florent Galtier , Mohamed Kaâniche , Vincent Nicomette et al.

14th ACM Conference on Security and Privacy in Wireless and Mobile Networks, Jun 2021, Abu Dhabi, United Arab Emirates. ⟨10.1145/3448300.3468258⟩

Communication dans un congrès hal-03355664v1
Deposit thumbnail

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 et al.

2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE), Oct 2020, Coimbra, Portugal. pp.358-368, ⟨10.1109/ISSRE5003.2020.00041⟩

Communication dans un congrès hal-03094215v1
Deposit thumbnail

Anomaly detection using hardware performance counters on a large scale deployment

Malcolm Bourdon , Eric Alata , Mohamed Kaâniche , Vincent Migliore , Vincent Nicomette et al.

10th European Congress Embedded Real Time Systems (ERTS 2020), Jan 2020, Toulouse, France

Communication dans un congrès hal-03328254v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-02962655v1
Deposit thumbnail

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 et al.

19th IEEE International Symposium on Network Computing and Applications (NCA 2020), Nov 2020, Cambridge, MA, United States. ⟨10.1109/NCA51143.2020.9306726⟩

Communication dans un congrès hal-03328251v1
Deposit thumbnail

Mirage: towards a Metasploit-like framework for IoT

Romain Cayre , Vincent Nicomette , Guillaume Auriol , Eric Alata , Mohamed Kaâniche et al.

2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE), Oct 2019, Berlin, Germany

Communication dans un congrès hal-02346074v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-03094185v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-03094199v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-01848573v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-01982589v1
Deposit thumbnail

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

Communication dans un congrès hal-01967646v1
Deposit thumbnail

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

Jonathan Roux , Eric Alata , Guillaume Auriol , Mohamed Kaâniche , Vincent Nicomette et al.

17th IEEE International Symposium on Network Computing and Applications (NCA 2018), Nov 2018, Cambridge, Massachusetts, United States. 8p

Communication dans un congrès hal-01914981v1
Deposit thumbnail

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

Communication dans un congrès hal-01493597v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-01388060v1
Deposit thumbnail

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

Communication dans un congrès hal-01561710v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-01419962v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-01419014v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-01419016v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-01228861v1
Deposit thumbnail

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

Communication dans un congrès hal-01211774v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-01211772v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-01322882v1
Deposit thumbnail

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

Communication dans un congrès hal-01190054v1
Deposit thumbnail

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

Communication dans un congrès hal-01212064v1
Deposit thumbnail

Smart-TV security analysis: practical experiments

Yann Bachy , Frédéric Basse , Vincent Nicomette , Eric Alata , Mohamed Kaâniche et al.

International Conference on Dependable Systems and Networks, Jun 2015, Rio de Janeiro, Brazil

Communication dans un congrès hal-01178553v1
Deposit thumbnail

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

Yann Bachy , Vincent Nicomette , Eric Alata , Mohamed Kaâniche , Jean-Christophe Courrège et al.

Symposium sur la sécurité des technologies de l’information et des communications, Jun 2015, Rennes, France

Communication dans un congrès hal-01178550v1
Deposit thumbnail

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

Communication dans un congrès hal-01967640v1
Deposit thumbnail

Analyse de sécurité des box ADSL

Yann Bachy , Vincent Nicomette , Eric Alata , Yves Deswarte , Mohamed Kaâniche et al.

Symposium sur la sécurité des technologies de l’information et des communications, Jun 2014, Rennes, France

Communication dans un congrès hal-01178496v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-01176045v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-01419019v1
Deposit thumbnail

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

Communication dans un congrès hal-01076212v1
Deposit thumbnail

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

Ivan Studnia , Vincent Nicomette , Eric Alata , Yves Deswarte , Mohamed Kaâniche et al.

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

Communication dans un congrès hal-00848234v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-01176046v1
Deposit thumbnail

Survey on security threats and protection mechanisms in embedded automotive networks

Ivan Studnia , Vincent Nicomette , Eric Alata , Yves Deswarte , Mohamed Kaâniche et al.

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⟩

Communication dans un congrès hal-01176042v1
Deposit thumbnail

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

Ivan Studnia , Vincent Nicomette , Eric Alata , Yves Deswarte , Mohamed Kaâniche et al.

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

Communication dans un congrès hal-00852244v1
Deposit thumbnail

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

Communication dans un congrès hal-00926367v1
Deposit thumbnail

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

Communication dans un congrès hal-00839296v1

Detecting Attacks Against Data in Web Applications

Romaric Ludinard , Eric Totel , Frédéric Tronel , Vincent Nicomette , Mohamed Kaâniche et al.

CRiSIS 2012 - 7th International Conference on Risks and Security of Internet and Systems, Oct 2012, Cork, Ireland. pp.1-8

Communication dans un congrès hal-00735997v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-00851866v1
Deposit thumbnail

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, United States. pp.219-224, ⟨10.1109/SRDS.2012.37⟩

Communication dans un congrès hal-01176048v1
Deposit thumbnail

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

Communication dans un congrès hal-00761050v1
Deposit thumbnail

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

Communication dans un congrès hal-00761206v1
Deposit thumbnail

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

Communication dans un congrès hal-00706333v1
Deposit thumbnail

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

Communication dans un congrès hal-00761040v1
Deposit thumbnail

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

Communication dans un congrès hal-02192419v2
Deposit thumbnail

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

Communication dans un congrès hal-01282195v1
Deposit thumbnail

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

Communication dans un congrès 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

Communication dans un congrès hal-01285183v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-00755212v1
Deposit thumbnail

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

Communication dans un congrès hal-02267743v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-00852263v1
Deposit thumbnail

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

Communication dans un congrès inria-00486110v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-00428697v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-00851779v1
Deposit thumbnail

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

Communication dans un congrès inria-00510410v2
Deposit thumbnail

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⟩

Communication dans un congrès hal-00851876v1
Deposit thumbnail

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

Communication dans un congrès hal-00323983v1
Deposit thumbnail

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

Communication dans un congrès hal-00755282v1
Deposit thumbnail

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

Communication dans un congrès hal-00323969v1
Deposit thumbnail

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

Communication dans un congrès hal-00453029v1
Deposit thumbnail

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

Communication dans un congrès hal-00453026v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-00851873v1

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

Communication dans un congrès hal-00176312v1
Deposit thumbnail

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

Communication dans un congrès hal-00851761v1
Deposit thumbnail

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

Communication dans un congrès hal-00323999v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-00851766v1
Deposit thumbnail

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

Communication dans un congrès hal-00140367v1
Deposit thumbnail

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

Communication dans un congrès hal-00140355v1
Deposit thumbnail

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

Communication dans un congrès hal-00755279v1
Deposit thumbnail

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

Communication dans un congrès inria-00428658v1
Deposit thumbnail

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

Communication dans un congrès hal-00140407v1
Deposit thumbnail

CRITICAL UTILITY INFRASTRUCTURAL RESILIENCE

Giovanna Dondossola , Geert Deconinck , Felicita Di Giandomenico , Susanna Donatelli , Mohamed Kaâniche et al.

International Workshop on Complex Network and Infrastructure Protection (CNIP-06), Mar 2006, Rome, Italy. 12 p

Communication dans un congrès hal-00756964v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-01212162v1
Deposit thumbnail

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

Eric Alata , Marc Dacier , Yves Deswarte , Mohamed Kaâniche , Kostya Kortchinsky et al.

Workshop on Quality of protection (QoP 2005), Security Measurements and Metrics, Sep 2005, France. pp.79-92

Communication dans un congrès hal-00140390v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-00140364v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-01911676v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-01911680v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-01212216v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-00852425v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-01212223v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-01911685v1
Deposit thumbnail

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

Communication dans un congrès hal-00140480v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-01212242v1
Deposit thumbnail

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

Communication dans un congrès hal-00851765v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-01212234v1
Deposit thumbnail

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

Communication dans un congrès hal-00851758v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-00852434v1
Deposit thumbnail

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⟩

Communication dans un congrès 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⟩

Communication dans un congrès hal-00851871v1
Deposit thumbnail

ERTS 2024 - 12th European Congress on Embedded Real Time Software and Systems

Mohamed Kaâniche , Philippe Cuenot , Kevin Delmas , Jean Marc Gabriel , Adrien Gauffriau et al.

12th European Congress on Embedded Real Time Software and Systems (ERTS 2024), pp.1--489, 2024

Proceedings/Recueil des communications hal-04643654v1
Deposit thumbnail

ERTS 2022 proceedings

Philippe Cuenot , Marie de Roquemaurel , Kevin Delmas , Jean-Marc Gabriel , Adrien Gauffriau et al.

2022

Proceedings/Recueil des communications hal-03704287v1
Deposit thumbnail

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⟩

Chapitre d'ouvrage hal-03739141v1
Deposit thumbnail

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 et al.

Journal of Computer Virology and Hacking Techniques, 2022, ⟨10.1007/s11416-022-00426-1⟩

Article dans une revue hal-03756650v1
Deposit thumbnail

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 et al.

ACM Transactions on Cyber-Physical Systems, 2021, 5 (3), pp.Article No.: 24. ⟨10.1145/3441458⟩

Article dans une revue hal-03123925v1
Deposit thumbnail

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⟩

Article dans une revue hal-01761974v1
Deposit thumbnail

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⟩

Article dans une revue hal-01803432v1
Deposit thumbnail

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⟩

Article dans une revue hal-01496958v1
Deposit thumbnail

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⟩

Article dans une revue hal-01864357v1
Deposit thumbnail

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⟩

Article dans une revue hal-02877143v1
Deposit thumbnail

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⟩

Article dans une revue hal-01864298v1
Deposit thumbnail

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⟩

Article dans une revue hal-01930324v1
Deposit thumbnail

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⟩

Article dans une revue hal-01178546v1
Deposit thumbnail

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 et al.

International journal of secure software engineering, 2014, 5 (1), pp.19-38. ⟨10.4018/ijsse.2014010102⟩

Article dans une revue hal-01083296v1
Deposit thumbnail

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⟩

Article dans une revue hal-01967638v1
Deposit thumbnail

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⟩

Article dans une revue hal-00985670v1
Deposit thumbnail

é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⟩

Article dans une revue hal-01212202v1
Deposit thumbnail

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⟩

Article dans une revue hal-01911668v1

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

Article dans une revue hal-00851784v1
Deposit thumbnail

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⟩

Article dans une revue hal-01911985v1
Deposit thumbnail

Recognizing Gestures by Learning Local Motion Signatures of HOG Descriptors

Mohamed Kaâniche , Francois Bremond

IEEE Transactions on Pattern Analysis and Machine Intelligence, 2012

Article dans une revue hal-00696371v1
Deposit thumbnail

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

Andrea Bondavalli , Ossama Hamouda , Mohamed Kaâniche , Paolo Lollini , Istvan Majzik et al.

IEEE Transactions on Mobile Computing, 2011, 10 (6), pp.783-796. ⟨10.1109/TMC.2010.222⟩

Article dans une revue hal-00852105v1
Deposit thumbnail

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⟩

Article dans une revue hal-00762596v1
Deposit thumbnail

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⟩

Article dans une revue hal-00851762v1
Deposit thumbnail

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

Article dans une revue hal-00755268v1
Deposit thumbnail

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

Article dans une revue 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⟩

Article dans une revue istex hal-00851778v1
Deposit thumbnail

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

Article dans une revue hal-00757161v1
Deposit thumbnail

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⟩

Article dans une revue istex hal-00755223v1
Deposit thumbnail

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

Article dans une revue hal-00762602v1
Deposit thumbnail

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

Article dans une revue 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

Article dans une revue hal-00851764v1
Deposit thumbnail

Gesture recognition from video sequences

Mohamed Kaâniche

Signal and Image processing. Université Nice Sophia Antipolis, 2009. English. ⟨NNT : ⟩

Thèse tel-00428690v2
Deposit thumbnail

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 : ⟩

Thèse tel-00142181v1
Deposit thumbnail

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

HDR tel-00142168v1