Publications HAL de aktouf du labo/EPI LCIS

Journal articles

2023

ref_biblio
Mohammed El Amin Tebib, Mariem Graa, Pascal Andre, Oum-El-Kheir Aktouf. A Survey on Secure Android Apps Development Life-Cycle: Vulnerabilities and Tools. International Journal On Advances in Security, 2023, 16 (1 & 2), pp.54-71. ⟨hal-04181107⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04181107/file/tebib_sec_v16_n12_2023_survey.pdf BibTex

2021

ref_biblio
Arthur Baudet, Oum-El-Kheir Aktouf, Annabelle Mercier, Philippe Elbaz-Vincent. Systematic Mapping Study of Security in Multi-Embedded-Agent Systems. IEEE Access, 2021, 9, pp.154902-154913. ⟨10.1109/ACCESS.2021.3128287⟩. ⟨hal-03592340⟩
Accès au bibtex
BibTex

2019

ref_biblio
Abderrahmane Sensaoui, Oum-El-Kheir Aktouf, David Hely, Stéphane Di Vito. An In-depth Study of MPU-based Isolation Techniques. Journal of Hardware and Systems Security, 2019, 3, pp.365-381. ⟨10.1007/s41635-019-00078-6⟩. ⟨hal-02335716⟩
Accès au bibtex
BibTex

Conference papers

2023

ref_biblio
Priyadarshini -, Simon Greiner, Maike Massierer, Oum-El-Kheir Aktouf. Feature-based software architecture analysis to identify safety and security interactions. 2023 IEEE 20th International Conference on Software Architecture (ICSA), Mar 2023, L'Aquila, Italy. pp.12-22, ⟨10.1109/ICSA56044.2023.00010⟩. ⟨hal-04258288⟩
Accès au bibtex
BibTex
ref_biblio
Thi Thanh Binh Le, Oum -El- Kheir Aktouf, Ioannis Parissis, Thanh Binh Nguyen. Test Criteria for Context-Aware Mobile Applications. The 12th Conference on Information Technology and Its Applications, Springer, Jul 2023, Danang, Vietnam. pp.391-403, ⟨10.1007/978-3-031-36886-8_33⟩. ⟨hal-04262475⟩
Accès au bibtex
BibTex
ref_biblio
Ivan Baheux, Oum-El-Kheir Aktouf, Mohammed El Amin Tebib, Mariem Graa, Pascal Andre, et al.. DroidSecTester: Towards context-driven modelling and detection of Android application vulnerabilities. 2023 IEEE 34th International Symposium on Software Reliability Engineering Workshops (ISSREW), IEEE, Oct 2023, Florence, France. pp.136-141, ⟨10.1109/ISSREW60843.2023.00063⟩. ⟨hal-04402402⟩
Accès au bibtex
BibTex
ref_biblio
Arthur Baudet, Oum-El-Kheir Aktouf, Annabelle Mercier, Philippe Elbaz-Vincent. Decentralized and Autonomous Key Management for Open Multi-Agent Systems of Embedded Agents. 29th International Conference, CoopIS 2023, Springer, Oct 2023, Groningen, Netherlands. pp.119-136. ⟨hal-04258041⟩
Accès au bibtex
BibTex
ref_biblio
Ivan Baheux, Oum-El-Kheir Aktouf, Mohammed El Amin Tebib, Mariem Graa, Pascal Andre, et al.. DroidSecTester: Towards context-driven modelling and detection of Android application vulnerabilities. IWSR 2023 - The 7th International Workshop on Software Faults, IEEE, Oct 2023, Florence, Italy. ⟨hal-04464426⟩
Accès au bibtex
BibTex
ref_biblio
Arthur Baudet, Oum-El-Kheir Aktouf, Annabelle Mercier, Philippe Elbaz-Vincent. MAKI: A Multi-Agent Public Key Infrastructure. International Conference on Agents and Artificial Intelligence (ICAART 2023), INSTICC, IEEE, ACM, Feb 2023, Lisbon, Portugal. pp.177-184. ⟨hal-04257990⟩
Accès au bibtex
BibTex
ref_biblio
Mohamed Abdelsalam, Simon Greiner, Oum-El-Kheir Aktouf, Annabelle Mercier. C-TAR: A Compositional Threat Analysis and Risk Assessment Method for Infrastructure-Based Autonomous Driving. ADIoT 2023 : The 6th International Workshop on Attacks and Defenses for Internet-of-Things, Sep 2023, The Hague, Netherlands. ⟨hal-04258335⟩
Accès au bibtex
BibTex

