Mohamed Kaâniche

 
 
 

Directeur de Recherche at LAAS-CNRS, Head of the Dependable Computing and Fault Tolerance research group

LAAS-CNRS
7 avenue du Colonel Roche
31077 Toulouse Cedex 4
FRANCE

Tel: +33 561 33 64 05
Fax: +33 561 33 64 11
Email: mohamed.kaaniche at laas.fr

 
   
 

Interests

  • Resilience and dependability evaluation using stochastic models and measurements: fault tolerant computing architectures, critical infrastructures, mobile systems, cyberphysical systems
  • Quantitative assessment of computer security
  • Analysis of computer failure data, Internet attacks and vulnerabilities
 
 

Biography

I have been at LAAS-CNRS since 1988 where I currently hold a position of "Directeur de Recherche CNRS", heading the Dependable Computing and Fault Tolerance Group since april 2013. From March 1997 to February 1998, I was a Visiting Research Assistant Professor the University of Illinois at Urbana-Champaign, Coordinated Research on High Performance Computing Group, IL, USA.

My research addresses the dependability, security and resilience assessment of  hardware and software fault tolerant computer systems and critical infrastructures, using analytical modeling and experimental measurement techniques. I have published more than 100 papers on these topics in International Journals and Conferences, and co-authored two books on dependable computing.

I have been involved in several national and European research projects and acted as a consultant for companies in France and as an expert for the European Commission. In particular, I have contributed to the ESPRIT projects PDCS, PDCS-2, DeVa, to the ACTS project SQUALE, and to the IST Projects DSoS, ASSERT and ReSIST funded by the European community. In particular, I have been the scientific coordinator of LAAS partnership in the IST FP6 projects HIDENETS and CRUTIAL funded by the European Commission, and in the DALI and the SVC national projects. Also, I have contributed to several contracts with major industrial partners in critical embedded systems (e.g., EADS-Airbus, Renault, Thales, etc.). I am also involved in the Aerospace Valley Cluster in Toulouse, co-ordinating in particular the Strategic Activity Domain on Air Transportation Safety and Security.

I have served on program and organization committees of several international conferences. I was Program co-Chair of PRDC-2004, the 10th International Symposium Pacific Rim Dependable Computing (Tahiti, French Polynesia, 2004),  Program Chair of EDCC-5, the 5th European Dependable Computing Conference  (Budapest, Hungary, 2005), Program Chair of DSN-PDS 2010, the 40th IEEE/IFIP International conference on Dependable Systems and Networks - Performance and Dependability Symposium (Chicago, USA, 2010), and Program Co-Chair of LADC-2011,the 5th Latin-American Symposium on Dependable Computing (Sao José dos Campos, Sao Paulo, Brazil, 2011), and SAFECOMP-2013, the 31st Int. Conference on Computer Safety, Reliability and Security (Toulouse, France, 2013). Additionally, I have served on the steering committee of DSN and LADC conferences since 2011, and I am co-Editor of the « It All Depends » Department of the IEEE Security & Privacy magazine.

I received my Certified Engineer degree from ENAC, the National School for Civil Aviation, Toulouse, France, in 1987, the PhD in Computer Science and the “Habilitation à diriger des recherches” degrees from the Toulouse National Polytechnic Institute, in 1992 and 1999, respectively. 

I am a member of: 

 
 

Selected publications

