Publications HAL de aktouf;beroulle;chollet;deleuze;fourty;gonnord;hely;jean;kieffer;parissis du labo/EPI LCIS

Journal articles

2024

ref_biblio
Ihab Alshaer, Gijs Burghoorn, Brice Colombier, Christophe Deleuze, Vincent Beroulle, et al.. Cross-layer analysis of clock glitch fault injection while fetching variable-length instructions. Journal of Cryptographic Engineering, 2024, ⟨10.1007/s13389-024-00352-6⟩. ⟨hal-04557324⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04557324/file/Alshaer_JCEN_2024.pdf BibTex

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

2022

ref_biblio
Mathieu Bouvier Des Noes, David Hely, Romain Lemaire, Simone Bacles-Min, Olivier Savry, et al.. Exposing Data Value On a Risc-V Based SoC. IEEE Access, 2022, pp.1-8. ⟨10.1109/PAINE54418.2021.9707710⟩. ⟨cea-04177248⟩
Accès au bibtex
BibTex
ref_biblio
Ihab Alshaer, Brice Colombier, Christophe Deleuze, Paolo Maistri, Vincent Beroulle. Cross-Layer Inference Methodology for Microarchitecture-aware Fault Models. Microelectronics Reliability, 2022, 139, ⟨10.1016/j.microrel.2022.114841⟩. ⟨hal-03848691⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03848691/file/Alshaer_Microelectronics%20Reliability.pdf BibTex
ref_biblio
Amir Ali Pour, David Hely, Vincent Beroulle, Giorgio Di Natale. Strong PUF Enrollment with Machine Learning: A Methodical Approach. Electronics, 2022, 11 (4), pp.653. ⟨10.3390/electronics11040653⟩. ⟨hal-03640365⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03640365/file/electronics-11-00653.pdf BibTex
ref_biblio
Nikolaos-Foivos Polychronou, Pierre-Henri Thevenon, Maxime Puys, Vincent Beroulle. A Comprehensive Survey of Attacks without Physical Access Targeting Hardware Vulnerabilities in IoT/IIoT Devices, and Their Detection Mechanisms. ACM Transactions on Design Automation of Electronic Systems, 2022, 27 (1), pp.1-35. ⟨10.1145/3471936⟩. ⟨hal-03600586⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03600586/file/A_Comprehensive_Survey_of_Attacks_without_Physical_Access_Targeting_Hardware_Vulnerabilities_in_IoT_IIoT_Devices_and_their_Detection_Mechanisms.pdf BibTex
ref_biblio
Arthur Desuert, Stéphanie Chollet, Laurent Pion, David Hély. Refillable PUF authentication protocol for constrained devices. JAISE - Journal of Ambient Intelligence and Smart Environments, 2022. ⟨hal-03713885⟩
Accès au bibtex
BibTex
ref_biblio
Amir Ali Pour, Fatemeh Afghah, David Hely, Vincent Beroulle, Giorgio Di Natale, et al.. Helper Data Masking for Physically Unclonable Function-based Key Generation Algorithms. IEEE Access, 2022, 10, pp.40150 - 40164. ⟨10.1109/ACCESS.2022.3165284⟩. ⟨hal-03640536⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03640536/file/IEEE_Access_paper_final_version.pdf BibTex
ref_biblio
Laure Gonnord, Ludovic Henrio, Lionel Morel, Gabriel Radanne. A Survey on Parallelism and Determinism. ACM Computing Surveys, 2022, ⟨10.1145/3564529⟩. ⟨hal-03828497⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03828497/file/Surveypaper.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
ref_biblio
Jonathan Coignard, Maxime Janvier, Vincent Debusschere, Gilles Moreau, Stéphanie Chollet, et al.. Evaluating forecasting methods in the context of local energy communities. International Journal of Electrical Power & Energy Systems, 2021, 131, pp.106956. ⟨10.1016/j.ijepes.2021.106956⟩. ⟨hal-03636300⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03636300/file/1_bare_conf.pdf BibTex
ref_biblio
J. Laurent, C. Deleuze, F. Pebay-Peyroula, V. Beroulle. Bridging the gap between RTL and software fault injection. ACM Journal on Emerging Technologies in Computing Systems, 2021, 17 (3), pp.1-24. ⟨10.1145/3446214⟩. ⟨hal-04031907⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04031907/file/PDF39238295-781663220.pdf BibTex
ref_biblio
Khadija Hadj Salem, Vincent Jost, Yann Kieffer, Luc Libralesso, Stéphane Mancini. Minimizing makespan under data prefetching constraints for embedded vision systems: a study of optimization methods and their performance. Operational Research, 2021, ⟨10.1007/s12351-021-00647-0⟩. ⟨hal-03010229v2⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03010229/file/ORIJ2019_FullPaper_Published.pdf BibTex
ref_biblio
Julie Roux, Vincent Beroulle, Katell Morin-Allory, Régis Leveugle, Lilian Bossuet, et al.. High-level fault injection to assess FMEA on critical systems. Microelectronics Reliability, 2021, 122, pp.114135. ⟨10.1016/j.microrel.2021.114135⟩. ⟨hal-03271978⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03271978/file/S0026271421001013.pdf BibTex
ref_biblio
Souhir Gabsi, Vincent Beroulle, Yann Kieffer, Hiep Manh Dao, Yassin Kortli, et al.. Survey: Vulnerability Analysis of Low-Cost ECC-Based RFID Protocols against Wireless and Side-Channel Attacks. Sensors, 2021, 21 (17), pp.5824. ⟨10.3390/s21175824⟩. ⟨hal-03620278⟩
Accès au bibtex
BibTex

