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
-
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
-
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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
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
-
- 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
-
- 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
-
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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
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
-
- 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
-
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
-
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
-
- 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
-
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
-
- 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
-
- 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
-
- 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
-
- 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
-
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
-
- 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
-
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
-
- 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
-
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
-
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
-
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
-