2022

ref_biblio
Arthur Baudet, Annabelle Mercier, Oum-El-Kheir Aktouf, Philippe Elbaz-Vincent. Gestion Décentralisée de Clefs Cryptographiques dans un Système Multi-Agents Embarqués. 20èmes Rencontres des Jeunes Chercheurs en Intelligence Artificielle, Jun 2022, Saint-Etienne, France. ⟨hal-03765411⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03765411/file/RJCIA22_paper8.pdf BibTex
ref_biblio
Mohammed El Amin Tebib, Pascal Andre, Mariem Graa, Oum-El-Kheir Aktouf. IDE Plugins for Secure Android Applications Development: Analysis & Classification Study. SECURWARE 2022 : The Sixteenth International Conference on Emerging Security Information, Systems and Technologies, IARIA, Oct 2022, Lisbonne, Portugal. ⟨hal-03865020⟩
Accès au bibtex
BibTex
ref_biblio
Thanh Bình Lê Thị, Oum-El-Kheir Aktouf, Ioannis Parissis, Binh Thanh Nguyen. Mobile applications testing based on Bigraphs and Dynamic feature Petri nets. The First International Conference on Intelligence of Things (ICIT 2022), Aug 2022, Hanoi, Vietnam. ⟨hal-03864887⟩
Accès au bibtex
BibTex
ref_biblio
Jerry Gao, Wencen Wu, Oum-El-Kheir Aktouf. Adequate Testing Unmanned Autonomous Vehicle Systems - Infrastructures, Approaches, Issues, Challenges, and Needs. 16th IEEE International Conference on Service-Oriented System Engineering (SOSE 2022), in conjunction with IEEE International Congress On Intelligent And Service-Oriented Systems Engineering (CISOSE 2022), Aug 2022, San Francisco Bay Area, France. ⟨hal-03876829⟩
Accès au bibtex
BibTex
ref_biblio
Arthur Baudet, Oum-El-Kheir Aktouf, Annabelle Mercier, Philippe Elbaz-Vincent. Decentralized Public Key Infrastructure for Autonomous Embedded Systems. C&ESAR 2022 Ensuring Trust in a Decentralized World, Nov 2022, Rennes, France. ⟨hal-03864859⟩
Accès au bibtex
BibTex

2021

ref_biblio
Mohammed El Amin Tebib, Pascal Andre, Oum-El-Kheir Aktouf, Mariem Graa. Assisting Developers in Preventing Permissions Related Issues in Android Applications. 13th International Workshop on Software Engineering for Resilient Systems SERENE 2021 - 17th European Dependable Computing Conference (EDCC), Sep 2021, Munich (en ligne), Germany. ⟨hal-03290122⟩
Accès au bibtex
BibTex
ref_biblio
Priyadarshini Priyadarshini, Simon Greiner, Maike Massierer, Oum-El-Kheir Aktouf. A Method for Identifying Inconsistencies between Functional Safety and Cybersecurity of Autonomous Vehicles. CARS 2021 - 6th International Workshop on Critical Automotive Applications: Robustness & Safety - 17th European Dependable Computing Conference (EDCC), Sep 2021, Munich - (en ligne), Germany. ⟨hal-03290113⟩
Accès au bibtex
BibTex
ref_biblio
Arthur Baudet, Oum-El-Kheir Aktouf, Annabelle Mercier, Jean-Paul Jamont. A Case Study of Run-Time Testing of Self Organizations in Multi-Embedded-Agent Systems. 2021 29th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP), Mar 2021, Valladolid, Spain. pp.62-66, ⟨10.1109/PDP52278.2021.00018⟩. ⟨hal-03259624⟩
Accès au bibtex
BibTex
ref_biblio
Priyadarshini -, Simon Greiner, Maike Massierer, Oum-El-Kheir Aktouf. A Method for Identifying Inconsistencies between Functional Safety and Cybersecurity of Autonomous Vehicles. 6th International Workshop on Critical Automotive Applications: Robustness & Safety (CARS 2021), Sep 2021, Münich, Germany. ⟨hal-03366387⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03366387/file/CARS_2021_paper_8.pdf BibTex