2020

ref_biblio
David Hely, Cyril Bresch, Stéphanie Chollet, Roman Lysecky. SecPump: A Connected Open Source Infusion Pump for Security Research Purposes. IEEE Embedded Systems Letters, 2020, pp.1-1. ⟨10.1109/LES.2020.2979595⟩. ⟨hal-02543562⟩
Accès au bibtex
BibTex
ref_biblio
Ehsan Aerabi, Milad Bohlouli, Mohammad Hasan Ahmadi Livany, Mahdi Fazeli, Athanasios Papadimitriou, et al.. Design Space Exploration for Ultra-Low-Energy and Secure IoT MCUs. ACM Transactions on Embedded Computing Systems (TECS), 2020, 19 (3), pp.1-34. ⟨10.1145/3384446⟩. ⟨hal-02953457⟩
Accès au bibtex
BibTex
ref_biblio
Zahra Kazemi, David Hely, Mahdi Fazeli, Vincent Beroulle. A Review on Evaluation and Configuration of Fault Injection Attack Instruments to Design Attack Resistant MCU-Based IoT Applications. Electronics, 2020, 9 (7), pp.1153. ⟨10.3390/electronics9071153⟩. ⟨hal-02953431⟩
Accès au bibtex
BibTex
ref_biblio
Zeshan Ali, Etienne Perret, Nicolas Barbot, Romain Siragusa, David Hely, et al.. Authentication Using Metallic Inkjet-Printed Chipless RFID Tags. IEEE Transactions on Antennas and Propagation, 2020, 68 (5), pp.4137 - 4142. ⟨10.1109/TAP.2019.2948740⟩. ⟨hal-02337466⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02337466/file/Authentication%20Using%20Metallic%20Inkjet-Printed%20Chipless%20RFID%20Tags%20-%20Preprint.pdf BibTex
ref_biblio
Johan Marconot, David Hely, Florian Pebay-Peyroula. Conception and Evaluation of Secure Circuits for Strong Digital PUF. SN Computer Science, 2020, 1 (5), ⟨10.1007/s42979-020-00274-0⟩. ⟨hal-02953425⟩
Accès au bibtex
BibTex
ref_biblio
Bertrand Cambou, David Hely, Sareh Assiri. Cryptography with Analog Scheme Using Memristors. ACM Journal on Emerging Technologies in Computing Systems, 2020, 16 (4), pp.1-30. ⟨10.1145/3412439⟩. ⟨hal-02953417⟩
Accès au bibtex
BibTex
ref_biblio
Cyril Bresch, David Hely, Roman Lysecky, Stéphanie Chollet, Ioannis Parissis. TrustFlow-X. ACM Transactions on Embedded Computing Systems (TECS), 2020, 19 (5), pp.1-26. ⟨10.1145/3398327⟩. ⟨hal-02954381⟩
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
ref_biblio
Johan Laurent, Vincent Beroulle, Christophe Deleuze, Florian Pebay-Peyroula, Athanasios Papadimitriou. Cross-layer analysis of software fault models and countermeasures against hardware fault attacks in a RISC-V processor. Microprocessors and Microsystems: Embedded Hardware Design , 2019, 71, pp.102862. ⟨10.1016/j.micpro.2019.102862⟩. ⟨hal-02426107⟩
Accès au texte intégral et bibtex
https://hal.univ-grenoble-alpes.fr/hal-02426107/file/S0141933118304745.pdf BibTex
ref_biblio
Zeshan Ali, Etienne Perret, Nicolas Barbot, Romain Siragusa, David Hely, et al.. Detection of Natural Randomness by Chipless RFID Approach and Its Application to Authentication. IEEE Transactions on Microwave Theory and Techniques, 2019, pp.1-15. ⟨10.1109/TMTT.2019.2914102⟩. ⟨hal-02132612⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02132612/file/Detection%20of%20Natural%20Randomness%20by%20Chipless%20RFID%20Approach%20and%20its%20Application%20to%20Authentication%20-%20Preprint.pdf BibTex
ref_biblio
Mosabbah Mushir Ahmed, David Hely, Etienne Perret, Nicolas Barbot, Romain Siragusa, et al.. Robust and Noninvasive IC Authentication Using Radiated Electromagnetic Emissions. Journal of Hardware and Systems Security, 2019, 3 (3), pp.273-288. ⟨10.1007/s41635-019-00072-y⟩. ⟨hal-02296583⟩
Accès au bibtex
BibTex
ref_biblio
Rahma Benfraj, Vincent Beroulle, Nicolas Fourty, Aref Meddeb. An Optimized NS2 Module for UHF Passive RFID Systems. Journal of Electronic Testing: : Theory and Applications, 2019, 35 (1), pp.45-58. ⟨10.1007/s10836-018-5769-y⟩. ⟨hal-02426108⟩
Accès au bibtex
BibTex
ref_biblio
J.-M. Dutertre, Vincent Beroulle, Philippe Candelier, Stephan de Castro, Louis-Barthelemy Faber, et al.. Sensitivity to Laser Fault Injection: CMOS FD-SOI vs. CMOS bulk. IEEE Transactions on Device and Materials Reliability, 2019, 19 (1), pp.6-15. ⟨10.1109/TDMR.2018.2886463⟩. ⟨hal-01971932⟩
Accès au bibtex
BibTex