For a full list of all publications since 1990: click here


  • G. Silvestre, C. Sauvanaud, M. Kaâniche, K. Kanoun
    An Anomaly Detection Approach for Scale-out Storage Systems, 26th International Symposium on Computer Architecture and High Performance Computing (SBAC PAD 2014) , 22-24 Oct. 2014, Paris (France), 8p.

  • T. Probst, E. Alata, M. Kaâniche, V. Nicomette
    An Approach for the Automated Analysis of Network Access Controls in Cloud Computing Infrastructures, 8th International Conference on Network and System Security (NSS 2014), 15-17 Oct. 2014, Xi’an (China),14p.

  • J. Arlat, M. Diaz, M. Kaâniche
    Towards resilient cyber-physical systems: the ADREAM project, International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS 2014), 6-8 May 2014, Santorin (Greece), May 2014, 5p.

  • R. Akrout, E. Alata, M. Kaâniche, V. Nicomette
    An automated black box approach for web vulnerabilities identification and attack scenario generation, Journal of the Brazilian Computer Society, Vol.20, N°1, pp.1-16, Jan. 2014

  • R. Ludinard, E. Totel, F. Tronel, V. Nicomette, M. Kaâniche, E. Alata, R. Akrout, Y. Bachy
    An Invariant-based Approach for Detecting Attacks against Data in Web Applications, International Journal of Secure Software Engineering (IJSSE), IGI-Global, vol 5, Issue 1, pp.19-38, 2014

  • K. Tiassou, K. Kanoun, M. Kaâniche, C. Seguin, C. Papadopoulos
    Aircraft operational reliability—A model-based approach and a case study, Reliablity Engineering & System Safety, Elsevier, vol 120, pp.163-176, 2013. Dec. 2013

  • G. Vache, M. Kaâniche, V. Nicomette
    A Vulnerability Life Cycle-Based Security Modeling and Evaluation Approach, The Computer Journal, Oxford University Press, British Computer Society, vol 56, n°4, pp. 422-439, 2013

  • I. Studnia, V. Nicomette, E. Alata, Y. Deswarte, M. Kaâniche, Y. Laarouchi
    Security of embedded automotive networks : state of the art and a research proposal,2nd International Workshop on Critical Automotive applications: Robustness and Safety, co-located with SAFECOMP-2013, 25 Sept. 2013

  • J. Guiochet, Q. A. Do Hoang, M. Kaâniche, D. Powell
    Model-based safety analysis of human-robot interactions: The MIRAS walking assistance robot, International Conference on Rehabilitation Robotics (ICORR), Seattle, USA, 7 p., 24-26 June 2013

  • I. Studnia, V. Nicomette, E. Alata, Y. Deswarte, M. Kaâniche, Y. Laarouchi
    A Survey of Security Threats and Protection Mechanisms in Embedded Automotive Networks, 2nd Workshop on Open Resilient human-aware Cyber-physical Systems (WORCS-2013), Budapest (Hungary), 24 June 2013

  • E. Alata, M. Kaâniche, V. Nicomette, R. Akrout
    An automated vulnerability-based approach for web applications attack scenarios generation, Latin-American Symposium on Dependable Computing (LADC-2013), Rio de Janeiro (Brésil), 2-5 April 2013, pp. 78-85, 2013

  • I. Studnia, V. Nicomette, E. Alata, Y. Deswarte, M. Kaâniche
    Survey of Security Problems in Cloud Computing Virtual Machines Computer and Electronics Security Applications Rendez-vous (C&ESAR 2012), Rennes (France), 20-22 Nov. 2012, pp.61-74, 2012

  • G. Vache,V. Nicomette, M. Kaâniche
    Security-related vulnerability life cycle analysis, 7th International Conference on Risks and Security of Internet and System (CRISIS-2012), Cork, Irlande, 10-12 Oct. 2012

  • J. Guiochet, Q. A. Do Hoang, M. Kaâniche, D. Powell
    Applying Existing Standards to a Medical Rehabilitation Robot: Limits and Challenges Workshop FW5: Safety in Human-Robot Coexistence & Interaction: How can Standardization and Research benefit from each other?, IEEE/RSJ Int. Conference Intelligent Robots and Systems (IROS2012), Portugal, 12 oct. 2012

  • K. Tiassou, K. Kanoun, M. Kaâniche, C. Seguin, C. Papadopoulos
    Impact of Operational Reliability re-Assessment during Aircraft Missions, 31st IEEE International Symposium on Reliable Distributed Systems (SRDS-2012), 8-11 Oct. 2012, Irvine, California, USA, 2012

  • I. Studnia, V. Nicomette, M. Kaâniche, E. Alata
    A distributed platform of high interaction honeypots and experimental results, 10th Annual Conference on Privacy, Security and Trust (PST 2012), Paris, France, 16-18 July, 2012

  • M.Kaâniche, A. van Moorsel
    It All depends, and increasingly so, IEEE Security and Privacy, IEEE Computer Society, Vol.9, N°6, pp.56-57, Nov. 2011

  • A. Bondavalli, O. Hamouda, M.Kaâniche, P. Lollini, I. Majzik, H. P. Schewefel,
    The HIDENETS holistic approach for the analysis of large critical mobile systems, IEEE Transactions on Mobile Computing, Vol. 10, n° 6, pp. 783-796, june 2011

  • V. Nicomette, M.Kaâniche, E. Alata, M. Herrb, Set-up and deployment of a high-interaction honeypot: experiment and lessons learned, Journal in Computer Virology, Vol. 7, N°2, pp.143-157, May 2011

  • O. Hamouda, M.Kaâniche, K. Kanoun, Dependability Assessment of Two Network Supported Automotive Applications In Dependability and Computer Engineering: Concepts for Software-Intensive Systems, L. Petre, K. Sere, and E. Troubitsyna (Eds), IGI Global, Hershey, PA, USA, ISBN 978-1-60960-749-4, April 2011

  • M.Kaâniche, Resilience assessment of critical infrastructures: from accidental to malicious threats, Workshop on Resilience Assessment of Critical Infrastructures (RACI) Latin-American Symposium on Dependable Computing (LADC 2011), São José dos Campos (Brésil), 25-29 April 2011, pp.35-36

  • M. Martinello, M.Kaâniche, K. Kanoun, Performability Evaluation of Web-based Services In Performance and Dependability in Service Computing: Concepts, Techniques and Research Directions, V. Cardellini, E. Casalicchio, K. Castelo Branco, J. Estrella, F.J. Monaco (Eds), IGI Global, Hershey, PA, USA, N°ISBN 9781609607951, March 2011, 20p.

  • O. Hamouda, M.Kaâniche, K. Kanoun, Availability Modelling of a Virtual Black Box for Automotive Systems, 2nd International Workshop on Software Engineering for Resilient Systems (SERENE'10), Londres (GB), 15-16 April 2010, pp.52-60.

  • A. Abou El Kalam, Y. Deswarte, A. Baina, M. Kaâniche
    PolyOrBAC: a security framework for critical infrastructures
    International Journal of Critical Infrastructure Protection, vol. 2, n°4, pp.154-169, November 2009

  • O. Hamouda, M. Kaaniche, K. Kanoun, “Safety modeling and evaluation of automated highway systems”, 2009 IEEE/IFIP International Conference on Dependable Systems and Networks (DSN-2009), (Lisbon,  Portugal), 2009, pp. 73-82.
    Abstract PDF © IEEE

  • A.-E. Rugina, K. Kanoun, M. Kaaniche, “The ADAPT tool: from AADL architectural models to stochastic petri nets through model transformation”, 7th European Dependable Computing Conference (EDCC-7), (Kaunas,  Lithuania), 7-9 may 2008, pp.85-90.
    Abstract PDF © IEEE

  • M. Kaâniche, P. Lollini, A. Bondavalli, K. Kanoun
    Modeling the Resilience of Large and Evolving Systems
    International Journal on Performability Engineering, Vol. 4, N°. 2, pp.153-168, April 2008

  • L. Courtès, O. Hamouda, M. Kaâniche, M.O. Killijian, D. Powell
    Dependability Evaluation of Cooperative Backup Strategies for Mobile Devices
    IEEE International Pacific-Rim Symposium on Dependable Computing (PRDC-2007),  Melbourne (Australie), Dec. 2007
  • M. Kaâniche, E. Alata, V. Nicomette, Y. Deswarte, M. Dacier, “Empirical analysis and statistical modeling of attack processes based on honeypots”, Supplemental volume of the 2006 IEEE/IFIP International Conference on Dependable Systems and Networks (DSN-2006),  Workshop on Empirical Evaluation of Dependability and Security (WEEDS), (Philadelphia, USA), 25-28 June 2006, pp.119-124.
    Abstract PDF

  • E. Alata, V. Nicomette,M. Kaâniche, M. Dacier, M. Herrb, “Lessons Learned from the Deployment of a High-Interaction Honeypot”, 6th European Dependable Computing Conference (EDCC-6), (Coimbra,  Portugal), 2006, pp. 39-44.
    Abstract PDF © IEEE

  • C. Simache, M. Kaâniche,“Availability assessment of SunOS/Solaris Unix Systems based on Syslogd and wtmpx logfiles : a case study” in 2005 IEEE Pacific Rim International Symposium on Dependable Computing (PRDC'2005), (Changsha, China), pp.49-56, December 2005. 
    Abstract PDF © IEEE

  • E. Alata, M. Dacier, Y. Deswarte, M. Kaâniche, K. Kortchinsky, V. Nicomette, V.H. Pham, F. Pouget, “Collection and Analysis of Attack data based on Honeypots deployed on the Internet” in 1st Workshop on Quality of Protection (QoP),  (Milano, Italy), 2005.
    Abstract Available from Springer On-Line
  • M. Martinello, M. Kaâniche, K. Kanoun, “Web Service Availability: Impact of Error Recovery and Traffic Model” in Reliability Engineering and System Safety, Elsevier, 89(1), 2005, pp. 6-16.
    Abstract Available from ScienceDirect 

  • M. Kaâniche, K. Kanoun, M. Rabah “Multi-level modeling approach for the availability assessment of e-business applications", in Software: Practice and Experience, John Wiley & Sons, Ltd, Vol.33, N°14, pp.1323-1341, 2003.
    Abstract Available from Wiley Interscience 

  • M. Kaâniche, K. Kanoun, M. Martinello,“User-Perceived Availability of a web-based Travel Agency” in IEEE International Conference on Dependable Systems and Networks (DSN-2003), Performance and Dependability Symposium, (San Francisco, USA), 2003, pp. 709-718.
    Abstract PDF © IEEE

  • M. Kaâniche, K. Kanoun, M. Rabah,“Multi-level Modeling Approach for the  Availability assessment of e-business applications”, Software: Practice and Experience, John Wiley & Sons Ltd. 2003, pp.1323-1341.
    Abstract Available from Wiley Interscience

  • M. Kaâniche, Y. Leguedart, J. Arlat, T. Boyer, “An Investigation on Mutation Strategies for Fault Injection into RDD-100 Models”, Safety Science, Elsevier. Issue 5, Vol.42, pp.385-403, Juin 2004.
    Abstract PDF

  • C. Simache, M. Kaâniche,“Event Log based Windows NT and 2K Systems” in 2002 IEEE Pacific Rim International Symposium on Dependable Computing (PRDC'2002), (Rsukuba, Japan), pp.311-15, 2002. 
    Abstract PDF © IEEE

  • M. Kaâniche, J.-C. Laprie, J.-P.Blanquart, “A Framework for Dependability Engineering of Critical Computing Systems”, Safety Science, Elsevier. Issue 9, vol. 40, 2002, pp. 731-52. 
    Abstract PDF Available from ScienceDirect

  • C. Simache, M. Kaâniche,“Measurement-based Availability Analysis of Unix Systems in a Distributed Environment” in 12th IEEE International Symposium on Software Reliability Engineering (ISSRE'2001), Hong-Kong, pp.346-55, 2001. 
    Abstract PDF © IEEE

  • R. Ortalo, Y. Deswarte, M. Kaâniche “Experimenting with Quantitative Evaluation Tools for Monitoring Opertaional Security”, IEEE Transactions on Software Engineering, 25(5), pp.633-50, 1999.
    Abstract PDF © IEEE

  • N. Fota, M. Kaâniche, K. Kanoun “Dependability Evaluation of an Air-Traffic Control Computing System”, IEEE International Computer Performance and Dependability Symposium, 1998. IPDS '98, (Raleigh, NC, USA) pp.206-215. Published in. Performance Evaluation, Elsvier, 35(3-4), pp.253-73, 1999.
    Abstract PDF © IEEE

  • Y. Deswarte, M. Kaâniche, P. Corneillie, J. Goodson, “SQUALE Dependability Assessment Criteria”, 18th International Conference on Computer Safety, Reliability and Security (SAFECOMP'99), (Toulouse, France), Lecture Notes on Computer Science 1698, Springer-Verlag,  pp.27-38, 1999.
    Abstract Available from Springer Link

  • M. Kaaniche, L. Romano, Z.Kalbarczyck, R. Iyer, R. Karcich, “A Hierarchical Approach for Dependability Analysis of a Cache-based RAID Storage Architecture”,  28th IEEE International Symposium on Fault-Tolerant Computing (FTCS'28), (Münich, Germany), pp.6-15, 1998. 
    Abstract PDF © IEEE

  • K. Kanoun, M. Kaâniche, J-C. Laprie, “Qualitative and Quantitative Reliability Assessment”,  IEEE Software, 13 (2), pp.77-86, 1997.
    Abstract PDF © IEEE

  • M. Kaâniche, K. Kanoun, “Reliability of a  Commercial Telecommunications systems”,  7th IEEE International International Symposium on Software Reliability Engineering (ISSRE'96), (New York, USA), pp.207-12, 1996. 
    Abstract PDF © IEEE

  • J-C. Laprie, M. Kaâniche, K. Kanoun, “Modeling Computer Systems Evolutions; Non-stationary Processes and Stochastic Petri Nets—Application to Dependability Growth”,  6th IEEE International Workshop on Petri Nets and Performance Models (PNPM'95), (Durham, NC, USA), pp.221-30, 1995. 
    Abstract PDF © IEEE

  • K. Kanoun, M. Kaâniche, C. Beounes, J-C. Laprie, J. Arlat “Reliability Growth of Fault-Tolerant Software”,  IEEE Transactions on Reliability, Special Issue on Fault-Tolerant Software, 42 (2), pp.205-19, 1993.
    Abstract PDF © IEEE

  • J-C. Laprie, K. Kanoun, C. Beounes, M. Kaâniche, “The KAT (Knowledge-Action-Transformation) Approach to the Modeling and Evaluation of Reliability and Availability Growth”,  IEEE Transactions on Software Engineering, Special Issue on Fault-Tolerant Software, 17 (4), pp.370-82, 1991.
    Abstract PDF © IEEE

 
 

These-HDR

  • Thèse: "Evaluation de la sûreté de fonctionnement informatique. Fautes physiques, fautes de conception, malveillances", Thèse de Doctorat (PhD), Institut National Polytechnique, Toulouse, 13 Janvier 1992, N°519, 189p
    Abstract PDF

  • HDR: "Evaluation de la sûreté de fonctionnement informatique. Fautes physiques, fautes de conception, malveillances", Habilitation à Diriger les Recherches, Institut National Polytechnique, Toulouse, 12 février 1999, N°129
    Abstract PDF
 

 

 

 
 
 


Last updated 2014-11-05