2020

ref_biblio
Emilia Cioroaica, Thomas Kuhn, Stanislav Chren, Oum-El-Kheir Aktouf, Alf Larsson, et al.. Towards Creation of Automated Prediction Systems for Trust and Dependability Evaluation. The 28 th International Conference on Software, Telecommunications and Computer Networks (SoftCOM 2020), Sep 2020, Hvar, Croatia. ⟨hal-02929752⟩
Accès au bibtex
BibTex
ref_biblio
Thanh Bình Lê Thị, Mariem Allagui, Oum-El-Kheir Aktouf, Ioannis Parissis, Binh Nguyen Thanh. Experience report on developing a crowdsourcing test platform for mobile applications. 12th International Conference on Computational Collective Intelligence, Nov 2020, Da Nang, Vietnam. ⟨hal-02895680⟩
Accès au bibtex
BibTex

2019

ref_biblio
Abderrahmane Sensaoui, David Hely, Oum-El-Kheir Aktouf. A Flexible and Efficient Hardware Isolation Module for Secure Lightweight Devices. 2019 15th European Dependable Computing Conference (EDCC), Sep 2019, Naples, Italy. ⟨hal-02335739⟩
Accès au bibtex
BibTex
ref_biblio
Arthur Baudet, Oum-El-Kheir Aktouf, Annabelle Mercier, Jean-Paul Jamont. Toward testing self-organizations in multi-embedded-agent systems. 11th International Workshop, SERENE 2019 Naples, Italy, September 17, 2019 Proceedings, Sep 2019, Naples, Italy. ⟨hal-02340510⟩
Accès au bibtex
BibTex
ref_biblio
Arthur Darroux, Jean-Paul Jamont, Oum-El-Kheir Aktouf, Annabelle Mercier. An Energy Aware Approach to Trust Management Systems for Embedded Multi-Agent Systems. 11th International Workshop, SERENE 2019 Naples, Italy, September 17, 2019 Proceedings, Sep 2019, Naples, Italy. ⟨hal-02340508⟩
Accès au bibtex
BibTex
ref_biblio
Abderrahmane Sensaoui, Oum-El-Kheir Aktouf, David Hely. Shcot: Secure (and verified) Hybrid Chain of Trust to protect from malicious software in lightweight devices. The 1st Annual International Workshop on Software Hardware Interaction Faults, co-located with ISSRE 2019, Oct 2019, Berlin, Germany. ⟨hal-02335773⟩
Accès au bibtex
BibTex
ref_biblio
Abderrahmane Sensaoui, David Hely, Oum-El-Kheir Aktouf. Toubkal: A Flexible and Efficient Hardware Isolation Module for Secure Lightweight Devices. 2019 15th European Dependable Computing Conference (EDCC), Sep 2019, Naples, Italy. ⟨hal-02342738⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02342738/file/toubkal.pdf BibTex

Book sections

2021

ref_biblio
Yazid Benazzouz, Oum-El-Kheir Aktouf, Rachid Boudour, Jerry Gao. Intelligent Approaches for Fault-Tolerance in Radio Communication of Autonomous Vehicles. Intelligent Technologies for Internet of Vehicles, 2021, ⟨10.1007/978-3-030-76493-7⟩. ⟨hal-03293377⟩
Accès au bibtex
BibTex