Conference papers

2024

ref_biblio
Aghiles Douadi, Ioana Vatajelu, Paolo Maistri, David Hély, Vincent Beroulle, et al.. Modeling Thermal Effects For Biasing PUFs. 29th IEEE European Test Symposium (ETS 2024), May 2024, The Hague, Netherlands. ⟨hal-04532564⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04532564/file/AghilesETS24_4Pages.pdf BibTex
ref_biblio
Sébastien Michelland, Christophe Deleuze, Laure Gonnord. From low-level fault modeling (of a pipeline attack) to a proven hardening scheme. Compiler Construction (CC'24), Mar 2024, Edinburgh (Scotland), United Kingdom. ⟨10.1145/3640537.3641570⟩. ⟨hal-04438994v1⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04438994/file/harden_skip_main.pdf BibTex
ref_biblio
Nasr-Eddine Ouldei Tebina, Aghiles Douadi, Luc Salvo, Vincent Beroulle, Nacer-Eddine Zergainoh, et al.. Non-Invasive Attack on Ring Oscillator-based PUFs through Localized X-Ray Irradiation. IEEE International Symposium on Hardware Oriented Security and Trust (HOST 2024), May 2024, Washington, DC, United States. ⟨hal-04521587⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04521587/file/HOST24_paper___PUFXR.pdf BibTex

2023

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
Maryam Esmaeilian, Aghiles Douadi, Zahra Kazemi, Vincent Beroulle, Mirbaha Amir-Pasha, et al.. Experimental Evaluation of Delayed-Based Detectors Against Power-off Attack. IEEE 29th International Symposium on On-Line Testing and Robust System Design (IOLTS 2023), Jul 2023, Crete, Greece. ⟨10.1109/IOLTS59296.2023.10224876⟩. ⟨hal-04193277⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04193277/file/Experimental_Evaluation_of_Delayed_based_Detectors_against_Power_off_Attack.pdf BibTex
ref_biblio
Nikolaos Polychronou, Pierre-Henri Thevenon, Maxime Puys, Vincent Beroulle. A hybrid solution for constraint devices to detect microarchitectural attacks. EuroS&P 2023 - Security of Software/Hardware Interfaces (SILM 2023), located with the 8th IEEE European Symposium on Security and Privacy, Jul 2023, Delft, Netherlands. pp.259-269, ⟨10.1109/EuroSPW59978.2023.00033⟩. ⟨cea-04473740⟩
Accès au texte intégral et bibtex
https://cea.hal.science/cea-04473740/file/apres_Soutenance_Paper_Local_Remote.pdf 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
Nikolaos Foivos Polychronou, Pierre-Henri Thevenon, Maxime Puys, Vincent Beroulle. A hybrid solution for constrained devices to detect microarchitectural attacks. EuroS&P 2023 - 8th IEEE European Symposium on Security and Privacy, Jul 2023, Delft, Netherlands. ⟨hal-04149021⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04149021/file/Paper1.pdf BibTex
ref_biblio
Aghiles Douadi, Giorgio Di Natale, Paolo Maistri, Ioana Vatajelu, Vincent Beroulle. A Study of High Temperature Effects on Ring Oscillator based Physical Unclonable Functions. 29th IEEE International Symposium on On-Line Testing and Robust System Design (IOLTS 2023), Jul 2023, Chania, Greece. ⟨hal-04169632⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04169632/file/Aghiles_IOLTS23.pdf 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
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
Quentin Jayet, Christine Hennebert, Yann Kieffer, Vincent Beroulle. Preuve vérifiable pour une blockchain embarquée basse consommation. Colloque du GDR SoC², Jun 2023, Lyon, France. ⟨cea-04454958⟩
Accès au texte intégral et bibtex
https://cea.hal.science/cea-04454958/file/GDR_SUBMIT.pdf BibTex
ref_biblio
Thaïs Baudon, Gabriel Radanne, Laure Gonnord. Bit-Stealing Made Legal: Compilation for Custom Memory Representations Of Algebraic Data Types. ICFP 2023, Sep 2023, Seattle (USA), United States. ⟨10.1145/3607858⟩. ⟨hal-04165615⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04165615/file/main.pdf 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
ref_biblio
Ihab Alshaer, Brice Colombier, Christophe Deleuze, Vincent Beroulle, Paolo Maistri. Microarchitectural Insights into Unexplained Behaviors under Clock Glitch Fault Injection. 22nd Smart Card Research and Advanced Application Conference (CARDIS 2023), Nov 2023, Amsterdam, Netherlands. pp.1-20. ⟨hal-04273995⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04273995/file/Alshaer_et_paper_26_cardis_2023_cr.pdf BibTex
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

2022

ref_biblio
Arthur Desuert, Stéphanie Chollet, Laurent Pion, David Hély. A Middleware for Secure Integration of Heterogeneous Edge Devices. IEEE EDGE 2022, Jul 2022, Barcelona, Spain. ⟨hal-03713893⟩
Accès au bibtex
BibTex
ref_biblio
Amir Ali Pour, David Hely, Vincent Beroulle, Giorgio Di Natale. An Efficient Approach to Model Strong PUF with Multi-Layer Perceptron using Transfer Learning. International Symposium on Quality Electronic Design (ISQED 2022), Apr 2022, Virtual event, United States. ⟨10.1109/ISQED54688.2022.9806257⟩. ⟨hal-03599336⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03599336/file/isqed_transfer%20learning.pdf BibTex
ref_biblio
Amir Ali Pour, David Hély, Vincent Beroulle, Giorgio Di Natale. Elaborating on Sub-Space Modeling as an Enrollment Solution for Strong PUF. 18th IEEE International Conference on Distributed Computing in Sensor Systems (DCOSS 2022), May 2022, Los Angeles, United States. ⟨hal-03767658⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03767658/file/Sub-space_modeling_DCOSS22_ML_SWiN_workshop.pdf BibTex
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
Ihab Alshaer, Brice Colombier, Christophe Deleuze, Vincent Beroulle, Paolo Maistri. Variable-Length Instruction Set: Feature or Bug?. 25th Euromicro Conference on Digital System Design (DSD 2022), Aug 2022, Maspalomas, Spain. ⟨hal-03775870⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03775870/file/2022118900-cr.pdf BibTex
ref_biblio
Zahra Kazemi, Amin Norollah, Mahdi Fazeli, David Hely, Vincent Beroulle. An Offline Hardware Security Assessment Approach using Symbol Assertion and Code Shredding. 2022 23rd International Symposium on Quality Electronic Design (ISQED), Apr 2022, Santa Clara, United States. pp.1-1, ⟨10.1109/ISQED54688.2022.9806234⟩. ⟨hal-03866519⟩
Accès au bibtex
BibTex
ref_biblio
Thaïs Baudon, Gabriel Radanne, Laure Gonnord. Knit&Frog: Pattern matching compilation for custom memory representations (doctoral session). AFADL 2022 - 21ème journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2022, Vannes, France. ⟨hal-03676356⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03676356/file/afadl_2022_baudon_hal.pdf BibTex
ref_biblio
Thaïs Baudon, Carsten Fuhs, Laure Gonnord. On Confluence of Parallel-Innermost Term Rewriting. IWC 2022 - 11th International Workshop on Confluence, Aug 2022, Haifa, Israel. ⟨hal-03710007v2⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03710007/file/iwc22_para.pdf BibTex
ref_biblio
Kostas Nomikos, Athanasios Papadimitriou, Mihalis Psarakis, Aggelos Pikrakis, Vincent Beroulle. Evaluation of Hiding-based Countermeasures against Deep Learning Side Channel Attacks with Pre-trained Networks. 2022 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT), Oct 2022, Austin, United States. pp.1-6, ⟨10.1109/DFT56152.2022.9962360⟩. ⟨hal-03948248⟩
Accès au bibtex
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
Amir Ali Pour, Fatemeh Afghah, David Hely, Vincent Beroulle, Giorgio Di Natale. Secure PUF-based Authentication and Key Exchange Protocol using Machine Learning. IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2022), Jul 2022, Pafos, Cyprus. ⟨hal-03689856⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03689856/file/ISVLSI_poster_paper_4pages_cam-ready_final.pdf BibTex
ref_biblio
Amir Ali Pour, David Hely, Vincent Beroulle, Giorgio Di Natale. Sub-Space Modeling: An Enrollment Solution for XOR Arbiter PUF using Machine Learning. International Symposium on Quality Electronic Design (ISQED 2022), Apr 2022, Virtual event, United States. ⟨10.1109/ISQED54688.2022.9806267⟩. ⟨hal-03599356⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03599356/file/isqed_subspace%20modeling.pdf BibTex
ref_biblio
Souhir Gabsi, Yassin Kortli, Vincent Beroulle, Yann Kieffer, Hamdi Belgacem. Adoption of a Secure ECC-based RFID Authentication Protocol. 2022 IEEE 9th International Conference on Sciences of Electronics, Technologies of Information and Telecommunications (SETIT), May 2022, Hammamet, Tunisia. pp.69-74, ⟨10.1109/SETIT54465.2022.9875855⟩. ⟨hal-03866504⟩
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
ref_biblio
Souhir Gabsi, Yassin Kortli, Vincent Beroulle, Yann Kieffer, Hamdi Bilgacem. Hardware Implementation of Secure scalar multiplication Algorithm. 2022 IEEE 9th International Conference on Sciences of Electronics, Technologies of Information and Telecommunications (SETIT), May 2022, Hammamet, Tunisia. pp.81-86, ⟨10.1109/SETIT54465.2022.9875647⟩. ⟨hal-03866508⟩
Accès au bibtex
BibTex
ref_biblio
Thaïs Baudon, Carsten Fuhs, Laure Gonnord. Analysing Parallel Complexity of Term Rewriting. LOPSTR 2022 - 32nd International Symposium on Logic-based Program Synthesis and Transformation, Sep 2022, Tbilisi, Georgia. ⟨hal-03749679⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03749679/file/lopstr22_paracomp.pdf BibTex

