OUCHANI Samir

Production scientifique (Sélection)

Proceeding

• Ladjel Bellatreche, George A. Chernishev, Antonio Corral, Samir Ouchani, and Jüri Vain, editors. Advances in Model and Data Engineering in the Digitalization Era - MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21-23, 2021, Proceedings, volume 1481 of Communications in Computer and Information Science, 2021. Springer. ISBN 978-3-030-87656-2. doi: 10.1007/978-3-030-87657-9.

Tutoriaux

• Samir Ouchani: “Security in Smart Cyber Physical Systems." SS-CPS&IoT 2022: 3rd Summer School on Cyber Physical Systems and Internet of Things.
• Samir Ouchani: “Formalizing and Evaluating Security in Socio Technical 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

• Walid Miloud Dahmane, Samir Ouchani, and Hafida Bouarfa. Guaranteeing information integrity and access control in smart cities through blockchain. Journal of Ambient Intelligence and Humanized Computing, pages 1–10, 2022.
• Fahem Zerrouki, Samir Ouchani, and Hafida Bouarfa. A survey on silicon pufs. Journal of Systems Architecture, page 102514, 2022. ISSN 1383-7621. 
• Abdelhakim Baouya, Salim Chehida, Samir Ouchani, Saddek Bensalem, and Marius Bozga. Generation and verification of learned stochastic automata using k-nn and statistical model checking. Applied Intelligence, Nov 2021. ISSN 1573-7497. 
• Samir Ouchani. A security policy hardening framework for socio-cyber-physical systems. Journal of Systems Architecture, 119:102259, 2021.
• Walid Miloud Dahmane, Samir Ouchani, and Hafida Bouarfa. Towards a reliable smart city through formal verification and network analysis. Computer Communications, 180:171–187, 2021b.

  Papiers conférences

• Abdelhakim Baouya, Samir Ouchani, and Saddek Bensalem: Formal modeling and security analysis of inter-operable systems, The 35th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems, IEA/AIE 2022, Springer. 
• Walid Miloud Dahmane, Samir Ouchani, and Hafida Bouarfa. Guaranteeing information integrity through blockchains for smart cities. In International Conference on Model and Data Engineering, pages 199–212. Springer, 2021a.
• Fahem Zerrouki, Samir Ouchani, and Hafida Bouarfa. A low-cost authentication protocol using arbiter-puf. In International Conference on Model and Data Engineering, pages 101–116. Springer, 2021b.
•  Nicolas Dimeglio, Sébastien Romano, Alexandre Vesseron, Vincent Pelegrin, and Samir Ouchani. Covid-detect: A deep learning based approach to accelerate covid-19 detection. SIAS 2021, Symposium on Intelligent and Autonomous Systems, pages 166–178. Springer, 2021. 
• Fahem Zerrouki, Samir Ouchani, and Hafida Bouarfa. A generation and recovery framework for silicon pufs based cryptographic key. In International Conference on Model and Data Engineering, pages 121–137. Springer, 2021a.
•  Mohamed Anis Aguida, Samir Ouchani, and Mourad Benmalek. An IoT-based Framework for an Optimal Monitoring and Control of Cyber-Physical Systems: Application on Biogas Production System. In 11th International Conference on the Internet of Things, 143-149