Mohamed Kaaniche
Publications
Publications
|
|
OASIS: An Intrusion Detection System Embedded in Bluetooth Low Energy Controllers2024 ACM Asia conference on Computer and Communications Security (ASIACCS)., Jul 2024, Singapore, Singapore |
|
|
Wireless Modulation Identification: filling the gap in IoT networks security audit21st Conference on Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA '24), Jul 2024, Lausanne, Switzerland |
|
|
InjectaBLE: Injecting malicious traffic into established Bluetooth Low Energy connectionsIEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2021), Jun 2021, Taipei (virtual), Taiwan. ⟨10.1109/DSN48987.2021.00050⟩ |
|
|
WazaBee: attacking Zigbee networks by diverting Bluetooth Low Energy chipsIEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2021), Jun 2021, Taipei (virtual), Taiwan. ⟨10.1109/DSN48987.2021.00049⟩ |
|
|
InjectaBLE : injection de trafic malveillant dans une connexion Bluetooth Low EnergySymposium sur la sécurité des technologies de l'information et des communications (SSTIC 2021), Jun 2021, Rennes (en ligne), France |
|
|
Cross-protocol attacks: weaponizing a smartphone by diverting its Bluetooth controller14th ACM Conference on Security and Privacy in Wireless and Mobile Networks, Jun 2021, Abu Dhabi, United Arab Emirates. ⟨10.1145/3448300.3468258⟩ |
|
|
On-board Diagnosis: A First Step from Detection to Prevention of Intrusions on Avionics Applications2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE), Oct 2020, Coimbra, Portugal. pp.358-368, ⟨10.1109/ISSRE5003.2020.00041⟩ |
|
|
Anomaly detection using hardware performance counters on a large scale deployment10th European Congress Embedded Real Time Systems (ERTS 2020), Jan 2020, Toulouse, France |
|
|
A PSD-based fingerprinting approach to detect IoT device spoofing25th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2020), Dec 2020, Perth, Australia. ⟨10.1109/PRDC50213.2020.00015⟩ |
|
|
Hardware-Performance-Counters-based anomaly detection in massively deployed smart industrial devices19th IEEE International Symposium on Network Computing and Applications (NCA 2020), Nov 2020, Cambridge, MA, United States. ⟨10.1109/NCA51143.2020.9306726⟩ |
|
|
Mirage: towards a Metasploit-like framework for IoT2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE), Oct 2019, Berlin, Germany |
|
|
Attack Injection into Avionic Systems through Application Code Mutation2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC), Sep 2019, San Diego, United States. pp.1-8, ⟨10.1109/DASC43569.2019.9081616⟩ |
|
|
Implementation of a Host-Based Intrusion Detection System for Avionic Applications2019 IEEE 24th Pacific Rim International Symposium on Dependable Computing (PRDC), Dec 2019, Kyoto, Japan. pp.178-17809, ⟨10.1109/PRDC47002.2019.00048⟩ |
|
|
Specification-Based Protocol ObfuscationDSN 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⟩ |
|
|
SAAC: Secure Android Application Context a Runtime Based Policy and its ArchitectureIEEE 17th International Symposium on Network Computing and Applications (NCA 2018), Nov 2018, Cambridge, MA, United States. ⟨10.1109/NCA.2018.8548343⟩ |
|
|
Anomaly based Intrusion Detection for an Avionic Embedded SystemAerospace Systems and Technology Conference (ASTC-2018), Nov 2018, Londres, United Kingdom |
|
|
RadIoT: Radio Communications Intrusion Detection for IoT - A Protocol Independent Approach17th IEEE International Symposium on Network Computing and Applications (NCA 2018), Nov 2018, Cambridge, Massachusetts, United States. 8p |
|
|
An abstraction model and a comparative analysis of Intel and ARM hardware isolation mechanismsThe 22nd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2017), Jan 2017, Christchurch, New Zealand |
|
|
Protocol reverse engineering: Challenges and obfuscationThe 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⟩ |
|
|
Toward an Intrusion Detection Approach for IoT based on Radio Communications Profiling13th European Dependable Computing Conference, Sep 2017, Geneva, Switzerland. 4p |
|
|
Bypassing IOMMU Protection against I/O Attacks7th Latin-American Symposium on Dependable Computing (LADC’16), Oct 2016, Cali, Colombia. pp.145-150, ⟨10.1109/LADC.2016.31⟩ |
|
|
Anomaly Detection and Root Cause Localization in Virtual Network Functions27th International Symposium on Software Reliability Engineering (ISSRE 2016), Oct 2016, Ottawa, Canada. pp.196 - 206, ⟨10.1109/ISSRE.2016.32⟩ |
|
|
Towards Black-Box Anomaly Detection in Virtual Network FunctionsThe 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⟩ |
|
|
A Model for Safety Case Confidence Assessment34th International Conference on Computer Safety, Reliability and Security (SAFECOMP), Sep 2015, Delft, Netherlands. ⟨10.1007/978-3-319-24255-2_23⟩ |
|
|
Data Stream Clustering for Online Anomaly Detection in Cloud Applications11th European Dependable Computing Conference (EDCC 2015), Sep 2015, Paris, France |
|
|
Tejo: A Supervised Anomaly Detection Scheme for NewSQL Databases7th International Workshop on Software Engineering for Resilient Systems (SERENE 2015), Sep 2015, Paris, France. ⟨10.1007/978-3-319-23129-7_9⟩ |
|
|
Design and Implementation of a Hardware Assisted Security Architecture for Software Integrity MonitoringThe 21st IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2015), Nov 2015, Zhangjiajie, China. 10p., ⟨10.1109/PRDC.2015.46⟩ |
|
|
Security of ISP Access Networks: practical experiments11th European Dependable Computing Conference - Dependability in Practice (EDCC 2015), Sep 2015, Paris, France |
|
|
Automated Evaluation of Network Intrusion Detection Systems in IaaS Clouds11th European Dependable Computing Conference (EDCC 2015), Sep 2015, Paris, France |
|
|
Smart-TV security analysis: practical experimentsInternational Conference on Dependable Systems and Networks, Jun 2015, Rio de Janeiro, Brazil |
|
|
Protocole HbbTV et sécurité : quelques expérimentationsSymposium sur la sécurité des technologies de l’information et des communications, Jun 2015, Rennes, France |
|
|
A language-based intrusion detection approach for automotive embedded networksIEEE Pacific Rim International Symposium on Dependable Computing ( PRDC ), Nov 2015, Zhangjiajie, China |
|
|
Analyse de sécurité des box ADSLSymposium sur la sécurité des technologies de l’information et des communications, Jun 2014, Rennes, France |
|
|
An Approach for the Automated Analysis of Network Access Controls in Cloud Computing Infrastructures8th 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⟩ |
|
|
Towards resilient cyber-physical systems: The ADREAM project9th 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⟩ |
|
|
An anomaly detection approach for scale-out storage systems26th International Symposium on Computer Architecture and High Performance Computing, Oct 2014, Paris, France |
|
|
Security of embedded automotive networks: state of the art and a research proposalSAFECOMP 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 |
|
|
An Automated Approach to Generate Web Applications Attack ScenariosThe 6th Latin-American Symposium on Dependable Computing (LADC-2013), Apr 2013, Rio de Janeiro, Brazil. pp.78-85, ⟨10.1109/LADC.2013.22⟩ |
|
|
Survey on security threats and protection mechanisms in embedded automotive networks2nd 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⟩ |
|
|
A Survey of Security Threats and Protection Mechanisms in Embedded Automotive NetworksThe 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 |
|
|
An Approach for Security Evaluation and Analysis in Cloud ComputingSafecomp 2013 FastAbstract, Sep 2013, Toulouse, France. pp.NC |
|
|
Model-Based Safety Analysis of Human-Robot Interactions: the MIRAS Walking Assistance RobotInternational Conference on Rehabilitation Robotics (ICORR), Jun 2013, Seattle, United States. pp.1-7 |
Detecting Attacks Against Data in Web ApplicationsCRiSIS 2012 - 7th International Conference on Risks and Security of Internet and Systems, Oct 2012, Cork, Ireland. pp.1-8 |
|
|
|
Security-related vulnerability life cycle analysis7th International Conference on Risk and Security of Internet and Systems (CRiSIS-2012), Oct 2012, Cork, Ireland. pp.1-8, ⟨10.1109/CRISIS.2012.6378954⟩ |
|
|
Impact of Operational Reliability Re-assessment during Aircraft MissionsThe 31st IEEE Symposium on Reliable Distributed Systems (SRDS 2012), Oct 2012, Irvine, United States. pp.219-224, ⟨10.1109/SRDS.2012.37⟩ |
|
|
Impact de l'évaluation de la fiabilité opérationnelle pendant la mission d'un avionCongrès de Maîtrise des Risques et de sûreté de Fonctionnement (Lamda Mu 17), Oct 2012, Tours, France. 9 p |
|
|
Survey of Security Problems in Cloud Computing Virtual MachinesComputer and Electronics Security Applications Rendez-vous (C&ESAR 2012). Cloud and security:threat or opportunity, Nov 2012, Rennes, France. p. 61-74 |
|
|
A distributed plateform of high interaction honeypots and experimental results (extended version)Privacy Security Trust (PST 2012), Jul 2012, Paris, France. 8p |
|
|
Online model adaptation for aircraft operational reliability assessment6th International Congress, Embedded Real Time Software and Systems (ERTS2 2012), Feb 2012, Toulouse, France. pp.1-11 |
|
|
Human-robot interactions: model-based risk analysis and safety case constructionEmbedded Real Time Software and Systems (ERTS2 2012), Feb 2012, Toulouse, France |
|
|
Applying Existing Standards to a Medical Rehabilitation Robot: Limits and ChallengesWorkshop 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 |
|
|
Modeling Aircrafts Operational ReliabilityInternational Conference on Computer Safety, Reliability ans Security (SAFECOMP 2011), Sep 2011, Naples, Italy. pp.157-170 |
Model-Based Risk Analysis Of Human-Robot Interactions And Safety Argument ConstructionModel Based Safety Assessment Workshop (MBSAW), Mar 2011, Toulouse, France |
|
|
|
A clustering approach for web vulnerabilities detection17th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2011), Dec 2011, Pasadena, CA, United States. pp.194-203, ⟨10.1109/PRDC.2011.31⟩ |
|
|
Dependability Modelling of Safety Applications in Communicating Automotive SystemsERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France |
|
|
Availability Modelling of a Virtual Black Box for Automotive SystemsThe 2nd International Workshop on Software Engineering for Resilient Systems (SERENE'10), Apr 2010, Londres, United Kingdom. pp.52-60, ⟨10.1145/2401736.2401742⟩ |
|
|
Gesture Recognition by Learning Local Motion SignaturesCVPR 2010 - IEEE Conference on Computer Vision and Pattern Recognition, Jun 2010, San Franscico, CA, United States |
|
|
Tracking HOG Descriptors for Gesture RecognitionAVSS 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⟩ |
|
|
Safety modeling and evaluation of Automated Highway SystemsThe IEEE/IFIP International Conference on Dependable Systems & Networks (DSN '09), Jun 2009, Lisbonne, Portugal. pp.73 - 82, ⟨10.1109/DSN.2009.5270352⟩ |
|
|
MULTIPLE OBJECT TRACKING WITH OCCLUSIONS USING HOG DESCRIPTORS AND MULTI RESOLUTION IMAGES3rd International Conference on Imaging for Crime Detection and Prevention, Dec 2009, London, United Kingdom |
|
|
Connectivity dynamics in vehicular freeway scenariosGlobal Information Infrastructure Symposium (GIIS '09), Jun 2009, Hammamet, Tunisia. pp.1-8, ⟨10.1109/GIIS.2009.5307090⟩ |
|
|
Software dependability modeling using an industry-standard architecture description language4th European Congress ERTS Embedded Real Time Software, Jan 2008, Toulouse, France |
|
|
Multi-level dependability modeling of interdependencies between the Electricity and Information Infrastructures3rd International Workshop on Critical Information Infrastructures Security (CRITIS 2008), Rome (Italie), Octobre 2008, pp.63-74, Oct 2008, Rome, Italy. pp.48-59 |
|
|
The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation7th European Dependable Computing Conference (EDCC), May 2008, Kaunas, Lithuania. pp.85-90 |
|
|
Modélisation et évaluation de la sûreté de fonctionnement d'un système d'autoroute automatisée16ème Colloque de Maîtrise des Risques et de Sûreté de Fonctionnement. LAMBDA-MU 16, Oct 2008, Avignon, France |
|
|
Dependability modeling and evaluation of an automated highway systemFast Abstract, 7th European Dependable Computing Conference (EDCC 2008), May 2008, Kaunas, Lithuania |
|
|
Dependability Evaluation of a Replication Service for Mobile Applications in Dynamic Ad-Hoc Networks5th International Service Availability Symposium, ISAS 2008, May 2008, Tokyo, Japan. pp.171-186, ⟨10.1007/978-3-540-68129-8_14⟩ |
Access Control for Collaborative Systems: A Web Services Based ApproachIEEE ICWS (IEEE International Conference on Web Services), Jul 2007, Salt Lake City, United States. pp.1064-1072 |
|
|
|
Access Control for Collaborative Systems: A Web Services Based ApproachIEEE International Conference on Web Services, ICWS 2007, Jul 2007, Salt Lake City, UT, United States. pp.1064-1071 |
|
|
Modelling interdependencies between the electricity and information infrastructures26th International Conference on Computer Safety, Reliability and Security, SAFECOMP-2007, Sep 2007, Nurenberg, Germany. pp.54-67 |
|
|
Dependability Evaluation of Cooperative Backup Strategies for Mobile Devices13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007), Dec 2007, Melbourne, Australia. pp.139 - 146, ⟨10.1109/PRDC.2007.21⟩ |
|
|
Empirical analysis and statistical modeling of attack processes based on honeypotsIEEE/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 |
|
|
Lessons Learned from the deployment of a high-interaction honeypotEuropean Dependable Computing Conference, Oct 2006, France. pp.39-44 |
|
|
MODÉLISATION DE LA SÛRETÉ DE FONCTIONNEMENT DE SYSTÈMES À PARTIR DU LANGAGE AADL15ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement (Lambda-Mu'15), Oct 2006, Lille, France. 8p |
|
|
Monitoring Trichogramma Activities From Videos : An adaptation of cognitive vision system to biology field2nd International Cognitive Vision Workshop 2006 in conjunction with the European Conference on Cognitive Vision 2006, May 2006, Graz, Austria |
|
|
An architecture-based dependability modeling framework using AADLIASTED International Conference on Software Engineering and Applications, Nov 2006, France. pp.222-227 |
|
|
CRITICAL UTILITY INFRASTRUCTURAL RESILIENCEInternational Workshop on Complex Network and Infrastructure Protection (CNIP-06), Mar 2006, Rome, Italy. 12 p |
|
|
Modeling user perceived unavailability due to long response times20th IEEE International Parallel and Distributed Processing Symposium (IPDPS 2006), Apr 2006, Rhodes Island, Greece. 8p., ⟨10.1109/IPDPS.2006.1639671⟩ |
|
|
Collection and analysis of attack data based on honeypots deployed on the InternetWorkshop on Quality of protection (QoP 2005), Security Measurements and Metrics, Sep 2005, France. pp.79-92 |
|
|
Availability assessment of SunOS/Solaris Unix Systems based on Syslogd and wtmpx logfiles : a case studyIEEE Pacific Rim International Symposium on Dependable Computing (PRDC'2005), Dec 2005, Changsha Hunan, China. pp.49-56, ⟨10.1109/PRDC.2005.20⟩ |
|
|
A User-Perceived Availability Evaluation of a Web Based Travel AgencyInternational Conference on Deependable Systems and Networks (DSN-2003), Jun 2003, San Francisco, CA, United States. pp.709 - 718, ⟨10.1109/DSN.2003.1209986⟩ |
|
|
Event log based dependability analysis of Windows NT and 2K systemsPacific Rim International Symposium on Dependable Computing (PRDC 2002), Dec 2002, Tsukuba, Japan. pp.311-315, ⟨10.1109/PRDC.2002.1185651⟩ |
|
|
A framework for modeling availability of E-business systems10th International Conference on Computer Communications and Networks, 2001 (ICCCN 2001), Oct 2001, Scottsdale, AZ, United States. pp. 40-45, ⟨10.1109/ICCCN.2001.956217⟩ |
|
|
Measurement-based availability analysis of Unix systems in a distributed environment12th International Symposium on Software Reliability Engineering (ISSRE 2001), Nov 2001, Hong-Kong, Hong Kong SAR China. pp.346 - 355, ⟨10.1109/ISSRE.2001.989489⟩ |
|
|
Dependability engineering of complex computing systems6th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'2000), Sep 2000, Tokyo, Japan. pp.36-46, ⟨10.1109/ICECCS.2000.873926⟩ |
|
|
SQUALE Dependability Assessment Criteria18th International Conference on Computer Safety, Reliability, and Security (SAFECOMP-99), Sep 1999, Toulouse, France. pp.27-38, ⟨10.1007/3-540-48249-0_3⟩ |
|
|
A Hierarchical Approach for Dependability Analysis of a Commercial Cache-Based RAID Storage Architecture28th IEEE International Symposium on Fault-Tolerant Computing, Jun 1998, Munich, Germany. pp.6-15 |
|
|
Reliability of a commercial telecommunications system7th International Symposium on Software Reliability Engineering (ISSRE'96), Oct 1996, White Plains, New York, United States. ⟨10.1109/ISSRE.1996.558807⟩ |
|
|
Safety Analysis and Evaluation of an Air Traffic Control Computing SystemThe 15th International Conference on Computer Safety, Reliability and Security (SAFECOMP-1996), Oct 1996, Vienne, Austria. pp.219-229 |
|
|
Software Failure Data Analysis of two Successive Generations of a Switching System12th IFAC International Conference on Computer Safety, Reliability and Security (SAFECOMP'93), Oct 1993, Poznan, Poland. ⟨10.1007/978-1-4471-2061-2_24⟩ |
|
|
Experience in Software Reliability: From Data Collection to Quantitative EvaluationFourth International Symposium on Software Reliability Engineering (ISSRE-1993), Nov 1993, Denver, United States. pp.234-245 |
|
|
SoRel: A tool for reliability growth analysis and prediction from statistical failure dataThe Twenty-Third International Symposium on Fault-Tolerant Computing (FTCS-23), Jun 1993, Toulouse, France. pp.654-659, ⟨10.1109/FTCS.1993.627370⟩ |
|
|
The discrete time hyperexponential model for software reliability growth evaluationThird International Symposium on Software Reliability Engineering (ISSRE-1992), Oct 1992, Research Triangle Park, NC, United States. pp.64 - 75, ⟨10.1109/ISSRE.1992.285857⟩ |
The transformation approach to the modeling and evaluation of the reliability and availability growthThe 20th International Symposium on Fault-Tolerant Computing (FTCS-20), Jun 1990, Newcastle Upon Tyne, United Kingdom. pp.364 - 371, ⟨10.1109/FTCS.1990.89390⟩ |
|
|
ERTS 2024 - 12th European Congress on Embedded Real Time Software and Systems12th European Congress on Embedded Real Time Software and Systems (ERTS 2024), pp.1--489, 2024 |
|
|
ERTS 2022 proceedings2022 |
|
|
LA GAZETTE DU GDR Sécurité informatique- En direct des Labos (LAAS-CNRS)2023 |
|
|
System dependability assessment -Interplay between research and practiceSystem 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⟩ |
|
|
Anomaly Detection in Cloud ApplicationsMachine Learning [cs.LG]. 2016 |
|
|
Utilisation des réseaux bayésiens et de l'approche de Fenton pour l'estimation de probabilité d'occurrence d'événements2013 |
|
|
Dependability modelling of a fault tolerant duplex system using AADL and GSPNs[Research Report] 05315, LAAS-CNRS. 2005 |
|
|
Gesture recognition from video sequencesSignal and Image processing. Université Nice Sophia Antipolis, 2009. English. ⟨NNT : ⟩ |
|
|
Modèle hyperexponentiel en temps continu et en temps discret pour l'évaluation de la croissance de la sûreté de fonctionnementRéseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 1992. Français. ⟨NNT : ⟩ |
|
|
Evaluation de la sûreté de fonctionnement informatique. Fautes physiques, fautes de conception, malveillancesRéseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 1999 |