2021

ref_biblio
Antoine Linarès, David Hely, F. Lhermet, Giorgio Di Natale. Design Space Exploration Applied to Security. 16th International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS 2021), Jun 2021, Montpellier, France. ⟨10.1109/DTIS53253.2021.9505151⟩. ⟨hal-03351948⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03351948/file/Finalformated.pdf BibTex
ref_biblio
Julie Roux, Katell Morin-Allory, Vincent Beroulle, Régis Leveugle, Gilles Genévrier, et al.. Cross-layer Approach to Assess FMEA on Critical Systems and Evaluate High-Level Model Realism. 29th IFIP/IEEE International Conference on very Large Scale Integration, VLSI-SoC 2021, Oct 2021, Singapour, Singapore. ⟨hal-03353865⟩
Accès au bibtex
BibTex
ref_biblio
Ihab Alshaer, Brice Colombier, Christophe Deleuze, Vincent Beroulle, Paolo Maistri. Microarchitecture-aware Fault Models: Experimental Evidence and Cross-Layer Inference Methodology. International Conference on Design & Technology of Integrated System in Nanoscale Era (DTIS 2021), Jun 2021, Apulia (virtual), Italy. ⟨hal-03272932⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03272932/file/Alshaer_DTIS_2021.pdf BibTex
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
Romain Lievin, Jean-Paul Jamont, David Hely. CLASA : a Cross-Layer Agent Security Architecture for networked embedded systems. 2021 IEEE International Conference on Omni-Layer Intelligent Systems (COINS), Aug 2021, Barcelona, France. pp.1-8, ⟨10.1109/COINS51742.2021.9524157⟩. ⟨hal-03811329⟩
Accès au bibtex
BibTex
ref_biblio
Julie Roux, Katell Morin-Allory, Vincent Beroulle, Lilian Bossuet, Frederic Cezilly, et al.. FMEA on Critical Systems: a Cross-layer Approach based on High-Level Models. 29th IFIP/IEEE International Conference on Very Large Scale Integration - System on a Chip (VLSI-SoC), Oct 2021, Singapore, Singapore. pp.113-134. ⟨hal-04419787v2⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04419787/file/538103_1_En_6_Chapter.pdf 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
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
Paul Iannetta, Laure Gonnord, Gabriel Radanne. Compiling pattern matching to in-place modifications. GPCE 2021 - 20th International Conference on Generative Programming: Concepts & Experiences, Oct 2021, Chicago & Virtual, United States. ⟨10.1145/3486609.3487204⟩. ⟨hal-03355377⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03355377/file/gpce2021-cursors.pdf BibTex
ref_biblio
Zahra Kazemi, Amin Norollah, Afef Kchaou, Mahdi Fazeli, David Hely, et al.. An In-Depth Vulnerability Analysis of RISC-V Micro-Architecture Against Fault Injection Attack. 2021 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT), Oct 2021, Athens, Greece. pp.1-6, ⟨10.1109/DFT52944.2021.9568318⟩. ⟨hal-03620297⟩
Accès au bibtex
BibTex
ref_biblio
Arthur Desuert, Stéphanie Chollet, Laurent Pion, David Hely. PUF-Based Protocol for Securing Constrained Devices. 17th International Conference on Intelligent Environments, IE 2021, Jun 2021, Dubai, United Arab Emirates. ⟨hal-03342957⟩
Accès au bibtex
BibTex
ref_biblio
Nikolaos Foivos Polychronou, Pierre-Henri Thevenon, Vincent Beroulle, Nikolaos Polychronou, Maxime Puys. Securing IoT/IIoT from Software Attacks Targeting Hardware Vulnerabilities. 19th IEEE International New Circuits and Systems Conference (NEWCAS 2021), Jun 2021, Toulon, France. ⟨10.1109/NEWCAS50681.2021.9462776⟩. ⟨hal-03601214⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03601214/file/newcas2021_ieee_checked.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
Julie Roux, Vincent Beroulle, Katell Morin-Allory, Régis Leveugle, Lilian Bossuet, et al.. Cross Layer Fault Simulations for Analyzing the Robustness of RTL Designs in Airborne Systems. 23rd International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS), Apr 2020, Novi Sad, Serbia. pp.1-4, ⟨10.1109/DDECS50862.2020.9095559⟩. ⟨hal-02937868⟩
Accès au bibtex
BibTex
ref_biblio
Amir Alipour, Athanasios Papadimitriou, Vincent Beroulle, Ehsan Aerabi, David Hely. On the Performance of Non-Profiled Differential Deep Learning Attacks against an AES Encryption Algorithm Protected using a Correlated Noise Generation based Hiding Countermeasure. 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE), Mar 2020, Grenoble, France. pp.614-617, ⟨10.23919/DATE48585.2020.9116387⟩. ⟨hal-03136631⟩
Accès au bibtex
BibTex
ref_biblio
Cyril Bresch, Roman Lysecky, David Hely. BackFlow: Backward Edge Control Flow Enforcement for Low End ARM Microcontrollers. 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE), Mar 2020, Grenoble, France. pp.1606-1609, ⟨10.23919/DATE48585.2020.9116396⟩. ⟨hal-02883750⟩
Accès au bibtex
BibTex
ref_biblio
Zahra Kazemi, Mahdi Fazeli, David Hely, Vincent Beroulle. Hardware Security Vulnerability Assessment to Identify the Potential Risks in A Critical Embedded Application. 2020 IEEE 26th International Symposium on On-Line Testing and Robust System Design (IOLTS), Jul 2020, Napoli, France. pp.1-6, ⟨10.1109/IOLTS50870.2020.9159739⟩. ⟨hal-02953435⟩
Accès au bibtex
BibTex
ref_biblio
Amir Ali Pour, Vincent Beroulle, Bertrand Cambou, Jean-Luc Danger, Giorgio Di Natale, et al.. PUF Enrollment and Life Cycle Management: Solutions and Perspectives for the Test Community. IEEE European Test Symposium (ETS 2020), May 2020, Tallinn, Estonia. pp.1-10. ⟨hal-02999226⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02999226/file/ETS2020_PUF.pdf BibTex
ref_biblio
F. Regazzoni, S. Bhasin, Amir Ali Pour, Ihab Alshaer, F. Aydin, et al.. Machine Learning and Hardware security: Challenges and Opportunities. International Conference on Computer-Aided Design (ICCAD 2020), Nov 2020, San Diego, United States. ⟨hal-02999327⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02999327/file/ICCAD_Paper.pdf BibTex
ref_biblio
Khadija Hadj Salem, Yann Kieffer. An Experimental Study on Symmetry Breaking Constraints Impact for the One Dimensional Bin-Packing Problem. 13th International Workshop on Computational Optimization (Fedcsis-WCO 2020), Sep 2020, Sofia, Bulgaria. pp.317-326, ⟨10.15439/2020f19⟩. ⟨hal-03006103⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03006103/file/19_WCO2020.pdf 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
ref_biblio
Baptiste Pestourie, Vincent Beroulle, Nicolas Fourty. Clock skew-based physical authentication protocol for 802.15.4 IR-UWB indoor positioning. In Proceedings of the 10th International Conference on the Internet of Things, 2020, New York, United States. ⟨hal-03136636⟩
Accès au bibtex
BibTex
ref_biblio
Amir Ali Pour, David Hely, Vincent Beroulle, Giorgio Di Natale. Power of Prediction: Advantages of Deep Learning Modeling as Replacement for Traditional PUF CRP Enrollment. TrueDevice2020, Mar 2020, Grenoble, France. ⟨hal-02954099⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02954099/file/TrueDevice_Power_Of_Prediction_Cam_Ready_Final.pdf BibTex
ref_biblio
Julie Roux, Vincent Beroulle, Katell Morin-Allory, Régis Leveugle, Lilian Bossuet, et al.. High Level Fault Injection Method for Evaluating Critical System Parameter Ranges. 2020 27th IEEE International Conference on Electronics, Circuits and Systems (ICECS), Nov 2020, Glasgow, United Kingdom. pp.1-4, ⟨10.1109/ICECS49266.2020.9294821⟩. ⟨hal-03136621⟩
Accès au bibtex
BibTex

