Mohamed Kaaniche

130

Documents

Publications

	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
	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⟩ Communication dans un congrès hal-03193299v1
	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 Communication dans un congrès hal-03221143v1
	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⟩ Communication dans un congrès hal-03355664v1
	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⟩ Communication dans un congrès hal-03193297v2
	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
	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⟩ Communication dans un congrès hal-03094215v1
	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 Communication dans un congrès hal-03328254v1
	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⟩ Communication dans un congrès hal-03328251v1
	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 Communication dans un congrès hal-02346074v1
	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
	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
	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 Communication dans un congrès hal-01914981v1
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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 Communication dans un congrès hal-01178553v1
	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
	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
	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
	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
	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 Communication dans un congrès hal-01178550v1
	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
	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
	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
	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 Communication dans un congrès hal-01178496v1
	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 Communication dans un congrès hal-00852244v1
	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⟩ Communication dans un congrès hal-01176042v1
	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 Communication dans un congrès hal-00848234v1
	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
	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
	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
	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
	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
	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
	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
	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 Communication dans un congrès hal-00735997v1
	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
	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
	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⟩ Communication dans un congrès hal-01176048v1
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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 Communication dans un congrès hal-00756964v1
	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
	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 Communication dans un congrès hal-00140390v1
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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

	Gesture recognition from video sequences Mohamed Kaâniche Signal and Image processing. Université Nice Sophia Antipolis, 2009. English. ⟨NNT : ⟩ Thèse tel-00428690v2
	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

	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

	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⟩ Article dans une revue hal-03756650v1
	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⟩ Article dans une revue hal-03123925v1
	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
	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
	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
	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
	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
	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
	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⟩ Article dans une revue hal-01083296v1
	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
	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
	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
	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
	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
	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
	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
	é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
	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
	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⟩ Article dans une revue hal-00852105v1
	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
	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
	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
	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 hal-00851778v1
	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
	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 hal-00755223v1
	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
	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

	Utilisation des réseaux bayésiens et de l'approche de Fenton pour l'estimation de probabilité d'occurrence d'événements Quynh Anh Do Hoang , Jérémie Guiochet , Mohamed Kaâniche , David Powell 2013 Rapport hal-00823620v1
	Dependability modelling of a fault tolerant duplex system using AADL and GSPNs Ana-Elena E. Rugina , Karama Kanoun , Mohamed Kaâniche , Jérémie Guiochet [Research Report] 05315, LAAS-CNRS. 2005 Rapport hal-01295346v1

	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

	Anomaly Detection in Cloud Applications Javier Alcaraz , Mohamed Kaâniche , Carla Sauvanaud Machine Learning [cs.LG]. 2016 Mémoire d'étudiant hal-01406168v1

	ERTS 2022 proceedings Philippe Cuenot , Marie de Roquemaurel , Kevin Delmas , Jean-Marc Gabriel , Adrien Gauffriau 2022 Proceedings/Recueil des communications hal-03704287v1

Mohamed Kaaniche

Publications

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

WazaBee: attacking Zigbee networks by diverting Bluetooth Low Energy chips

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

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

InjectaBLE: Injecting malicious traffic into established Bluetooth Low Energy connections

A PSD-based fingerprinting approach to detect IoT device spoofing

On-board Diagnosis: A First Step from Detection to Prevention of Intrusions on Avionics Applications

Anomaly detection using hardware performance counters on a large scale deployment

Hardware-Performance-Counters-based anomaly detection in massively deployed smart industrial devices

Mirage: towards a Metasploit-like framework for IoT

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

Attack Injection into Avionic Systems through Application Code Mutation

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

Anomaly based Intrusion Detection for an Avionic Embedded System

Specification-Based Protocol Obfuscation

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

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

An abstraction model and a comparative analysis of Intel and ARM hardware isolation mechanisms

Towards Black-Box Anomaly Detection in Virtual Network Functions

Protocol reverse engineering: Challenges and obfuscation

Anomaly Detection and Root Cause Localization in Virtual Network Functions

Bypassing IOMMU Protection against I/O Attacks

Security of ISP Access Networks: practical experiments

Design and Implementation of a Hardware Assisted Security Architecture for Software Integrity Monitoring

Tejo: A Supervised Anomaly Detection Scheme for NewSQL Databases

Smart-TV security analysis: practical experiments

Data Stream Clustering for Online Anomaly Detection in Cloud Applications

A Model for Safety Case Confidence Assessment

Automated Evaluation of Network Intrusion Detection Systems in IaaS Clouds

A language-based intrusion detection approach for automotive embedded networks

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

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

Towards resilient cyber-physical systems: The ADREAM project

An anomaly detection approach for scale-out storage systems

Analyse de sécurité des box ADSL

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

Survey on security threats and protection mechanisms in embedded automotive networks

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

An Approach for Security Evaluation and Analysis in Cloud Computing

Model-Based Safety Analysis of Human-Robot Interactions: the MIRAS Walking Assistance Robot

An Automated Approach to Generate Web Applications Attack Scenarios

Survey of Security Problems in Cloud Computing Virtual Machines

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

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

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

Detecting Attacks Against Data in Web Applications

Online model adaptation for aircraft operational reliability assessment

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

Impact of Operational Reliability Re-assessment during Aircraft Missions

Security-related vulnerability life cycle analysis

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

Modeling Aircrafts Operational Reliability

A clustering approach for web vulnerabilities detection

Dependability Modelling of Safety Applications in Communicating Automotive Systems

Availability Modelling of a Virtual Black Box for Automotive Systems

Gesture Recognition by Learning Local Motion Signatures

Safety modeling and evaluation of Automated Highway Systems

Tracking HOG Descriptors for Gesture Recognition

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

Connectivity dynamics in vehicular freeway scenarios

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

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

Software dependability modeling using an industry-standard architecture description language

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

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

Dependability modeling and evaluation of an automated highway system

Dependability Evaluation of Cooperative Backup Strategies for Mobile Devices

Modelling interdependencies between the electricity and information infrastructures

Access Control for Collaborative Systems: A Web Services Based Approach

Access Control for Collaborative Systems: A Web Services Based Approach

An architecture-based dependability modeling framework using AADL

Modeling user perceived unavailability due to long response times

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

Empirical analysis and statistical modeling of attack processes based on honeypots

Lessons Learned from the deployment of a high-interaction honeypot

CRITICAL UTILITY INFRASTRUCTURAL RESILIENCE

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

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