Other publications

2019

ref_biblio
Abderrahmane Sensaoui, David Hely, Oum-El-Kheir Aktouf. Hardware-based Isolation and Attestation Architecture for a RISC-V Core. 2019. ⟨hal-02335812⟩
Accès au bibtex
BibTex
ref_biblio
Oum-El-Kheir Aktouf, Annabelle Mercier, Jean-Paul Jamont. Resilience Study of Embedded Multi-Agent Systems. 2019. ⟨hal-02335891⟩
Accès au bibtex
BibTex

Poster communications

2022

ref_biblio
Mohammed El Amin Tebib, Pascal Andre, Mariem Graa, Oum-El-Kheir Aktouf. PermDroid: Handling over-privileged Android applications based on the minimum permissions set identification. RESSI (Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information), May 2022, Chambon-sur-Lac, France. ⟨hal-03864899⟩
Accès au bibtex
BibTex
ref_biblio
Oum-El-Kheir Aktouf, Christophe Barthélemy, Didier Midroit, Gabriel Blanchard, Cédric Carlotti, et al.. PROJET ANACONDA ‐ ANALYSE DE CYBERSÉCURITÉ AU MOYEN D'OUTILS NON‐INTRUSIFS DE DIAGNOSTIC AUTOMATIQUE. RESSI (Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information), May 2022, Chambon-sur-Lac, France. ⟨hal-03764162⟩
Accès au bibtex
BibTex
ref_biblio
Arthur Baudet, Annabelle Mercier, Oum-El-Kheir Aktouf, Philippe Elbaz-Vincent. Architecture de Sécurité pour Système Multi-Agents Embarqués. Journées Francophones sur les Systèmes Multi-Agents - Evénement affilié à PFIA 2022, Jun 2022, Saint-Etienne, France. ⟨hal-03764135⟩
Accès au bibtex
BibTex
ref_biblio
Priyadarshini -, Simon Greiner, Maike Massierer, Oum-El-Kheir Aktouf. A Method for Identifying Inconsistencies between Functional Safety and Cybersecurity of Autonomous Vehicles. RESSI (Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information), May 2022, Chambon-sur-Lac, France. ⟨hal-03865077⟩
Accès au bibtex
BibTex
ref_biblio
Arthur Baudet, Oum-El-Kheir Aktouf, Annabelle Mercier, Philippe Elbaz-Vincent. Decentralized key management for Multi-Embedded-Agent Systems. RESSI - Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2022, Chambon-sur-Lac, France. ⟨hal-03864846⟩
Accès au bibtex
BibTex

2021

ref_biblio
Arthur Baudet, Oum-El-Kheir Aktouf, Annabelle Mercier, Philippe Elbaz-Vincent. Toward a Security Architecture for Multi-Embedded-Agent Systems. Journée thématique du GT SSLR 2021 sur la sécurité des réseaux, May 2021, En ligne, France. ⟨hal-03272661⟩
Accès au bibtex
BibTex
ref_biblio
Mohammed El Amin Tebib, Pascal Andre, Mariem Graa, Oum-El-Kheir Aktouf. Preventing Permissions Security Issues in Android: a Developer's Perspective. Journée thématique du GT SSLR 2021 sur la sécurité des réseaux, May 2021, On line, France. ⟨hal-03259639⟩
Accès au bibtex
BibTex

2019

ref_biblio
Abderrahmane Sensaoui, David Hely, Oum-El-Kheir Aktouf. Hardware-based Isolation and Attestation Architecture for a RISC-V Core. 2019 15th European Dependable Computing Conference (EDCC), Sep 2019, Naples, Italy. ⟨hal-02335800⟩
Accès au bibtex
BibTex
ref_biblio
Abderrahmane Sensaoui, David Hely, Oum-El-Kheir Aktouf. Hardware-based Isolation and Attestation Architecture for a RISC-V Core. 2019 CySep and EuroS&P, Jun 2019, Stockholm, Sweden. ⟨hal-02335793⟩
Accès au bibtex
BibTex