2019

ref_biblio
Souhir Gabsi, Vincent Beroulle, Hamdi Bilgacem, Mohsen Machhout. Architectural Choices for Implementing a Secure ECC-based Lightweight RFID Tag. 2019 IEEE International Conference on Design & Test of Integrated Micro & Nano-Systems (DTS), Apr 2019, Gammarth-Tunis, Tunisia. pp.1-5, ⟨10.1109/DTSS.2019.8914902⟩. ⟨hal-02426112⟩
Accès au bibtex
BibTex
ref_biblio
Johan Laurent, Christophe Deleuze, Vincent Beroulle, Florian Pebay-Peyroula. Analyzing Software Security Against Complex Fault Models with Frama-C Value Analysis. 2019 Workshop on Fault Diagnosis and Tolerance in Cryptography (FDTC), Aug 2019, Atlanta, United States. pp.33-40, ⟨10.1109/FDTC.2019.00013⟩. ⟨hal-02426133⟩
Accès au bibtex
BibTex
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
Mosabbah Mushir Ahmed, Etienne Perret, Romain Siragusa, David Hély, Frédéric Garet, et al.. Implementation of RF communication subsets on common low frequency clocked FPGA. 2019 49th European Microwave Conference (EuMC), Oct 2019, Paris, France. pp.742-745, ⟨10.23919/EuMC.2019.8910837⟩. ⟨hal-02429327⟩
Accès au bibtex
BibTex
ref_biblio
Thanh-Kha Tran, Hamed Yahoui, Denis Genon-Catalot, Nicolas Siauve, Nicolas Fourty. G3 Power Line Communication for controlling an autonomous DC micro grid. IEEE ECTI-CON, Jul 2019, Pattaya, Thailand. ⟨hal-02478903⟩
Accès au bibtex
BibTex
ref_biblio
Viken Kojakian, Denis Genon-Catalot, Nicolas Fourty, Baptiste Pestourie, Réjane Dalcé, et al.. Firefighter indoor localization (POUCET). IEEE Radio and Antenna Days of the Indian Ocean (RADIO 2019), Sep 2019, La Réunion, France. pp.0. ⟨hal-02495457⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02495457/file/kojakian_25037.pdf BibTex
ref_biblio
Johan Marconot, David Hely, Florian Pebay-Peyroula. SPN-DPUF: Substitution-Permutation Network Based Secure Circuit for Digital PUF. 2019 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), Jul 2019, Miami, France. pp.49-54, ⟨10.1109/ISVLSI.2019.00018⟩. ⟨hal-02296579⟩
Accès au bibtex
BibTex
ref_biblio
Lina Marsso, Radu Mateescu, Ioannis Parissis, Wendelin Serwe. Asynchronous Testing of Synchronous Components in GALS Systems. IFM'2019 - 15th International Conference on Integrated Formal Methods, Dec 2019, Bergen, Norway. pp.360-378, ⟨10.1007/978-3-030-34968-4_20⟩. ⟨hal-02394989⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02394989/file/Marsso-Mateescu-Parissis-Serwe-09.pdf BibTex
ref_biblio
Le Thanh Long, T .B. Nguyen, Ioannis Parissis. Neural Network-Based Generation of Test Data for Interactive Multimodal Applications. 2019 IEEE-RIVF International Conference on Computing and Communication Technologies (RIVF), Mar 2019, Danang, Vietnam. pp.1-5, ⟨10.1109/RIVF.2019.8713675⟩. ⟨hal-02394972⟩
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
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
Florent Bonnefoy, Maxime Bernier, Frédéric Garet, Nicolas Barbot, David Hely, et al.. Diffraction grating tags structures dedicated to authentication in the THz. French-German THz Conference 2019, Apr 2019, Kaiserslautern, Germany. ⟨hal-02436662⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02436662/file/hal-02436662v1.pdf BibTex
ref_biblio
Mohammad Mohammadinodoushan, Bertrand Cambou, Christopher Philabaum, David Hely, D. Duane Booher. Implementation of Password Management System Using Ternary Addressable PUF Generator. 2019 16th Annual IEEE International Conference on Sensing, Communication, and Networking (SECON), Jun 2019, Boston, France. pp.1-8, ⟨10.1109/SAHCN.2019.8824792⟩. ⟨hal-02296576⟩
Accès au bibtex
BibTex
ref_biblio
Mosabbah Mushir Ahmed, Etienne Perret, Romain Siragusa, Nicolas Barbot, David Hely, et al.. Développement d'une plateforme RF flexible et reconfigurable basée sur un FPGA. 21ème Journées Nationales Microondes, May 2019, Caen, France. ⟨hal-02051698⟩
Accès au bibtex
BibTex
ref_biblio
Cyril Bresch, David Hely, Stéphanie Chollet, Ioannis Parissis. TrustFlow: A Trusted Memory Support for Data Flow Integrity. 2019 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), Jul 2019, Miami, France. pp.308-313, ⟨10.1109/ISVLSI.2019.00063⟩. ⟨hal-02296581⟩
Accès au bibtex
BibTex
ref_biblio
Khadija Hadj Salem, Yann Kieffer. Nouvelle formulation en PLNE pour le problème classique du Bin Packing. Congrès Annuel de la Société Française de Recherche Opérationnelle et Aide à la Décision (ROADEF 2019), Feb 2019, Le Havre, France. ⟨hal-03006116⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03006116/file/ROADEF2019_ShortPaper.pdf BibTex
ref_biblio
Zahra Kazemi, Athanasios Papadimitriou, Ioanna Souvatzoglou, Ehsan Aerabi, Mosabbah Mushir Ahmed, et al.. On a Low Cost Fault Injection Framework for Security Assessment of Cyber-Physical Systems: Clock Glitch Attacks. 2019 IEEE 4th International Verification and Security Workshop (IVSW), Jul 2019, Rhodes Island, Greece. pp.7-12, ⟨10.1109/IVSW.2019.8854391⟩. ⟨hal-02426130⟩
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
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
Florent Bonnefoy, Maxime Bernier, Frédéric Garet, Hamdi Maher, Etienne Perret, et al.. Identification temps réel d'un tag THID bas coût dans le domaine THz. 21èmes Journées Nationales Microondes, May 2019, Caen, France. ⟨hal-02017114⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02017114/file/hal-02017114v1.pdf BibTex
ref_biblio
Baptiste Pestourie, Vincent Beroulle, Nicolas Fourty. Open 802.15.4 IR-UWB Modular Platform For Localization Protocols Evaluation. 2019 IEEE Radio and Antenna Days of the Indian Ocean (RADIO), Sep 2019, Reunion, France. pp.1-2, ⟨10.23919/RADIO46463.2019.8968940⟩. ⟨hal-03136633⟩
Accès au bibtex
BibTex
ref_biblio
Zeshan Ali, Romain Siragusa, Etienne Perret, Nicolas Barbot, David Hely, et al.. Méthode d’authentification basée sur des tags RFID sans puce imprimés par jet d’encre conductrice. 21èmes Journées Nationales Microondes, May 2019, Caen, France. ⟨hal-02017120⟩
Accès au bibtex
BibTex
ref_biblio
Baptiste Pestourie, Vincent Beroulle, Nicolas Fourty. Security Evaluation with an Indoor UWB Localization Open Platform: Acknowledgment Attack Case Study. 2019 IEEE 30th Annual International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC), Sep 2019, Istanbul, Turkey. pp.1-7, ⟨10.1109/PIMRC.2019.8904224⟩. ⟨hal-02426131⟩
Accès au bibtex
BibTex
ref_biblio
Arash Nejat, Zahra Kazemi, Vincent Beroulle, David Hély, Mahdi Fazeli. Restricting Switching Activity Using Logic Locking to Improve Power Analysis-Based Trojan Detection. 2019 IEEE 4th International Verification and Security Workshop (IVSW), Jul 2019, Rhodes Island, Greece. pp.49-54, ⟨10.1109/IVSW.2019.8854402⟩. ⟨hal-02426128⟩
Accès au bibtex
BibTex
ref_biblio
Johan Laurent, Vincent Beroulle, Christophe Deleuze, Florian Pebay-Peyroula. Fault Injection on Hidden Registers in a RISC-V Rocket Processor and Software Countermeasures. 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), Mar 2019, Florence, Italy. pp.252-255, ⟨10.23919/DATE.2019.8715158⟩. ⟨hal-02426113⟩
Accès au bibtex
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
ref_biblio
Manh-Hiep Dao, Vincent Beroulle, Yann Kieffer, Xuan-Tu Tran. How to Develop ECC-Based Low Cost RFID Tags Robust Against Side-Channel Attacks. Industrial Networks and Intelligent Systems, 379, Springer International Publishing, pp.433-447, 2021, Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, ⟨10.1007/978-3-030-77424-0_35⟩. ⟨hal-03620311⟩
Accès au texte intégral et bibtex
https://hal.univ-grenoble-alpes.fr/hal-03620311/file/How_to_develop_an_ECC_based_low_cost_RFID_tag_robust_against_hardware_attacks-FinalSubmit-Ver140221.pdf BibTex

