Towards a Security Reinforcement Mechanism for Social Cyber-Physical Systems

von Ouchani, Samir
Veröffentlicht in SADASC (3. : 2020 : Marrakesch) Smart applications and data analysis (2020)

Modeling Attack-Defense Trees' Countermeasures Using Continuous Time Markov Chains

von Lounis, Karim
Veröffentlicht in ASYDE (2. : 2020 : Online) Software engineering and formal methods (2021)

Security Assessment and Hardening of Autonomous Vehicles

von Ouchani, Samir
Veröffentlicht in CRiSIS (15. : 2020 : Online) Risks and security of internet and systems (2021)

Formal Modelling and Security Analysis of Inter-Operable Systems

von Baouya, Abdelhakim
Veröffentlicht in IEA/AIE (35. : 2022 : Kitakyūshū) Advances and trends in artificial intelligence (2022)

Guaranteeing Information Integrity Through Blockchains for Smart Cities

von Dahmane, Walid Miloud
Veröffentlicht in MEDI (10. : 2021 : Online) Model and Data Engineering (2021)

A Low-Cost Authentication Protocol Using Arbiter-PUF

von Zerrouki, Fahem
Veröffentlicht in MEDI (10. : 2021 : Online) Model and Data Engineering (2021)

A Generation and Recovery Framework for Silicon PUFs Based Cryptographic Key

von Zerrouki, Fahem
Veröffentlicht in MEDI (10. : 2021 : Online) Advances in Model and Data Engineering in the Digitalization Era (2021)

An Enhanced Interface-Based Probabilistic Compositional Verification Approach

von Ouchani, Samir
Veröffentlicht in VECoS (16. : 2023 : Marrakesch) Verification and evaluation of computer and communication systems (2024)

Enhancing Autonomous System Security: A Formal Framework for Assessing and Strengthening Autonomous Vehicle Defenses

von Ouchani, Samir
Veröffentlicht in Workshop on Distributed Computing for emerging Smart Networks (4. : 2023 : Bizerte) Distributed computing for emerging smart networks (2024)

A Formal Approach for Maintainability and Availability Assessment Using Probabilistic Model Checking

von Baouya, Abdelhakim
Veröffentlicht in MISC (4. : 2016 : Constantine, Algerien) Modelling and implementation of complex systems (2016)

COVID-DETECT: A Deep Learning Based Approach to Accelerate COVID-19 Detection

von Dimeglio, Nicolas
Veröffentlicht in MEDI (10. : 2021 : Online) Advances in Model and Data Engineering in the Digitalization Era (2021)

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,proceedi...

Veröffentlicht 2021