OUCHANI Samir

Enseignant-chercheur

Research Gate        Google Scholar

souchaniatcesi.fr

Ecole d’Ingénieur CESI
Europole d’arbois
Aix-en-Provence 13545

Expérience en recherche

Enseignant chercheur, depuis Oct 2017: Laboratoire LINEACT Mon objectif est de développer des techniques de modélisation sure dédiée aux systèmes informatiques interdisciplinaire, en incluant les aspects social et physique. Il s’agit de proposer une technique de vérification formelle appropriée à ce type des systèmes, un langage de spécification et un mécanisme de renforcement des règles de la sécurité.

Formations

Doctorat en Sécurité Informatique

Université Concordia, Canada

2013

Master en Informatique

Université de Metz, France

2006

Ingénieur en Informatique

Université de SBA, Algérie

1997

Experience d’enseignement

Chargé de cours, depuis Oct 2017: E. I. CESI Responsable des modules d’Informatique et les options science de données et cyber sécurité.

Production scientifique (Sélection)

Tutoriaux

  • Samir Ouchani: “Formalizing and Evaluating Security in SocioTechnical Systems”. The 7th International Congress on Interdisciplinary Behavior and Social Sciences, 24-25 November 2018, ICIBSoS 2018, Batam, Indonesia.
  • Otmane Aït Mohamed, Mourad Debbabi, Samir Ouchani: “Security Verification of SysML Diagrams”. The 23th International Conference on Microelectronics. December 17-20, 2012, in Algiers (Algeria), IEEE ICM’12.

  Papiers journaux

  • Abdelhakim Baouya, Djamal Bennouar, Otmane Ait Mohamed and Samir Ouchani: “Safety analysis of train control system based on model-driven design methodology ", Journal of Computers in Industry 105, 1-16, Elsevier, November 2018.
  • Abd El-Aziz Khaled, Samir Ouchani and Chemseddine Chohra: “Recommendations-based on semantic analysis of social networks in learning environments", Journal of Computers in Human Behavior, ISSN 0747-5632, Elsevier, September 2018.
  • Samir Ouchani and Mourad Debbabi: “Specification, Verification and Quantification of Security in Model-based Systems”. Computing Journal, Springer, 10.1007/s00607-015-0445-x, February 2015.
  • Samir Ouchani, Gabriele Lenzini, Sjouke Maw: “Security Evaluation of Socio-Technical Physical Systems”, Computers and Electrical Engineering Journal, Elsevier, February 2015.
  • Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi: “A Property-Based Abstraction Framework for SysML Activity Diagrams”. The journal of Knowledge-Based Systems -Elsevier, November 2013.

  Papiers conférences

  • Samir Ouchani: “A Security Reinforcement Framework for CyberPhysical Systems ", invited paper, The Third International Conference on Smart Applications and Data Analysis for Smart Cyber-Physical Systems (SADASC’20), LNCS, Springer.
  • Samir Ouchani: “Towards a Call Behavior-Based Compositional Verification Framework for SysML Activity Diagrams”, LNCS Springer ICTAC 2019.
  • Samir Ouchani: “Towards a Fractionation-based Verification: Application on SysML Activity Diagrams”, ACM SAC 2019.
  • Miloud Dahmane Walid, Ouchani Samir, Bouarfa Hafida. A Smart Living Framework: Towards Analyzing Security in Smart Rooms. In: Schewe KD., Singh N. (eds) Model and Data Engineering. MEDI 2019. Lecture Notes in Computer Science, vol 11815. Springer
  • Samir Ouchani: “Ensuring the Functional Correctness of IoT through Formal Modeling and Verification”, LNCS Springer, International Conference on Model and Data Engineering, Pages 401-417, Online ISBN 978-3-030-00856-7.

Co-encadrement courante

  • `A Robust Security Communication through a Mobile and IoT Physical Unclonable Function'', Université de Blida, Algérie
  • ``Security by Construction through Formal Methods and Blockchain: Application on IoT Networks in Smart Cities'', Université de Blida, Algérie
  • ``Privacy Preservation in IoT-based Systems'', Université de Bouira, Algérie
  • `Security Modeling and Analysis for Cyber-Physical Systems'', Ecole Supérieure d'Informatique, Algeria.