2020

ref_biblio
Khadija Hadj Salem, Yann Kieffer. New Symmetry-less ILP Formulation for the Classical One Dimensional Bin-Packing Problem. Donghyun Kim; R. N. Uma; Zhipeng Cai; Dong Hoon Lee. Computing and Combinatorics. 26th International Conference, COCOON 2020, Atlanta, GA, USA, August 29–31, 2020, Proceedings, 12273, Springer, pp.423-434, 2020, Lecture Notes in Computer Science, 978-3-030-58149-7. ⟨10.1007/978-3-030-58150-3_34⟩. ⟨hal-03006106⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03006106/file/New%20Symmetry-less%20ILP%20Formulation%20for%20the%20Classical%20One%20Dimensional%20Bin-Packing%20Problem.pdf 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
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
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
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 CySep and EuroS&P, Jun 2019, Stockholm, Sweden. ⟨hal-02335793⟩
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 15th European Dependable Computing Conference (EDCC), Sep 2019, Naples, Italy. ⟨hal-02335800⟩
Accès au bibtex
BibTex

Reports

2022

ref_biblio
Thaïs Baudon, Laure Gonnord, Gabriel Radanne. Knit&Frog: Pattern matching compilation for custom memory representations. [Research Report] RR-9473, Inria Lyon. 2022, pp.35. ⟨hal-03684334v3⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03684334/file/rr-9473.pdf BibTex

Software

2022

ref_biblio
Gabriel Radanne, Laure Gonnord, Thaïs Baudon. Ribbit. 2022, ⟨swh:1:dir:b3be924ea99bdee1c1df8d9b4310e2f767536766;origin=https://hal.archives-ouvertes.fr/hal-03860442;visit=swh:1:snp:6c1082239a4d9372b0546b82945f453576931dd2;anchor=swh:1:rel:eeff41f174f0ec95c25dba2cea8acb78b859d98a;path=/⟩. ⟨hal-03860442⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03860442/file/ribbit-0.1.zip BibTex

Preprints, Working Papers, ...

2024

ref_biblio
Sébastien Michelland, Yannick Zakowski, Laure Gonnord. Abstract Interpreters: a Monadic Approach to Modular Verification (DRAFT). 2024. ⟨hal-04385725⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04385725/file/itree-ai.pdf BibTex