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

2020

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

2018

ref_biblio
Cyril Bresch, David Hely, Athanasios Papadimitriou, Adrien Michelet-Gignoux, Laurent Amato, et al.. Stack Redundancy to Thwart Return Oriented Programming in Embedded Systems. IEEE Embedded Systems Letters, 2018, pp.1 - 1. ⟨10.1109/LES.2018.2819983⟩. ⟨hal-01829397⟩
Accès au bibtex
BibTex
ref_biblio
David Hely, M. Nourian, M. Fazeli, D. Hély. Hardware Trojan Detection Using an Advised Genetic Algorithm Based Logic Testing. Journal of Electronic Testing: : Theory and Applications, 2018, 34 (4), pp.461 - 470. ⟨10.1007/s10836-018-5739-4⟩. ⟨hal-01877451⟩
Accès au bibtex
BibTex
ref_biblio
Arash Nejat, David Hely, Vincent Beroulle. ESCALATION: Leveraging Logic Masking to Facilitate Path-Delay-Based Hardware Trojan Detection Methods. Journal Hardware and Systems Security, 2018, 2, pp.83-96. ⟨10.1007/s41635-018-0033-6⟩. ⟨hal-01724155⟩
Accès au bibtex
BibTex
ref_biblio
Yassine Naija, Vincent Beroulle, Mohsen Machhout. Security Enhancements of a Mutual Authentication Protocol Used in a HF Full-Fledged RFID Tag. Journal of Electronic Testing: : Theory and Applications, 2018, 34 (3), pp.291 - 304. ⟨10.1007/s10836-018-5725-x⟩. ⟨hal-01899794⟩
Accès au bibtex
BibTex
ref_biblio
Tran Thanh Kha, Hamed Yahoui, Denis Genon-Catalot, Nicolas Siauve, Fourty Nicolas, et al.. Concept of Power Line Communication solution for Mesh DC Micro grid based on CAN protocol. International Journal of Engineering & Technology, 2018, 7 (2.6), pp.171. ⟨10.14419/ijet.v7i2.6.10562⟩. ⟨hal-02478828⟩
Accès au bibtex
BibTex
ref_biblio
Zeshan Ali, Nicolas Barbot, Romain Siragusa, Etienne Perret, D. Hély, et al.. Detection of Minimum Geometrical Variation by Free-Space-Based Chipless Approach and its Application to Authentication. IEEE Microwave and Wireless Components Letters, 2018, 28 (4), pp.323 - 325. ⟨10.1109/LMWC.2018.2805858⟩. ⟨hal-01800580⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01800580/file/Detection%20of%20Minimum%20Geometrical%20Variation%20by%20Free%20Space%20Based%20Chipless%20Approach%20and%20its%20Application%20to%20Authentication%20-%20Preprint.pdf BibTex

2017

ref_biblio
Yassine Naija, Vincent Beroulle, Mohsen Machhout. Low Cost Countermeasure at Authentication Protocol Level against Electromagnetic Side Channel Attacks on RFID Tags. International journal of advanced computer science and applications (IJACSA), 2017, 8 (11), ⟨10.14569/IJACSA.2017.081109⟩. ⟨hal-01663566⟩
Accès au bibtex
BibTex
ref_biblio
Brice Colombier, Lilian Bossuet, Viktor Fischer, David Hely. Key Reconciliation Protocols for Error Correction of Silicon PUF Responses. IEEE Transactions on Information Forensics and Security, 2017, 12 (8), pp.1988-2002. ⟨10.1109/TIFS.2017.2689726⟩. ⟨ujm-01575582⟩
Accès au texte intégral et bibtex
https://ujm.hal.science/ujm-01575582/file/2017_TIFS_Colombier.pdf BibTex
ref_biblio
Mosabbah Mushir Ahmed, David Hely, Nicolas Barbot, Romain Siragusa, Etienne Perret, et al.. Radiated Electromagnetic Emission for Integrated Circuit Authentication. IEEE Microwave and Wireless Components Letters, 2017, 27 (11), pp.1028 - 1030. ⟨10.1109/LMWC.2017.2750078⟩. ⟨hal-01724143⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01724143/file/C11%20Radiated%20Electromagnetic%20Emission%20for%20Integrated%20Circuit%20Authentication.pdf BibTex
ref_biblio
Philippe Lalanda, Denis Morand, Stéphanie Chollet. Autonomic Mediation Middleware for Smart Manufacturing. IEEE Internet Computing, 2017. ⟨hal-01898625⟩
Accès au bibtex
BibTex
ref_biblio
Vincent Beroulle, Oum-El-Kheir Aktouf, David Hely. SafeRFID Project: A complete Framework for the Improvement of UHF RFID System Dependability. International Journal On Advances in Networks and Services, 2017, 10 (1&2). ⟨hal-01617627⟩
Accès au bibtex
BibTex

2016

ref_biblio
Backer Jerry, David Hely, Ramesh Karri. Secure and Flexible Trace-Based Debugging of Systems-on-Chip. ACM Transactions on Design Automation of Electronic Systems, 2016, ⟨10.1145/2994601⟩. ⟨hal-01424899⟩
Accès au bibtex
BibTex
ref_biblio
Dubeuf Jérémy, David Hely, Vincent Beroulle. ECDSA Passive Attacks, Leakage Sources, and Common Design Mistakes . ACM Transactions on Design Automation of Electronic Systems, 2016, ⟨10.1145/2820611⟩. ⟨hal-01398724⟩
Accès au bibtex
BibTex
ref_biblio
Brice Colombier, Lilian Bossuet, David Hely. From Secured Logic to IP Protection. Microprocessors and Microsystems: Embedded Hardware Design , 2016, 47 (Part A), pp.44-54. ⟨10.1016/j.micpro.2016.02.010⟩. ⟨hal-01280195⟩
Accès au bibtex
BibTex
ref_biblio
Athanasios Papadimitriou, David Hely, Vincent Beroulle, Paolo Maistri, Régis Leveugle. Analysis of laser-induced errors: RTL fault models versus layout locality characteristics. Microprocessors and Microsystems: Embedded Hardware Design , 2016, ⟨10.1016/j.micpro.2016.01.018⟩. ⟨hal-01299277⟩
Accès au bibtex
BibTex
ref_biblio
Béringuier-Boher Noemie, Vincent Beroulle, David Hély, Joël Damiens, Philippe Candelier. Clock generator behavioral modeling for supply voltage glitch attack effects analysis. Microprocessors and Microsystems: Embedded Hardware Design , 2016. ⟨hal-01390988⟩
Accès au bibtex
BibTex

2015

ref_biblio
Guo Xiaofei, Jin Chenglu, Athanasios Papadimitriou, David Hely, Ramesh Karri. Can Algorithm Diversity in Stream Cipher Implementation Thwart (Natural and) Malicious Faults?. IEEE Transactions on Emerging Topics in Computing, 2015, ⟨10.1109/TETC.2015.2434103⟩. ⟨hal-01205402⟩
Accès au bibtex
BibTex

2014

ref_biblio
Yazid Benazzouz, Oum-El-Kheir Aktouf, Ioannis Parissis. A fault fuzzy-ontology for large scale fault-tolerant wireless sensor networks. Procedia Computer Science, 2014, 35, pp.203-212. ⟨hal-01063798⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01063798/file/1-s2.0-S1877050914010655-main.pdf BibTex
ref_biblio
Imed Belkacem, Nait Bahloul Safia, Oum-El-Kheir Aktouf. Data analysis of an RFID system for its Dependability. International Journal of Embedded and Real-Time Communication Systems, 2014. ⟨hal-01700709⟩
Accès au bibtex
BibTex
ref_biblio
Stéphanie Chollet, Vincent Lestideau, Denis Morand, Yoann Maurel, Philippe Lalanda. Auto-réparation et auto-optimisation des applications pervasives - Un gestionnaire de sélection de dépendances de services basé sur l'Analyse de Concepts Formels. TSI Informatique autonomique, 2014, 33 (1-2), pp.7-30. ⟨hal-00839103⟩
Accès au bibtex
BibTex

2013

ref_biblio
Rafik Kheddam, Oum-El-Kheir Aktouf, Ioannis Parissis. SafeRFID-MW: a RFID Middleware with runtime fault diagnosis. Journal of Communications Software and Systems, 2013, Special issue on RFID Technologies and Internet of Things, 9 (1), pp.57-73. ⟨hal-00958523⟩
Accès au bibtex
BibTex

2012

ref_biblio
Nicolas Fourty, Yoann Charlon, Eric Campo. Embedded Wireless System for Pedestrian Localization in Indoor Environments. Sensors & Transducers., 2012, 14-2, pp.211-227. ⟨hal-00815272⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00815272/file/NF_SENSORS12.pdf BibTex

2010

ref_biblio
Gilles Fritz, Vincent Beroulle, Oum-El-Kheir Aktouf, Minh Duc Nguyen, David Hely. RFID System On-line Testing Based on the Evaluation of the Tags Read-Error-Rate. Journal of Electronic Testing: : Theory and Applications, 2010, pp.1. ⟨10.1007/s10836-010-5191-6⟩. ⟨hal-00575585⟩
Accès au bibtex
BibTex

2009

ref_biblio
Christophe Deleuze. Programmation réactive en OCaml. Journal Européen des Systèmes Automatisés (JESA), 2009, 43 (7-8-9), pp.757-771. ⟨hal-00493223⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00493223/file/msr09.pdf BibTex
ref_biblio
Abdesselam Lakehal, Ioannis Parissis. Structural Coverage Criteria for Lustre/SCADE Programs. Journal of Software Testing, Verification and Reliability, 2009, 19 (2), pp.133-154. ⟨hal-01424792⟩
Accès au bibtex
BibTex
ref_biblio
Ioannis Parissis, Laya Madani. Automatically testing interactive applications using extended task trees. Journal of Logic and Algebraic Programming, 2009, pp.78(6):454-471. ⟨10.1016/j.jlap.2009.01.005⟩. ⟨hal-00380724⟩
Accès au bibtex
BibTex
ref_biblio
Xuan-Tu Tran, Yvain Thonnart, Jean Durupt, Vincent Beroulle, Chantal Robach. Design-for-Test Approach of an Asynchronous Network-on-Chip Architecture and its Associated Test Pattern Generation and Application. IET Computers & Digital Techniques, 2009, 3 (5), pp.487-500. ⟨10.1049/iet-cdt.2008.0072⟩. ⟨hal-01105280⟩
Accès au bibtex
BibTex

2008

ref_biblio
Xuan-Tu Tran, Yvain Thonnart, Jean Durupt, Vincent Beroulle, Chantal Robach. High-Speed Design-for-Test Architecture for Asynchronous NoC-based Systems-on-Chip. IEEE Transactions on Computers, 2008, 10, pp.12. ⟨hal-01105282⟩
Accès au bibtex
BibTex
ref_biblio
Yves Joannon, Vincent Beroulle, Chantal Robach, Smail Tedjini, J.L. Carbonero. Decreasing Test Qualification Time of AMS&RF Systems by using Normal Estimation. IEEE Design & Test, 2008, pp.0. ⟨hal-00218160⟩
Accès au bibtex
BibTex
ref_biblio
Yves Joannon, Vincent Beroulle, Jean-Louis Carbonero, Smail Tedjini, Chantal Robach. Choice of a high level fault model for the Optimization of Validation Test Set reused for Manufacturing Test. VLSI Design, 2008, vol. 2008 (Article ID 596146), pp.0. ⟨hal-00331235⟩
Accès au bibtex
BibTex

2006

ref_biblio
Rami Khouri, Vincent Beroulle, Tan-Phu Vuong, Smail Tedjini. UHF RFID tag-antenna matching optimization using VHDL-AMS behavioral modeling. Analog Integrated Circuits and Signal Processing, 2006, 50 (2), pp. 81-162, ISSN : 0925-1030. ⟨hal-00218161⟩
Accès au bibtex
BibTex

2005

ref_biblio
Oussama Laouamri, Chouki Aktouf. Towards a Complete SNMP-Based Supervision of System-on-Chips Testing. Journal of Network and Systems Management, 2005, pp.décembre 2005. ⟨hal-00194653⟩
Accès au bibtex
BibTex

2003

ref_biblio
T. Niculiu, M. Ciuc, Chouki Aktouf. Hierarchical Behavioural Adaptable Design For Testability. Romanian Journal of Information Science and Technology, 2003, 6 (3-4), pp.295-323. ⟨hal-00194669⟩
Accès au bibtex
BibTex

2002

ref_biblio
Muriel Dardalhon, Vincent Beroulle, Laurent Latorre, Pascal Nouet, Guy Perez, et al.. Reliability analysis of CMOS MEMS structures obtained by Front Side Bulk Micromachining. Microelectronics Reliability, 2002, 42 (9-11), pp.1777-1782. ⟨10.1016/S0026-2714(02)00230-5⟩. ⟨lirmm-00268582⟩
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
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
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. 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. 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
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
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
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
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
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
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
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, 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
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
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
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
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
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
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
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
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

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

2018

ref_biblio
Mosabbah Mushir Ahmed, David Hely, Etienne Perret, Nicolas Barbot, Romain Siragusa, et al.. Authentication of Microcontroller Board Using Non-Invasive EM Emission Technique. 2018 IEEE 3rd International Verification and Security Workshop (IVSW), Jul 2018, Platja d’Aro, Spain. pp.25-30, ⟨10.1109/IVSW.2018.8494883⟩. ⟨hal-02014214⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02014214/file/D5%20Authentication%20of%20Microcontroller%20board%20using%20non-invasive%20EM%20emission%20technique.pdf BibTex
ref_biblio
Rahma Ben Fraj, Vincent Beroulle, Nicolas Fourty, Aref Meddeb. An Evaluation of UHF RFID Anti-Collision Protocols with NS2. 2018 9th IFIP International Conference on New Technologies, Mobility and Security (NTMS), Feb 2018, Paris, France. ⟨10.1109/NTMS.2018.8328679⟩. ⟨hal-01899812⟩
Accès au bibtex
BibTex
ref_biblio
Jean-Max Dutertre, Vincent Beroulle, Philippe Candelier, Stephan de Castro, Louis-Barthelemy Faber, et al.. Laser fault injection at the CMOS 28 nm technology node: an analysis of the fault model. FDTC: Fault Diagnosis and Tolerance in Cryptography, Sep 2018, Amsterdam, Netherlands. pp.1-6, ⟨10.1109/FDTC.2018.00009⟩. ⟨emse-01856008⟩
Accès au texte intégral et bibtex
https://hal-emse.ccsd.cnrs.fr/emse-01856008/file/HAL_2018_laser_accuracy_jmdutertre.pdf BibTex
ref_biblio
Zeshan Ali, Nicolas Barbot, Romain Siragusa, David Hely, Maxime Bernier, et al.. Chipless RFID Tag Discrimination and the Performance of Resemblance Metrics to be used for it. IEEE/MTT-S International Microwave Symposium - IMS 2018, Jun 2018, Philadelphia, United States. ⟨10.1109/MWSYM.2018.8439855⟩. ⟨hal-01888533⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01888533/file/Chipless%20RFID%20Tag%20Discrimination%20and%20the%20Performance%20of%20Resemblance%20-%20Preprint.pdf BibTex
ref_biblio
Jean-Max Dutertre, Vincent Beroulle, Philippe Candelier, Louis-Barthelemy Faber, Marie-Lise Flottes, et al.. The case of using CMOS FD-SOI rather than CMOS bulk to harden ICs against laser attacks. IOLTS: International On-Line Testing Symposium, Jul 2018, Platja d’Aro, Spain. pp.214-219, ⟨10.1109/IOLTS.2018.8474230⟩. ⟨emse-01856000⟩
Accès au texte intégral et bibtex
https://hal-emse.ccsd.cnrs.fr/emse-01856000/file/HAL_Dutertre_The_case_of_using_CMOS_FD_SOI_rather_than_CMOS_bulk_to_harden%20_ICs%20against_laser_attacks.pdf BibTex
ref_biblio
Maher Hamdi, Florent Bonnefoy, Maxime Bernier, Frédéric Garet, Etienne Perret, et al.. Identification in the Terahertz Domain using Low Cost Tags with a Fast Spectrometer. ASID 2018: 12th IEEE International Conference on Anti-counterfeiting, Security, and Identification, Nov 2018, Xiamen, China. ⟨10.1109/ICASID.2018.8693209⟩. ⟨hal-02015383⟩
Accès au texte intégral et bibtex
https://hal.univ-grenoble-alpes.fr/hal-02015383/file/hal-02015383v1.pdf BibTex
ref_biblio
Zahra Kazemi, Athanasios Papadimitriou, David Hély, Mahdi Fazeli, Vincent Beroulle. Hardware Security Evaluation Platform for MCU-Based Connected Devices: Application to Healthcare IoT. 2018 IEEE 3rd International Verification and Security Workshop (IVSW), Jul 2018, Costa Brava, France. pp.87-92, ⟨10.1109/IVSW.2018.8494843⟩. ⟨hal-02426115⟩
Accès au bibtex
BibTex
ref_biblio
Rahma Ben Fraj, Vincent Beroulle, Nicolas Fourty, Aref Meddeb. Time Modeling with NS2 in UHF RFID Anti-Collision Protocols. 2018 IEEE 32nd International Conference on Advanced Information Networking and Applications (AINA), May 2018, Krakow, France. ⟨10.1109/AINA.2018.00016⟩. ⟨hal-01899806⟩
Accès au bibtex
BibTex
ref_biblio
Johan Laurent, Vincent Beroulle, Christophe Deleuze, Florian Pebay-Peyroula, Athanasios Papadimitriou. On the Importance of Analysing Microarchitecture for Accurate Software Fault Models. 2018 21st Euromicro Conference on Digital System Design (DSD), Aug 2018, Prague, France. ⟨10.1109/DSD.2018.00097⟩. ⟨hal-01899800⟩
Accès au bibtex
BibTex
ref_biblio
Rahma Ben Fraj, Vincent Beroulle, Nicolas Fourty, Aref Meddeb. An approach to enhance the safety and security of EPC Class-1 generation-2 UHF RFID systems. 2018 2nd International Conference on Inventive Systems and Control (ICISC), Jan 2018, Coimbatore, France. ⟨10.1109/ICISC.2018.8398977⟩. ⟨hal-01899809⟩
Accès au bibtex
BibTex
ref_biblio
Cyril Bresch, Stéphanie Chollet, David Hely. Towards an Inherently Secure Run-Time Environment for Medical Devices.. 2018 IEEE International Congress on Internet of Things, ICIOT 2018, Jul 2018, San Francisco, United States. ⟨hal-01898660⟩
Accès au bibtex
BibTex
ref_biblio
Stéphanie Chollet, Laurent Pion, Nicolas Barbot. Secure IoT for a Pervasive Platform. 2018 IEEE International Conference on Pervasive Computing and Communications Workshops, PerCom Workshops 2018, Mar 2018, Athènes, Greece. ⟨hal-01898651⟩
Accès au bibtex
BibTex
ref_biblio
Baptiste Pestourie, Vincent Beroulle, Nicolas Fourty. Guidelines for the Choice of a Wireless Secure Positioning and Communication System. 2018 International Workshop on Secure Internet of Things (SIoT), Sep 2018, Barcelona, Spain. pp.1-7, ⟨10.1109/SIoT.2018.00007⟩. ⟨hal-02426120⟩
Accès au bibtex
BibTex
ref_biblio
Yassine Naija, Vincent Beroulle, Mohsen Machhout. ElectroMagnetic Attack Test Platform for Validating RFID Tag Architectures. 2018 6th International EURASIP Workshop on RFID Technology (EURFID), Sep 2018, Brno, Czech Republic. pp.1-7, ⟨10.1109/EURFID.2018.8611655⟩. ⟨hal-02426123⟩
Accès au bibtex
BibTex

2017

ref_biblio
Rahma Ben Fraj, Vincent Beroulle, Nicolas Fourty, Aref Meddeb. A global approach for the improvement of UHF RFID safety and security. Design & Technology of Integrated Systems In Nanoscale Era (DTIS), 2017 12th International Conference on, Apr 2017, Palma de Mallorca, Spain. ⟨hal-01663938⟩
Accès au bibtex
BibTex
ref_biblio
Rania Ben Hadj, Catherine Hamon, Stéphanie Chollet, German Eduardo Vega Baez, Philippe Lalanda. Context-based conflict management in pervasive platforms. 2017 IEEE International Conference on Pervasive Computing and Communications Workshops, PerCom Workshops 2017, Mar 2017, Kona, Big Island, HI, United States. ⟨hal-01898642⟩
Accès au bibtex
BibTex
ref_biblio
Le van Phol, T .B. Nguyen, Ioannis Parissis. Mutants Generation For Testing Lustre Programs. the Eighth International Symposium, Dec 2017, Nha Trang City, Vietnam. pp.425-430, ⟨10.1145/3155133.3155155⟩. ⟨hal-02394975⟩
Accès au bibtex
BibTex
ref_biblio
Brice Colombier, Lilian Bossuet, David Hely. Centrality Indicators for Efficient and Scalable Logic Masking. IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2017), IEEE, Jul 2017, Bochum, Germany. pp.98-103, ⟨10.1109/ISVLSI.2017.26⟩. ⟨ujm-01570080⟩
Accès au texte intégral et bibtex
https://ujm.hal.science/ujm-01570080/file/ISVLSI_2017.pdf BibTex
ref_biblio
Cyril Bresch, David Hely, Adrien Michelet, Laurent Amato, Thomas Meyer. A red team blue team approach towards a secure processor design with hardware shadow stack. 2017 IEEE 2nd International Verification and Security Workshop (IVSW), Jul 2017, Thessaloniki, France. ⟨10.1109/IVSW.2017.8031545⟩. ⟨hal-01724169⟩
Accès au bibtex
BibTex
ref_biblio
Adrien van den Bossche, Nicolas Fourty, Jean-Paul Jamont. A Trusted Lightweight Synchronisation Protocol for Wireless Ad-hoc Networks. IEEE International Conference on Computational Intelligence and Virtual Environments for Measurement Systems and Application (CIVEMSA 2017), Jun 2017, Annecy, France. pp. 1, ⟨10.1109/CIVEMSA.2017.7995305⟩. ⟨hal-01913991⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01913991/file/vandenbossche_19104.pdf BibTex
ref_biblio
Philippe Lalanda, Gerbert-Gaillard Eva, Stéphanie Chollet. Self-Aware Context in Smart Home Pervasive Platforms. 14th IEEE International Conference on Autonomic Computing (ICAC 2017), Jul 2017, Columbus, OH, United States. ⟨hal-01674695⟩
Accès au bibtex
BibTex
ref_biblio
Gerbert-Gaillard Eva, Philippe Lalanda, Stéphanie Chollet, Demarchez Jérémie. A self-aware approach to context management in pervasive platforms. PerCom Workshops 2017, Mar 2017, Kona, Big Island, HI, United States. ⟨10.1109/PERCOMW.2017.7917568⟩. ⟨hal-01535547⟩
Accès au bibtex
BibTex
ref_biblio
Brice Colombier, Ugo Mureddu, Lilian Bossuet, David Hely. A comprehensive hardware/software infrastructure for IP cores design protection. IEEE International Conference on Field-Programmable Technology, ICFPT 2017, Dec 2017, Melbourne, Australia. ⟨hal-01632978⟩
Accès au bibtex
BibTex
ref_biblio
Brice Colombier, Lilian Bossuet, David Hely. Centrality Indicators for Efficient and Scalable Logic Masking. In International CryptArchi Workshop 2017, Jun 2017, Smolenice, Slovakia. ⟨hal-01586818⟩
Accès au bibtex
BibTex
ref_biblio
Mosabbah Mushir Ahmed, David Hely, Nicolas Barbot, Romain Siragusa, Etienne Perret, et al.. Towards a robust and efficient EM based authentication of FPGA against counterfeiting and recycling. 19th International Symposium on Computer Architecture and Digital Systems (CADS), Dec 2017, Kish Island, Iran. pp.1-6, ⟨10.1109/CADS.2017.8310673⟩. ⟨hal-02014230⟩
Accès au texte intégral et bibtex
https://hal.univ-grenoble-alpes.fr/hal-02014230/file/D6%20Towards%20a%20robust%20and%20efficient%20EM%20based.pdf BibTex
ref_biblio
Zeshan Ali, Florent Bonnefoy, Romain Siragusa, Nicolas Barbot, David Hély, et al.. Potential of chipless authentication based on randomness inherent in fabrication process for RF and THz. 11th European Conference on Antennas and Propagation (EUCAP), Mar 2017, Paris, France. ⟨10.23919/EuCAP.2017.7928647⟩. ⟨hal-01800579⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01800579/file/Potential%20of%20Chipless%20Authentication%20Based%20on%20Randomness%20Inherent%20in%20Fabrication%20Process%20for%20RF%20and%20THz%20-%20Preprint.pdf BibTex
ref_biblio
Johan Marconot, David Hely, Florian Pebay-Peyroula. IoT Components LifeCycle Based Security Analysis. 2017 Euromicro Conference on Digital System Design (DSD), Aug 2017, Vienna, France. ⟨10.1109/DSD.2017.44⟩. ⟨hal-01724164⟩
Accès au bibtex
BibTex
ref_biblio
Florent Bonnefoy, Maher Hamdi, Maxime Bernier, Nicolas Barbot, Romain Siragusa, et al.. Authentication in the THz domain: a new tool to fight couterfeiting. 9th THz days, Jun 2017, Dunkerque, France. ⟨hal-02014053⟩
Accès au texte intégral et bibtex
https://hal.univ-grenoble-alpes.fr/hal-02014053/file/hal-02014053v1.pdf BibTex
ref_biblio
Camille Barnier, Oum-El-Kheir Aktouf, Annabelle Mercier, Jean-Paul Jamont. Toward an Embedded Multi-Agent System Methodology and Positioning on Testing. The second International Workshop on Software Faults (IWSF'17) colocated with ISSRE 2017 (28th International Symposium on Software Reliability Engineering), Oct 2017, TOULOUSE, France. ⟨hal-01646857⟩
Accès au bibtex
BibTex
ref_biblio
Jeremy Dubeuf, David Hély, Vincent Beroulle. Enhanced Elliptic Curve Scalar Multiplication Secure Against Side Channel Attacks and Safe Errors. Constructive Side-Channel Analysis and Secure Design - 8th International Workshop, COSADE 2017, Apr 2017, Paris, France. pp.65-82, ⟨10.1007/978-3-319-64647-3_5⟩. ⟨hal-02426126⟩
Accès au bibtex
BibTex
ref_biblio
Khadija Hadj Salem, Yann Kieffer, Stéphane Mancini. Minimisation du temps total de traitement pour optimiser le fonctionnement d’un contrôleur de buffers pour les systèmes de vision embarquée. 18ème édition du congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2017), Feb 2017, Metz, France. ⟨hal-01756876⟩
Accès au bibtex
BibTex

2016

ref_biblio
Yassine Naija, Vincent Beroulle, David Hely, Mohsen Machhout. Design and Validation of a Secured Digital Ultralight 14443-Type A RFID tag with a FPGA Platform. 11th Conference on Design and Technology of Integrated Systems in Nanoscale Era (DTIS 2016) , 2016, Istanbul, Turkey. ⟨hal-01391006⟩
Accès au bibtex
BibTex
ref_biblio
K. Hadj Salem, Y. Kieffer, Stéphane Mancini. Memory Management in Embedded Vision Systems: Optimization Problems and Solution Methods. The Conference on Design, Architectures for Signal and Image Processing (DASIP'16), Oct 2016, Rennes, France. ⟨hal-01445017⟩
Accès au bibtex
BibTex
ref_biblio
Y. Kieffer, K. Hadj Salem, Stéphane Mancini. Multi-objective optimization for the scheduling of embedded vision accelerators. The 29th Conference of the European Chapter on Combinatorial Optimization (ECCO'16), May 2016, Budapest, Hungary. ⟨hal-01445006⟩
Accès au bibtex
BibTex
ref_biblio
Philippe Lalanda, Stéphanie Chollet, Catherine Hamon. Linked models@runtime to ease the administration of pervasive applications. 13th International Workshop on Managing Communications and Services. Part of PerCom 2016, Mar 2016, Sydney, Australia. ⟨hal-01289448⟩
Accès au bibtex
BibTex
ref_biblio
Colin Aygalinc, Gerbert-Gaillard Eva, German Vega, Philippe Lalanda, Stéphanie Chollet. Autonomic Service-Oriented Context for Pervasive Applications. 13th IEEE International Conference on Services Computing, Jun 2016, San Fransisco, CA, United States. ⟨10.1109/SCC.2016.70⟩. ⟨hal-01370442⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01370442/file/SCC-2016-context-final.pdf BibTex
ref_biblio
K. Hadj Salem, Y. Kieffer, Stéphane Mancini. Minimisation des accès mémoires dans un cache intelligent pour les systèmes de vision embarquée. 17ème Congrès Annuel de la Société Française de Recherche Opérationnelle et Aide à la Décision, Feb 2016, Compiègne, France. pp.1-2. ⟨hal-01445004⟩
Accès au bibtex
BibTex
ref_biblio
Seyyed Mohammad Saleh Samimi, Ehsan Aerabi, Arash Nejat, Mahdi Fazeli, David Hely, et al.. High output hamming-distance achievement by a greedy logic masking approach. 2016 IEEE East-West Design & Test Symposium (EWDTS), Oct 2016, Yerevan, France. ⟨10.1109/EWDTS.2016.7807657⟩. ⟨hal-01724174⟩
Accès au bibtex
BibTex
ref_biblio
Arash Nejat, David Hely, Vincent Beroulle. How logic masking can improve path delay analysis for Hardware Trojan detection. 2016 IEEE 34th International Conference on Computer Design (ICCD), Oct 2016, Phenix, United States. ⟨10.1109/ICCD.2016.7753319⟩. ⟨hal-01418432⟩
Accès au bibtex
BibTex
ref_biblio
C. Ananiadis, A. Papadimitriou, D. Hély, V. Beroulle, Paolo Maistri, et al.. On the development of a new countermeasure on a laser attack RTL fault model. Design, Automation and Test in Europe Conference (DATE'16), Mar 2016, Dresden, Germany. ⟨hal-01414728⟩
Accès au bibtex
BibTex
ref_biblio
Philippe Lalanda, Stéphanie Chollet, Catherine Hamon, Vincent Lestideau. Architectural Models to Simplify Administration of Service-Oriented Applications. IEEE International Conference on Services Computing, SCC 2016, Jun 2016, San Francisco, United States. ⟨hal-01898599⟩
Accès au bibtex
BibTex
ref_biblio
Vincent Beroulle, Oum-El-Kheir Aktouf, David Hely. System-Level Simulation for the Dependability Improvement of UHF RFID Systems. ICWMC 2016 : The Twelfth International Conference on Wireless and Mobile Communications (includes QoSE WMC 2016), IARIA, Nov 2016, Barcelone, Spain. ⟨hal-01432066⟩
Accès au bibtex
BibTex
ref_biblio
Mouna Tka Mnad, Christophe Deleuze, Ioannis Parissis, Jackie Launay, Jean-Baptiste Gning. Automated test generation for synchronous controllers. 11th International Workshop on Automation of Software (AST) , May 2016, Austin, TX, United States. ⟨hal-01424800⟩
Accès au bibtex
BibTex
ref_biblio
Long Le Thanh, Binh Nguyen Thanh, Ioannis Parissis. Testing Multimodal Interactive Applications by Means of the TTT Language. International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn (AMARETTO), Feb 2016, Rome, Italy. ⟨hal-01424798⟩
Accès au bibtex
BibTex
ref_biblio
Arash Nejat, David Hely, Vincent Beroulle. Reusing logic masking to facilitate path-delay-based hardware Trojan detection. 2016 IEEE 22nd International Symposium on On-Line Testing and Robust System Design (IOLTS), Jul 2016, Sant Felliu, Spain. ⟨10.1109/IOLTS.2016.7604696⟩. ⟨hal-01412412⟩
Accès au bibtex
BibTex
ref_biblio
K. Hadj Salem, Y. Kieffer, Stéphane Mancini. Optimisation du Fonctionnement d’un Contrôleur de Buffers pour les Systèmes de Vision Embarquée. Conférence d’informatique en Parallélisme, Architecture et Système (ComPAS'16), Jul 2016, Lorient, France. ⟨hal-01445013⟩
Accès au bibtex
BibTex
ref_biblio
Mosabbah Mushir Ahmed, David Hely, Romain Siragusa, Nicolas Barbot, Etienne Perret, et al.. Authentication of IC based on Electromagnetic Signature. 6th Conference on Trustworthy Manufacturing and Utilization of Secure Devices (TRUDEVICE 2016), Nov 2016, Barcelone, Spain. ⟨hal-02014251⟩
Accès au texte intégral et bibtex
https://hal.univ-grenoble-alpes.fr/hal-02014251/file/D16%20Authentication%20of%20IC%20based%20on%20Electromagnetic.pdf BibTex
ref_biblio
K. Hadj Salem, Y. Kieffer, Stéphane Mancini. Efficient Algorithms for Memory Management in Embedded Vision Systems. The 11th IEEE International Symposium on Industrial Embedded Systems (SIES-WIP'16), May 2016, Krakow, Poland. ⟨hal-01445010⟩
Accès au bibtex
BibTex
ref_biblio
Rania Ben Hadj, Stéphanie Chollet, Philippe Lalanda, Catherine Hamon. Sharing Devices between Applications with Autonomic Conflict Management. 2016 IEEE International Conference on Autonomic Computing (ICAC 2016), Jul 2016, Wuerzburg, Germany. ⟨hal-01898615⟩
Accès au bibtex
BibTex
ref_biblio
Le Thanh Long, T .B. Nguyen, Ioannis Parissis. TTTEST: The tool support for testing interactive multimodal application. 2016 International Conference on Electronics, Information, and Communications (ICEIC), Jan 2016, Danang, Vietnam. ⟨10.1109/ELINFOCOM.2016.7562942⟩. ⟨hal-01717436⟩
Accès au bibtex
BibTex
ref_biblio
Gerbert-Gaillard Eva, Stéphanie Chollet, Philippe Lalanda. Model-driven approach for self-aware pervasive systems. 15th IEEE/ICIS International Conference on Computer and Information Science (ICIS 2016), Jun 2016, Okayama, Japan. ⟨hal-01898591⟩
Accès au bibtex
BibTex
ref_biblio
Colin Aygalinc, Eva Gerbert-Gaillard, German Vega, Philippe Lalanda, Stéphanie Chollet. A model-based approach to context management in pervasive platforms. 2016 IEEE International Conference on Pervasive Computing and Communication Workshops (PerCom 2016), Mar 2016, Sydney, Australia. pp.258-264, ⟨10.1109/PERCOMW.2016.7457109⟩. ⟨hal-01370467⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01370467/file/2016_CoMoRea_v1.1.pdf BibTex
ref_biblio
Romain Champon, Vincent Beroulle, Athanasios Papadimitriou, David Hély, Gilles Grenevrier, et al.. Comparison of RTL Fault Models for the Robustness Evaluation of Aerospace FPGA devices. 22nd IEEE international Symposium on On-Line Testing and Robust System Design (IOLTS 2016), Jul 2016, San Feliu de Guiwols, Spain. ⟨hal-01391000⟩
Accès au bibtex
BibTex
ref_biblio
Régis Leveugle, A. Chahed, Paolo Maistri, A. Papadimitriou, D. Hély, et al.. On Fault Injections for Early Security Evaluation vs. Laser-based Attacks. 1st IEEE International Verification and Security Workshop, Jul 2016, St Feliu de Guixols, Spain. pp.33-38. ⟨hal-01444970⟩
Accès au bibtex
BibTex
ref_biblio
K. Hadj Salem, Y. Kieffer, Stéphane Mancini. Formulation and Practical Solution for the Optimization of Memory Accesses in Embedded Vision Systems. The 9th International Workshop on Computational Optimization (WCO'16), Sep 2016, Gdansk, Poland. ⟨hal-01445015⟩
Accès au bibtex
BibTex
ref_biblio
Brice Colombier, Lilian Bossuet, David Hely, Viktor Fischer. Key Reconciliation Protocols: an Alternative for Lightweight Authentication of Integrated Circuits. International CryptArchi Workshop , Jun 2016, La Grande-Motte, France. ⟨hal-01382983⟩
Accès au bibtex
BibTex

2015

ref_biblio
Tao Zhang, Jerry Gao, Oum-El-Kheir Aktouf, Tadahiro Uehara. Test Model and Coverage Analysis for Location based Mobile Services . The 27th International Conference on Software Engineering and Knowledge Engineering (SEKE 2015), Jul 2015, Pittsburg, United States. ⟨hal-01700731⟩
Accès au bibtex
BibTex
ref_biblio
Tka Mouna, Christophe Deleuze, Ioannis Parissis. Testium: outil de génération automatique de données de test pour les systèmes synchrones. Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2015, Bordeaux, France. ⟨hal-01717444⟩
Accès au bibtex
BibTex
ref_biblio
Athanasios Papadimitriou, Marios Tampas, David Hély, Vincent Beroulle, Paolo Maistri, et al.. Validation of RTL laser fault injection model with respect to layout information. Hardware Oriented Security and Trust (HOST 2016), May 2015, Washington,, United States. ⟨10.1109/HST.2015.7140241⟩. ⟨hal-01392792⟩
Accès au bibtex
BibTex
ref_biblio
Philippe Lalanda, Stéphanie Chollet, Aygalinc Colin, Gerbert-Gaillard Eva. Service-Based Architecture and Frameworks for Pervasive Health Applications. 9th International Workshop on Service-Oriented Cyber-Physical Systems in Converging Networked Environments (SOCNE), Sep 2015, Luxembourg, Luxembourg. pp.35-42. ⟨hal-01196881⟩
Accès au bibtex
BibTex
ref_biblio
Brice Colombier, Lilian Bossuet, David Hely. Reversible Denial-of-Service by Locking Gates Insertion for IP Cores Design Protection. {IEEE} Computer Society Annual Symposium on VLSI, CNRS-LIRMM, France, Jul 2015, Montpellier, France. ⟨ujm-01180564⟩
Accès au texte intégral et bibtex
https://ujm.hal.science/ujm-01180564/file/2015_ISVLSI_colombier.pdf BibTex
ref_biblio
Stéphanie Chollet, Philippe Lalanda, Clement Escoffier. Extension of Service-Oriented Component Models for Dynamic Environment. Proceedings of the 12th IEEE International Conference on Services Computing (SCC), IEEE Computer Society, Jun 2015, New-York, United States. ⟨hal-01158946⟩
Accès au bibtex
BibTex
ref_biblio
Stéphanie Chollet. Self-Adaptation of Service Bindings based on Formal Concept Analysis. Proceedings of the 12th IEEE International Conference on Autonomic Computing (ICAC), IEEE Computer Society, Jul 2015, Grenoble, France. ⟨hal-01158952⟩
Accès au bibtex
BibTex
ref_biblio
Backer Jerry, David Hely, Ramesh Karri. On enhancing the debug architecture of a system-on-chip (SoC) to detect software attacks. Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFTS), 2015 IEEE International Symposium on, IEEE, Oct 2015, Amherst, United States. ⟨10.1109/DFT.2015.7315131⟩. ⟨hal-01398767⟩
Accès au bibtex
BibTex
ref_biblio
Oum-El-Kheir Aktouf, Tao Zhang, Jerry Gao, Tadahiro Uehara. Testing location-based function services for mobile applications . The 2015 MCTaaS Workshop in conjunction with 2015 IEEE Symposium on Service-Oriented System Engineering (SOSE), San Francisco Bay, USA, p. 308-314, Mar 2015, San Francisco Bay, United States. ⟨hal-01700721⟩
Accès au bibtex
BibTex
ref_biblio
A. Papadimitriou, D. Hély, V. Beroulle, Paolo Maistri, Régis Leveugle. Analysis of laser-induced errors: RTL fault model versus layout locality characteristics. Third Workshop on Trustworthy Manufacturing and Utilization of Secure Devices (TRUDEVICE'15), Mar 2015, Grenoble, France. ⟨hal-01393406⟩
Accès au bibtex
BibTex
ref_biblio
Arash Nejat, David Hely, Vincent Beroulle. Facilitating side channel analysis by obfuscation for Hardware Trojan detection. IEEE Design & Test Symposium (IDT 2015), Dec 2015, Dead sea, Jordan. ⟨10.1109/IDT.2015.7396749⟩. ⟨hal-01391014⟩
Accès au bibtex
BibTex
ref_biblio
Brice Colombier, David Hely, Lilian Bossuet. Reversible Denial-of-Service by Locking Gates Insertion for IP Cores Design Protection. International CryptArchi Workshop 2015, Jun 2015, Leuven, Belgium. ⟨hal-01382976⟩
Accès au bibtex
BibTex
ref_biblio
A. Papadimitriou, M. Tampas, D. Hély, V. Beroulle, Paolo Maistri, et al.. Validation of RTL laser fault injection model with respect to layout information. IEEE International Symposium on Hardware Oriented Security and Trust (HOST'15), May 2015, McLean, VA, United States. pp.78-81. ⟨hal-01393414⟩
Accès au bibtex
BibTex
ref_biblio
Backer Jerry, Ali Subidh, Kurt Rosenfeld, David Hely, Karri Ramesh, et al.. A secure design-for-test infrastructure for lifetime security of SoCs. Circuits and Systems (ISCAS), 2015 IEEE International Symposium on, IEEE, May 2015, Lisbonna, Portugal. ⟨10.1109/ISCAS.2015.7168564⟩. ⟨hal-01205397⟩
Accès au bibtex
BibTex
ref_biblio
Stéphanie Chollet, Philippe Lalanda, Catherine Hamon. Maintien de la cohérence entre les architectures pour une gestion autonomique de systèmes pervasifs : Approche basée sur les méta-modèles des architectures de conception et de l’exécution.. Actes du 33ème Congrès INFORSID, May 2015, Biarritz, France. ⟨hal-01158940⟩
Accès au bibtex
BibTex

2014

ref_biblio
P. Papavramidou, D. Hély, V. Beroulle, Paolo Maistri, Régis Leveugle. FPGA emulation of laser attacks against secure deep submicron integrated circuits. Second Workshop on Trustworthy Manufacturing and Utilization of Secure Devices (TRUDEVICE'14), May 2014, Paderborn, Germany. ⟨hal-01132405⟩
Accès au bibtex
BibTex
ref_biblio
Omar Abdelmalek, David Hely, Vincent Beroulle. Emulation Based Fault Injection on UHF RFID Transponder. 17th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems, Apr 2014, Varsaw, Poland. pp.1-4. ⟨hal-01010294⟩
Accès au bibtex
BibTex
ref_biblio
Fatma Jebali, Mouna Tka Mnad, Christophe Deleuze, Frédéric Lang, Radu Mateescu, et al.. Modélisation et validation formelle de systèmes globalement asynchrones et localement synchrones. Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2014, Paris, France. pp.97--102. ⟨hal-01007674⟩
Accès au texte intégral et bibtex
https://hal.univ-grenoble-alpes.fr/hal-01007674/file/bluesky.pdf BibTex
ref_biblio
Vincent Beroulle, Philippe Candelier, Stephan de Castro, Giorgio Di Natale, Jean-Max Dutertre, et al.. Laser-Induced Fault Effects in Security-Dedicated Circuits. VLSI-SoC: Very Large Scale Integration and System-on-Chip, Oct 2014, Playa del Carmen, Mexico. pp.220-240, ⟨10.1007/978-3-319-25279-7_12⟩. ⟨hal-01383737⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01383737/file/371768_1_En_12_Chapter.pdf BibTex
ref_biblio
Manel Charfi, Yann Gripay, Nicolas Fourty, Denis Genon-Catalot, Jean-Marc Petit. Approche déclarative pour le monitoring des bâtiments intelligents. Journées Nationales des Communications Terrestres (JNCT 2014), May 2014, Toulouse-Blagnac, France. pp.123-131. ⟨hal-01301107⟩
Accès au bibtex
BibTex
ref_biblio
Pierre Vanhauwaert, Paolo Maistri, Régis Leveugle, Athanasios Papadimitriou, David Hely, et al.. On error models for RTL security evaluations. 9th Conference on Design and Technology of Integrated Systems in Nanoscale Era (DTIS) 2014, May 2014, Santorini, Greece. pp.1-6. ⟨hal-01010314⟩
Accès au bibtex
BibTex
ref_biblio
Tka Mouna, Christophe Deleuze, Ioannis Parissis. Synchronous Programs Testing Language (SPTL). International Conference on Computational Science and Its Applications (ICCSA 2014), 2014, Guimarae, Portugal. 13 p. ⟨hal-01023037⟩
Accès au texte intégral et bibtex
https://hal.univ-grenoble-alpes.fr/hal-01023037/file/sptl.pdf BibTex
ref_biblio
Albert Royo Manjon, Eric Simon, Sébastien Jean. Towards a flexible and secure runtime for embedded devices. PECCS 2014, Jan 2014, Lisbon, Portugal. ⟨hal-00951904⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00951904/file/PECCS_2014_-_Albert_Royo_-_Camera_Ready.pdf BibTex
ref_biblio
Omar Abdelmalek, David Hely, Vincent Beroulle. Fault Tolerance Evaluation of RFID Tags. 15th IEEE Latin America Test Workshop, Mar 2014, Fortaleza, Brazil. pp.1-6. ⟨hal-00958582⟩
Accès au bibtex
BibTex
ref_biblio
Eric Simon, Albert Royo Manjon, Sébastien Jean. AOLOA: A Composable Framework for Third-Party Applications for Smart Home Gateways. 2014 IEEE International Conference on Services Computing (SCC), Jun 2014, Anchorage, France. pp.621-628, ⟨10.1109/SCC.2014.87⟩. ⟨hal-02081938⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02081938/file/scc-aoloa-camera-ready-v1.2.1.pdf BibTex
ref_biblio
Noémie Boher, Kamil Gomina, David Hely, Vincent Beroulle, Jean-Baptiste Rigaud, et al.. Voltage Glitch Attacks on Mixed Signal Systems. 17th Euromicro Conference on Digital Systems Design, Aug 2014, Verone, Italy. pp.1-6. ⟨hal-01063664⟩
Accès au bibtex
BibTex
ref_biblio
Clement Escoffier, Stéphanie Chollet, Philippe Lalanda. Lessons Learned in Building Pervasive Platforms. The 11th Annual IEEE Consumer Communications and Networking Conference, Jan 2014, Las Vegas, CA, United States. pp.203-208. ⟨hal-00874181⟩
Accès au bibtex
BibTex
ref_biblio
Anthony Gelibert, Sébastien Jean, Denis Genon-Catalot, Gérard Santailler, Ioannis Parissis. Towards unified tooling for easing the qualification of medical normed environments. eTELEMED 2014, Mar 2014, Barcelona, Spain. ⟨hal-00951929⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00951929/file/etelemed.pdf BibTex
ref_biblio
Athanasios Papadimitriou, David Hely, Vincent Beroulle, Paolo Maistri, Régis Leveugle. A multiple fault injection methodology based on cone partitioning towards RTL modeling of laser attacks. Design, Automation and Test in Europe Conference and Exhibition (DATE), 2014, Mar 2014, Dresden, Germany. pp.1-4, ⟨10.7873/DATE2014.219⟩. ⟨hal-00981848⟩
Accès au bibtex
BibTex
ref_biblio
Philippe Lalanda, Stéphanie Chollet, Etienne Gandrille, Catherine Hamon. Maintaining Traceability Links between Design and Runtime Architectures to support Autonomic Management. 8th International Workshop on Service Oriented Cyber-Physical Systems in Converging Networked Environments (SOCNE), Sep 2014, Barcelona, Spain. pp.19-24. ⟨hal-01073945⟩
Accès au bibtex
BibTex
ref_biblio
Philippe Lalanda, Stéphanie Chollet, Clement Escoffier, Denis Morand. Dynamic Collection of Data in Complex, Physical Environment. 19th IEEE International Conference on Emerging Technology and Factory Automation (ETFA), Sep 2014, Barcelona, Spain. ⟨hal-01073948⟩
Accès au bibtex
BibTex

2013

ref_biblio
Noémie Boher, David Hely, Vincent Beroulle, Joël Damiens, Philippe Candelier. Increasing the security level of analog IPs by using a dedicated vulnerability analysis methodology.. Quality Electronic Design (ISQED), 2013 14th International Symposium on, Mar 2013, United States. pp.531-537, ⟨10.1109/ISQED.2013.6523662⟩. ⟨hal-00861556⟩
Accès au bibtex
BibTex
ref_biblio
Rafik Kheddam, Oum-El-Kheir Aktouf, Ioannis Parissis, Sanaa Boughazi. Monitoring of RFID Failures Resulting from LLRP Misconfigurations. 21st IEEE International Conference on Software, Telecommunications and Computer Networks (SOFTCOM 2013), Sep 2013, Split, Croatia. pp.1-6. ⟨hal-00958529⟩
Accès au bibtex
BibTex
ref_biblio
Omar Abdelmalek, David Hely, Vincent Beroulle. An UHF RFID Emulation Platform with Fault Injection and real time Monitoring capabilities. 8th IEEE International Design & Test Symposium 2013, Dec 2013, Marrakesh, Morocco. pp.1-2, ⟨10.1109/IDT.2013.6727143⟩. ⟨hal-00933386⟩
Accès au bibtex
BibTex
ref_biblio
Lilian Bossuet, David Hely. SALWARE: Salutary Hardware to design Trusted IC.. Workshop on Trustworthy Manufacturing and Utilization of Secure Devices, TRUDEVICE 2013, May 2013, Avignon, France. ⟨ujm-00833871⟩
Accès au texte intégral et bibtex
https://ujm.hal.science/ujm-00833871/file/2013_TRUDEVICE_SALWARE_Bossuet.pdf BibTex
ref_biblio
Mohand Bentobache, Ahcène Bounceur, Reinhardt Euler, Salvador Mir, Yann Kieffer. Minimizing Test Frequencies for Linear Analog Circuits: New Models and Efficient Solution Methods. 21th IFIP/IEEE International Conference on Very Large Scale Integration - System on a Chip (VLSI-SoC), Oct 2013, Istanbul, Turkey. pp.188-207, ⟨10.1007/978-3-319-23799-2_9⟩. ⟨hal-01380305⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01380305/file/367527_1_En_9_Chapter.pdf BibTex
ref_biblio
Ibrahim Mezzah, Omar Kermia, Hamimi Chemali, Omar Abdelmalek, David Hely, et al.. Assertion based on-line fault detection applied on UHF RFID tag. 8th IEEE International Design & Test Symposium 2013, Dec 2013, Marrakesh, Morocco. pp.1-5, ⟨10.1109/IDT.2013.6727091⟩. ⟨hal-00950130⟩
Accès au bibtex
BibTex
ref_biblio
Than Long Le, Thanh Binh Nguyen, Ioannis Parissis. A new test modeling language for interactive applications based on task trees. 4th International Symposium on Information and Communication Technology, SoICT '13, Danang, Viet Nam - December 05 - 06, 2013, Dec 2013, Vietnam. pp.285-293. ⟨hal-00954532⟩
Accès au bibtex
BibTex
ref_biblio
Yves Grasland, Lydie Du Bousquet, Roland Groz, Ioannis Parissis. A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information. 6th International Conference on Software Testing and Verification (ICST 2013), Mar 2013, Luxembourg, Luxembourg. pp.104-113. ⟨hal-00954524⟩
Accès au bibtex
BibTex
ref_biblio
Noémie Boher, David Hely, Vincent Beroulle, Kamil Gomina, Joël Damiens, et al.. Evaluating and Enhancing the Security of Analog and Mixed IPs in Complex System On Chip. Workshop on Trustworthy Manufacturing and Utilization of Secure Devices, TRUDEVICE 2013, May 2013, Avignon, France. ⟨hal-01010298⟩
Accès au bibtex
BibTex
ref_biblio
David Hely, Simon Piroux Mounier, Rivière Elie, Triana Gerson, Martin Julien, et al.. Experiences in side channel and testing based Hardware Trojan detection. IEEE VLSI Test Symposium 2013, Apr 2013, United States. pp.1-4. ⟨hal-00857603⟩
Accès au bibtex
BibTex
ref_biblio
A. Papadimitriou, D. Hély, V. Beroulle, Paolo Maistri, Régis Leveugle. FPGA emulation of laser attacks against secure deep submicron integrated circuits. 7ème Colloque du GdR SoC-SiP, Jun 2013, Lyon, France. ⟨hal-01400108⟩
Accès au bibtex
BibTex
ref_biblio
David Hely, Dubeuf Jérémy, Karri Ramesh. Run-time detection of hardware Trojans: The processor protection unit. 18th IEEE European Test Symposium, May 2013, Avignon, France. pp.1-6. ⟨hal-00861554⟩
Accès au bibtex
BibTex
ref_biblio
Omar Abdelmalek, David Hely, Vincent Beroulle. EPC Class 1 GEN 2 UHF RFID tag emulator for robustness evaluation and improvement. Design & Technology of Integrated Systems in Nanoscale Era (DTIS), 2013 8th International Conference on, Mar 2013, Marrakesh, Morocco. pp.20-24, ⟨10.1109/DTIS.2013.6527771⟩. ⟨hal-00950128⟩
Accès au bibtex
BibTex
ref_biblio
Christophe Deleuze. Concurrence légère en OCaml : muthreads. JFLA - Journées francophones des langages applicatifs, Damien Pous and Christine Tasson, Feb 2013, Aussois, France. ⟨hal-00779801⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00779801/file/jfla2013-12.pdf BibTex
ref_biblio
David Hely, Vincent Beroulle, Abdelmalek Omar. Triggering Hardware Trojans in EPC C1G2 RFID Tags. Workshop on Trustworthy Manufacturing and Utilization of Secure Devices, TRUDEVICE 2013, May 2013, Avignon, France. ⟨hal-00958199⟩
Accès au bibtex
BibTex

2012

ref_biblio
Dima Hamdan, Oum-El-Kheir Aktouf, Ioannis Parissis, Abbas Hijazi, Mira Sarkis, et al.. SMART Service for Fault-Diagnosis in Wireless Sensor Networks. IEEE 6th International Conference on Next Generation Mobile Applications, Services and Technologies (NGMAST 2012), Sep 2012, Paris, France. pp.211 - 216. ⟨hal-00959625⟩
Accès au bibtex
BibTex
ref_biblio
Christophe Deleuze. Concurrence et continuations en OCaml. JFLA - Journées Francophones des Langages Applicatifs - 2012, Feb 2012, Carnac, France. ⟨hal-00665918⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00665918/file/paper_3.pdf BibTex
ref_biblio
Aurélien Faravelon, Stéphanie Chollet, Christine Verdier, Agnès Front. Configuring Private Data Management as Access Restrictions: From Design to Enforcement. ICSOC 2012 - International Conference on Service-Oriented Computing, Nov 2012, Shanghai, China. pp.344-358, ⟨10.1007/978-3-642-34321-6_23⟩. ⟨hal-00723506⟩
Accès au bibtex
BibTex
ref_biblio
Rafik Kheddam, Oum-El-Kheir Aktouf, Ioannis Parissis. Monitoring en ligne des systèmes RFID en vue du diagnostic de fautes. 9ème édition de la conférence MAnifestation des JEunes Chercheurs en Sciences et Technologies de l'Information et de la Communication - MajecSTIC 2012 (2012), Nicolas Gouvy, Oct 2012, Villeneuve d'Ascq, France. ⟨hal-00780208⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00780208/file/majecstic2012_submission_32.pdf BibTex
ref_biblio
Yoann Maurel, Stéphanie Chollet, Vincent Lestideau, Jonathan Bardin, Philippe Lalanda, et al.. fANFARE: Autonomic Framework for Service-based Pervasive Environment. SCC 2012 - International Conference on Service Computing, Jun 2012, Honolulu, HI, United States. pp.65-72, ⟨10.1109/SCC.2012.7⟩. ⟨hal-00693315⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00693315/file/Maurel-Chollet-Lestideau-Bardin-Lalanda-Bottaro_SCC2012.pdf BibTex
ref_biblio
Rafik Kheddam, Oum-El-Kheir Aktouf, Ioannis Parissis. An extended LLRP model for RFID system test and diagnosis. The 8th Workshop on Advances in Model Based Testing, Apr 2012, Quebec, Canada. pp.10. ⟨hal-00676582⟩
Accès au bibtex
BibTex
ref_biblio
Stéphanie Chollet, Vincent Lestideau, Yoann Maurel, Etienne Gandrille, Philippe Lalanda, et al.. Practical Use of Formal Concept Analysis in Service-Oriented Computing. ICFCA 2012 - International Conference on Formal Concept Analysis, May 2012, Leuven, Belgium. pp.61-76, ⟨10.1007/978-3-642-29892-9_11⟩. ⟨hal-00693312⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00693312/file/Chollet-Lestideau-Maurel-Gandrille-Lalanda-Raynaud_ICFCA2012.pdf BibTex
ref_biblio
Rafik Kheddam, Oum-El-Kheir Aktouf, Ioannis Parissis. Monitoring en ligne des systèmes RFID en vue du diagnostic de fautes. Conférence Jeunes Chercheurs MajecSTIC 2012, Oct 2012, Lille, France. pp.8. ⟨hal-00719358⟩
Accès au bibtex
BibTex
ref_biblio
Anthony Gelibert, Sébastien Jean, Denis Genon-Catalot. Plateforme Ouverte de Supervision et de Traçabilité pour les Environnements Confinés. 9ème édition de la conférence MAnifestation des JEunes Chercheurs en Sciences et Technologies de l'Information et de la Communication - MajecSTIC 2012 (2012), Oct 2012, Villeneuve d'Ascq, France. 8 p. ⟨hal-00733036⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00733036/file/MajecSTIC2012_gelibert.pdf BibTex
ref_biblio
Dima Hamdan, Oum-El-Kheir Aktouf, Ioannis Parissis, Bachar El Hassan, Abbas Hijazi, et al.. A Self monitoring, Adaptative and Resource Efficient Approach for Improving QoS in Wireless Sensor Networks. IEEE International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery (Cyber'C 2012), Oct 2012, Sanya, China. pp.393-400. ⟨hal-00959622⟩
Accès au bibtex
BibTex
ref_biblio
Dima Hamdan, Oum-El-Kheir Aktouf, Ioannis Parissis, Bachar El Hassan, Abbas Hijazi. Integrated Fault Tolerance Framework for Wireless Sensor Networks. 19th International Conference on Telecommunications, Apr 2012, Jounieh, Lebanon. pp.6. ⟨hal-00667331⟩
Accès au bibtex
BibTex
ref_biblio
Dima Hamdan, Oum-El-Kheir Aktouf, Ioannis Parissis, Bachar El Hassan, Abbas Hijazi. Online Data Fault Detection For Wireless Sensor Networks - Case Study. The Third International Conference on Wireless Communications in Unusual and Confined Areas, Aug 2012, Clermont-Ferrand, France. pp.6. ⟨hal-00695979⟩
Accès au bibtex
BibTex
ref_biblio
Gilles Fritz, Vincent Beroulle, Oum-El-Kheir Aktouf, David Hély. Evaluation of a new RFID system performance monitoring approach. Design Automation & Test in Europe, 2012, Dresden, Germany. ⟨hal-01105361⟩
Accès au bibtex
BibTex
ref_biblio
Yves Grasland, Lydie Du Bousquet, Roland Groz, Ioannis Parissis. Évaluation de la qualité de jeux de tests hybrides en domotique. AFADL 2012 - Approches Formelles dans l'Assistance au Développement de Logiciels, Jan 2012, Grenoble, France. pp.104-119. ⟨hal-00680691⟩
Accès au bibtex
BibTex
ref_biblio
David Hely, Dubeuf Jérémy, Augagneur Maurin, Clauzel Yves. A Physical Unclonable Function Based on Setup Time Violation. ICCD 2012, Oct 2012, Montréal, Canada. ⟨hal-00739575⟩
Accès au bibtex
BibTex
ref_biblio
David Hely, Augagneur Maurin, Clauzel Yves, Dubeuf Jérémy. Malicious Key Emission via Hardware Trojan Against Encryption System. ICCD, Oct 2012, France. pp.100-104. ⟨hal-00739571⟩
Accès au bibtex
BibTex
ref_biblio
Dima Hamdan, Oum-El-Kheir Aktouf, Ioannis Parissis, Bachar El Hassan, Abbas Hijazi. Online data fault detection in wireless sensor networks. IEEE Second International Conference on Advances in Computational Tools for Engineering Applications, Dec 2012, Zouk Mosbeh, Lebanon. pp.61-65. ⟨hal-00958535⟩
Accès au bibtex
BibTex
ref_biblio
Rafik Kheddam, Oum-El-Kheir Aktouf, Ioannis Parissis. Online monitoring and diagnosis of RFID readers and tags. 20th IEEE International Conference on Software, Telecommunications and Computer Networks (SoftCOM 2012), Sep 2012, Split, Croatia. pp.1-9. ⟨hal-00798536⟩
Accès au bibtex
BibTex

2011

ref_biblio
Virginia Papailiopoulou, Ajitha Rajan, Ioannis Parissis. Structural Test Coverage Criteria for Integration Testing of LUSTRE/SCADE Programs. Workshop on Formal Methods for Industrial Critical Systems (FMICS), Aug 2011, Trento, Italy. pp.85-101. ⟨hal-00680688⟩
Accès au bibtex
BibTex
ref_biblio
Minh Duc Nguyen, Gilles Fritz, Oum-El-Kheir Aktouf, Vincent Beroulle, David Hély. Towards middleware-based fault-tolerance in RFID systems. 13th European Workshop on Dependable Computing (EWDC 2011), May 2011, Pise, Italy. pp.49-52. ⟨hal-00593732⟩
Accès au bibtex
BibTex
ref_biblio
Yves Grasland, Lydie Du Bousquet, Roland Groz, Ioannis Parissis. Home Automation Systems Testing : A Coverage Measure for Hybrid Automata. ICTSS 2011 - 23rd IFIP International Conference on Testing Software and Systems, Nov 2011, Paris, France. pp.5-12. ⟨hal-00860799⟩
Accès au bibtex
BibTex
ref_biblio
Minh Duc Nguyen, Gilles Fritz, Oum-El-Kheir Aktouf, Vincent Beroulle, David Hely. Towards middleware-based fault-tolerance in RFID systems. 13th European Workshop on Dependable Computing, EWDC 2011, May 2011, Pise, Italy. pp.5. ⟨hal-00580368⟩
Accès au bibtex
BibTex
ref_biblio
David Hely, Vincent Beroulle, Feng Lu, Jose Ramon Garcia Oya. Towards an unified IP verification and robustness analysis platform. 14th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2011, Apr 2011, France. ⟨hal-00593524⟩
Accès au bibtex
BibTex
ref_biblio
Imad Belkacem, Oum-El-Kheir Aktouf, Safia Nait Bahloul. Vers la tolérance aux fautes dans les systèmes RFID. International Conference on Systems and Processing Information (ICSPI 2011), May 2011, Guelma, Algérie. pp.1. ⟨hal-00580365⟩
Accès au bibtex
BibTex
ref_biblio
David Hely, Kurt Rosenfeld, Ramesh Karri. Security challenges during VLSI test. New Circuits and Systems Conference (NEWCAS), 2011 IEEE 9th International, Jun 2011, Bordeaux, France. pp 486 - 489, ⟨10.1109/NEWCAS.2011.5981325⟩. ⟨hal-00619524⟩
Accès au bibtex
BibTex
ref_biblio
Gilles Fritz, Vincent Beroulle, Oum-El-Kheir Aktouf, David Hely. SystemC Modeling of RFID Systems for Robustness Analysis. 19th International Conference on Software, Telecommunications and Computer Networks IEEE SoftCOM, Sep 2011, Hvar (Split), Croatia. pp.ISBN : 978-953-290-027-9. ⟨hal-00628789⟩
Accès au bibtex
BibTex
ref_biblio
Laya Madani, Ioannis Parissis. Automatically testing interactive multimodal systems using task trees and fusion models. 6th international workshop on Automation of software test (AST '11), May 2011, United States. pp.43-49, ⟨10.1145/1982595.1982605⟩. ⟨hal-00616638⟩
Accès au bibtex
BibTex
ref_biblio
Anthony Gelibert, Walter Rudametkin, Didier Donsez, Sébastien Jean. Clustering OSGi Applications using Distributed Shared Memory. NOTERE 2011 - International Conference on New Technologies of Distributed Systems, May 2011, Paris, France. pp.1-8, ⟨10.1109/NOTERE.2011.5957981⟩. ⟨hal-00591066⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00591066/file/PID1088226.pdf BibTex
ref_biblio
Imad Belkacem, Oum-El-Kheir Aktouf, Safia Nait Bahloul. Analyse des données d'un système RFID en vue de sa sûreté de fonctionnement. 1st International Conference on Information Systems and Technologies (ICIST 2011), Apr 2011, Tébessa, Algérie. pp.1. ⟨hal-00580364⟩
Accès au bibtex
BibTex
ref_biblio
Gilles Fritz, Boutheina Maaloul, Vincent Beroulle, Oum-El-Kheir Aktouf, David Hely. Read rate profile monitoring for defect detection in RFID Systems. IEEE International Conference on RFID-Technologies and Applications (RFID-TA 2011), Sep 2011, Sitges (Barcelona), Spain. pp. 89-94. ⟨hal-00628783⟩
Accès au bibtex
BibTex

2010

ref_biblio
Ioannis Parissis, Laya Madani, Virginia Papailiopoulou. Towards a testing methodology for reactive systems: a case study of a landing gear controller. 3th International Conference on Software Testing and Verification (ICST 2010), Apr 2010, Paris, France. pp.489 - 497. ⟨hal-00549886⟩
Accès au bibtex
BibTex
ref_biblio
Gilles Fritz, Vincent Beroulle, Nguyen Minh Duc, Oum-El-Kheir Aktouf, Ioannis Parissis. Read-Error-Rate evaluation for RFID system on-line testing. 2010 IEEE 16th International Mixed-Signals, Sensors and Systems Test Workshop (IMS3TW), Jun 2010, La Grande Motte, France. pp.1. ⟨hal-00491923⟩
Accès au bibtex
BibTex

2009

ref_biblio
Virginia Papailiopoulou, Besnik Seljimi, Ioannis Parissis. Revisiting the Steam-Boiler Case Study with LUTESS : Modeling for Automatic Test Generation. 12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 8 p. ⟨hal-00381548⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00381548/file/Testing_1.pdf BibTex
ref_biblio
Lilia Zaourar, Yann Kieffer, Nadia Brauner, Chouki Aktouf. Une méthode pour insérer le scan au niveau RTL en une seule passe. Colloque national du Groupe de recherche System on Chip, System on Package, Jun 2009, Paris, France. ⟨hal-00412974⟩
Accès au bibtex
BibTex
ref_biblio
Thi-Quynh Bui, Oum-El-Kheir Aktouf, Laurent d'Orazio, Michel Dang. Service de diagnostic pour composants logiciels. Qualita 2009, 2009, Besançon, France. pp.5. ⟨hal-00376183⟩
Accès au bibtex
BibTex
ref_biblio
Oum-El-Kheir Aktouf, Christophe Deleuze, Martine Wahl. Dependability of embedded networks - A case study with system diagnosis of CAN protocol. The 9th International Conference on ITS Telecommunication, Oct 2009, Lille, France. pp.5. ⟨hal-00418724⟩
Accès au bibtex
BibTex
ref_biblio
Laya Madani, Ahmed M'Hiri, Sophie Dupuy-Chessa, Ioannis Parissis. Vers la formalisation de propriétés ergonomiques de systèmes interactifs. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2009), 2009, Unknown, France. pp.16. ⟨hal-00953600⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00953600/file/AFADL-09-final.pdf BibTex
ref_biblio
Lilia Zaourar, Yann Kieffer, Chouki Aktouf. A Practical Scan OptimizationAlgorithm at the Register Transfer Level. Design Automation and Test in Europe., 2009, Nice, France. pp.22. ⟨hal-00413080⟩
Accès au bibtex
BibTex
ref_biblio
Sébastien Jean, Kiev Gama, Didier Donsez, André Lagreze. Towards a Monitoring System for High Altitude Objects. 6th International Conference on Mobile Technology, Application & Systems, Sep 2009, Nice, France. (electronic proceedings), ⟨10.1145/1710035.1710046⟩. ⟨hal-00420692⟩
Accès au bibtex
BibTex
ref_biblio
Thi-Quynh Bui, Oum-El-Kheir Aktouf, Michel Dang, Levent Gürgen, Claudia Roncancio. Diagnosis service for software components and its application to a Heterogeneous sensor data management system. 2nd International Conference on Dependability, Depend 2009, 2009, Athènes, Greece. pp.6. ⟨hal-00378209⟩
Accès au bibtex
BibTex
ref_biblio
Oum-El-Kheir Aktouf, Christophe Deleuze, Martine Wahl. Dependability of Embedded Networks - A Case Study with System Diagnosis of CAN Protocol. 9th International Conference on Intelligent Transport Systems (ITS) Telecommunication, Oct 2009, Lille, France. pp.5. ⟨hal-00580362⟩
Accès au bibtex
BibTex
ref_biblio
Sebastien Jean, Kiev Gama, Didier Donsez, André Lagreze. Towards a monitoring system for High Altitude Objects. International Conference On Mobile Technology, Applications, And Systems, 2009, Nice, France. 8p, ⟨10.1145/1710035.1710046⟩. ⟨hal-00485147⟩
Accès au bibtex
BibTex

2008

ref_biblio
Thi-Quynh Bui, Oum-El-Kheir Aktouf, Michel Dang. Software Component Diagnosis Service: Architecture Description. The Third International Symposium on Industrial Embedded Systems, 2008, La Grande Motte, France. pp.158-164. ⟨hal-00376182⟩
Accès au bibtex
BibTex
ref_biblio
Xuan-Tu Tran, Yvain Thonnart, Jean Durupt, Vincent Beroulle, Chantal Robach. A Design-for-Test Implementation of an Asynchronous Network-on-Chip Architecture and its Associated Test Pattern Generation and Application. The 2nd ACM/IEEE International Symposium on Networks-on-Chip, Apr 2008, Newcastle, United Kingdom. pp. 149-158. ⟨hal-00331239⟩
Accès au bibtex
BibTex

2007

ref_biblio
Thi-Quynh Bui, Oum-El-Kheir Aktouf. Diagnosis Service for Embedded Software Component based Systems. The 2nd International Workshop on Engineering Fault Tolerant Systems, 2007, Dubrovnik, Croatia. pp.14-19. ⟨hal-00376181⟩
Accès au bibtex
BibTex
ref_biblio
R. Khouri, V. Beroulle, T.P. Vuong, S. Tedjini. Modélisation en VHDL-AMS du lien RF pour la simulation de systèmes RFID. "Ecole d'hiver Francophone sur les Technologies de Conception des systèmes embarqués Hétérogènes", Jan 2007, France. ⟨hal-00261817⟩
Accès au bibtex
BibTex
ref_biblio
Yves Joannon, Vincent Beroulle, Chantal Robach, Smail Tedjini, Jean-Louis Carbonero. Using of Behavioral level AMS & RF Simulation for Validation Test Set Optimization. WTW'07, May 2007, Berkeley, United States. pp.62-67. ⟨hal-00250420⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00250420/file/Using_of_Behavioral_level_AMS_RF_Simulation_JOANNON.pdf BibTex
ref_biblio
Yves Joannon, Vincent Beroulle, Chantal Robach, Smail Tedjini, Jean-Louis Carbonero. Qualification of Behavioral Level Design Validation for AMS&RF SoCs. VLSI SOC'07, Oct 2007, Atlanta, United States. pp.100 - 106. ⟨hal-00250426⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00250426/file/Qualification_of_Behavioral_Level_Design_Validation.pdf BibTex
ref_biblio
Rami Khouri, Yvan Duroc, Vincent Beroulle, Smail Tedjini, O.F. Oliveira Gomes. VHDL-AMS modeling of an UWB link radio including antennas. IEEE International Conference on Electronics, Circuits and Systems (ICECS2007), Dec 2007, Morocco. pp. 570-573. ⟨hal-00377834⟩
Accès au bibtex
BibTex
ref_biblio
Thi-Quynh Bui, Oum-El-Kheir Aktouf. On-line Testing of Software Components for Diagnosis of Embedded Systems. The 4th International Conference on Embedded and Real-Time Computing Systems, 2007, Prague,, Czech Republic. pp.360-336. ⟨hal-00376180⟩
Accès au bibtex
BibTex
ref_biblio
Thi-Quynh Bui, Oum-El-Kheir Aktouf. Inter-component testing for system-level diagnosis of embedded component-based applications. Congrès Qualita, 2007, Tanger, Morocco. pp.246-254. ⟨hal-00194651⟩
Accès au bibtex
BibTex
ref_biblio
Youssef Serrestou, Vincent Beroulle, Chantal Robach. Functional Verification of RTL Designs driven by Mutation Testing metrics. 10th Euromicro Conference on Digital System Design Architectures, Methods and Tools, 2007. DSD 2007., Aug 2007, Lubeck, Germany. pp.222-227, ⟨10.1109/DSD.2007.4341472⟩. ⟨hal-00254470⟩
Accès au bibtex
BibTex
ref_biblio
Xuan-Tu Tran, Jean Durupt, Yvain Thonnard, François Bertrand, Chantal Robach, et al.. Implementation of a Design-for-Test Architecture for Asynchronous Networks-on-Chip. The 1st ACM/IEEE International Symposium on Networks-on-Chip (NOCS 2007), May 2007, Princeton, New Jersey, United States. pp.100. ⟨hal-00187291⟩
Accès au bibtex
BibTex
ref_biblio
Yves Joannon, Vincent Beroulle, Chantal Robach, Smail Tedjini, Jean-Louis Carbonero. Choice of a high level fault model for the Optimization of Validation Test Set reused for Manufacturing Test. IMSTW'07, Jun 2007, Porto, Portugal. pp.66 - 71. ⟨hal-00250422⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00250422/file/IMSTW_JOANNON.pdf BibTex
ref_biblio
Youssef Serrestou, Vincent Beroulle, Chantal Robach. Impact of Hardware Emulation on the verification quality improvement. Very Large Scale Integration, 2007. VLSI - SoC 2007. IFIP International Conference on, Oct 2007, Atlanta, United States. pp.218-223, ISBN: 978-1-4244-1710-0. ⟨hal-00218169⟩
Accès au bibtex
BibTex
ref_biblio
Xuan Tu Tran, Jean Durupt, François Bertrand, Vincent Beroulle, Chantal Robach. How to Implement an Asynchronous Test Wrapper for Network-on-Chip Nodes. The 12th IEEE European Test Symposium (ETS 2007), May 2007, Freiburg, Germany. pp.Tran07HTI. ⟨hal-00166373⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00166373/file/ETS2007_Tran_Howto_Implement_an_Asynchronous_Test_Wrapper.pdf BibTex
ref_biblio
Yves Joannon, Vincent Beroulle, Chantal Robach, Smail Tedjini, Jean-Louis Carbonero. Génération de vecteurs de test pour les systèmes analogiques mixtes et RF. Ecole d'hiver Francophone sur les Technologies de Conception des systèmes embarqués Hétérogènes (FETCH 2007), Jan 2007, Villard-de-Lans, France. pp.1. ⟨hal-00250410⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00250410/file/Article_FETCH_final.pdf BibTex
ref_biblio
Y. Duroc, R. Khouri, V. Beroulle, T.P. Vuong, S. Tedjini. Considerations on the characterization and the modelization of ultra-wideband antennas. IEEE International Conference on Ultra-Wideband, Sep 2007, Singapore. pp. 491-496. ⟨hal-00329486⟩
Accès au bibtex
BibTex
ref_biblio
Y. Joannon, V. Beroulle, Chantal Robach, S. Tedjini, J.L. Carbonero. Génération de vecteurs de test pour les systèmes analogiques mixtes et RF. "Ecole d'hiver Francophone sur les Technologies de Conception des systèmes embarqués Hétérogènes", Jan 2007, France. ⟨hal-00261818⟩
Accès au bibtex
BibTex

2006

ref_biblio
Youssef Serrestou, Chantal Robach, Vincent Beroulle. How to Improve a set of design validation data by using mutation-based test. 2006 IEEE Design and Diagnostics of Electronic Circuits and systems, Apr 2006, Prague, Czech Republic. pp.75-76. ⟨hal-00254378⟩
Accès au bibtex
BibTex
ref_biblio
Christophe Deleuze. Some points affecting web performance. WEBIST 2006 -- Second International Conference on Web Information Systems and Technologies, 2006, Setùbal, Portugal. pp.1. ⟨hal-00380293⟩
Accès au bibtex
BibTex
ref_biblio
Yves Joannon, Vincent Beroulle, Rami Khouri, Smail Tedjini, Chantal Robach, et al.. Modélisation comportementale d'un émetteur récepteur W-CDMA en VHDL-AMS. JNRDM'06, May 2006, Rennes, France. pp.1. ⟨hal-00250399⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00250399/file/5_JOANNON_20_01_JNRDM.pdf BibTex
ref_biblio
Y. Joannon, V. Beroulle, R. Khouri, Chantal Robach, S. Tedjini, et al.. Modélisation comportementale d'un émetteur récepteur WCDMA en VHDL-AMS. 9e Journées Nationales du Réseau Doctoral en Microélectronique, May 2006, Rennes, France. pp.000. ⟨hal-00261811⟩
Accès au bibtex
BibTex
ref_biblio
A. Ghiotto, D. Bechevet, T.P. Vuong, V. Beroulle, R. Khouri, et al.. RFID- Radiofrequency Identification. Colloque de l'Agence Rhône-Alpes pour la Maîtrise des Technologies de Mesure, Nov 2006, Grenoble, France. ⟨hal-00261812⟩
Accès au bibtex
BibTex
ref_biblio
Xuan Tu Tran, Jean Durupt, François Bertrand, Vincent Beroulle, Chantal Robach. A DfT Architecture for Asynchronous Networks-on-Chip. The 11th IEEE European Test Symposium, May 2006, Southampton, United Kingdom. pp.219-224, ⟨10.1109/ETS.2006.3⟩. ⟨hal-00142999⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00142999/file/Tran06ADA.pdf BibTex
ref_biblio
Youssef Serrestou, Vincent Beroulle, Chantal Robach. IP Validation using Genetic Algorithms guided by Mutation Testing. Conference on Design of Circuit and Integrated Systems, Nov 2006, Barcelone, Spain. pp.CD. ⟨hal-00254467⟩
Accès au bibtex
BibTex
ref_biblio
Yves Joannon, Vincent Beroulle, Chantal Robach, Smail Tedjini, Jean-Louis Carbonero. Qualification et génération de vecteurs pour la validation et le test de production de systèmes analogiques, mixtes et RF. GdR SoC-SiP, 2006, ¨Paris, France. pp.1. ⟨hal-00250407⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00250407/file/GdR_SoC_SiP_2007.pdf BibTex
ref_biblio
Yves Joannon, Vincent Beroulle, Rami Khouri, Chantal Robach, Smail Tedjini, et al.. Behavioral modeling of W-CDMA transceiver with VHDL-AMS language. DDECS'06, Apr 2006, Prague, Czech Republic. pp.113 - 118. ⟨hal-00250397⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00250397/file/DDECS_2006_JOANNON.pdf BibTex
ref_biblio
Christophe Deleuze. Adapting Web Content to Handle Overload. Sixth IEEE International Symposium and School on Advanced Distributed Systems (ISSADS), Jan 2006, Guadalajara, Jalisco, Mexico. pp.1. ⟨hal-00380290⟩
Accès au bibtex
BibTex
ref_biblio
Y. Joannon, V. Beroulle, R. Khouri, Chantal Robach, S. Tedjini, et al.. Behavorial modeling of WCDMA transceiver with VHDL-AMS language. IEEE Workshop on Design and Diangostics of Electronic Circuits and Systems, 2006, Pragues, Czech Republic. pp.113-118. ⟨hal-00261825⟩
Accès au bibtex
BibTex
ref_biblio
Xuan Tu Tran, Vincent Beroulle, Jean Durupt, Chantal Robach, François Bertrand. Design-for-Test of Asynchronous Networks-on-Chip. IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems, Apr 2006, Prague, Czech Republic. pp. 163-167. ⟨hal-00218149⟩
Accès au bibtex
BibTex
ref_biblio
V. Beroulle, Y. Joannon, J.L. Carbonero, S. Tedjini, Chantal Robach. Qualification au niveau comportemental de stimuli pour la validation de conception de SoCs AMS&RF. Groupe de Recherche Test des SoC-SiP, Dec 2006, France. ⟨hal-00261815⟩
Accès au bibtex
BibTex

2005

ref_biblio
Oum-El-Kheir Aktouf, Thi-Quynh Bui, Michel Dang. Inter-component testing for system-level diagnosis of CORBA-based applications. EURNEX Pole 5 « Intelligent Mobility » Scientific Workshop, 2005, Lille, France. ⟨hal-00194641⟩
Accès au bibtex
BibTex
ref_biblio
R. Khouri, V. Beroulle, T.P. Vuong, S. Tedjini. Modélisation comportementale en VHDL-AMS de systèmes sans-fil intégrés : modèle d'antenne et application aux systèmes d'identification par radio fréquences. JNM'05, 2005, France. pp.0. ⟨hal-00261759⟩
Accès au bibtex
BibTex
ref_biblio
Mathieu Scholivé, Vincent Beroulle, Chantal Robach, Marie-Lise Flottes, Bruno Rouzeyre. Mutation Sampling Technique for the Generation of Structural Test Data. DATE 2005 - 8th Design, Automation and Test in Europe Conference and Exhibition, Mar 2005, Munich, Germany. pp.1022-1023, ⟨10.1109/DATE.2005.220⟩. ⟨lirmm-00105978⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00105978/file/08c_7.pdf BibTex
ref_biblio
Mathieu Scholivé, Vincent Beroulle, Chantal Robach, Marie-Lise Flottes, Bruno Rouzeyre. Mutation sampling technique for the generation of structural test data. 6th IEEE Latin American Test Workshop, Mar 2005, Salvador, Bahia, Brazil. ⟨hal-00378490⟩
Accès au bibtex
BibTex
ref_biblio
Oussama Laouamri, Chouki Aktouf. Hardware-based Network Management Framework for Monotoring and Testing of System-On-Chips. IEEE 8th International Conference on Communication (ConTel'05), 2005, Zagreb, Croatia. pp.141-146. ⟨hal-00194656⟩
Accès au bibtex
BibTex
ref_biblio
Mathieu Scholivé, Vincent Beroulle, Chantal Robach, Marie-Lise Flottes, Bruno Rouzeyre. Mutation Sampling Technique for the Generation of Structural Test Data. DATE 2005 - 8th Design, Automation and Test in Europe Conference and Exhibition, Mar 2005, Munich, Germany. pp.1022-1023, ⟨10.1109/DATE.2005.220⟩. ⟨hal-00181680⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00181680/file/228821022.pdf BibTex
ref_biblio
S. Tedjini, T.P. Vuong, V. Beroulle. Antennas for RFID tags. SOC-EUSAI, Oct 2005, Grenoble, France. ⟨hal-00261810⟩
Accès au bibtex
BibTex
ref_biblio
R. Khouri, V. Beroulle, T.P. Vuong, S. Tedjini. Modélisation comportementale en VHDL-AMS de systèmes sans-fil intégrés : application aux systèmes d'identification par radio fréquences. XIV Journées Nationales Micro-Ondes, May 2005, Nantes, France. pp.999. ⟨hal-00261806⟩
Accès au bibtex
BibTex
ref_biblio
David Hely, Frédéric Bancel, Marie-Lise Flottes, Bruno Rouzeyre. Test Control for Secure Scan Designs. ETS: European Test Symposium, May 2005, Tallinn, Estonia. pp.190-195. ⟨lirmm-00106011⟩
Accès au bibtex
BibTex

2004

ref_biblio
Oum-El-Kheir Aktouf, Martine Wahl, Michel Dang. Introducing fault-diagnosis into embedded CORBA-based systems. IEEE International Conference on Information and Communication Technologies: from Theory to Applications ( ICTTA), 2004, Syria. pp.avril 2004. ⟨hal-00193393⟩
Accès au bibtex
BibTex
ref_biblio
R. Khouri, V. Beroulle, T.P. Vuong, S. Tedjini. Wireless system validation using VHDL-AMS behavioral antenna models: Radio-Frequency Identification case study. European Conference on Wireless Technology and European Microwave Week, Oct 2004, Amsterdam, Netherlands. pp.00-001. ⟨hal-00261738⟩
Accès au bibtex
BibTex
ref_biblio
Oussama Laouamri, Chouki Aktouf. Towards a More Precise Network Management Through Electronic Design. IEEE 3rd International Conference on Networking (ICN'04), 2004, Guadeloupe, France. pp.45-49. ⟨hal-00194661⟩
Accès au bibtex
BibTex
ref_biblio
S. Tedjini, T.P. Vuong, V. Beroulle, P. Marcel. Radio-frequency identification systems from antenna characterization to system validation. Asia-Pacific Microwave Conference, Dec 2004, New Delhi, India. ⟨hal-00261743⟩
Accès au bibtex
BibTex
ref_biblio
Rami Khouri, Vincent Beroulle, Tan Phu Vuong, Smail Tedjini. Wireless System Validation using VHDL-AMS Behavioral Antenna Models : Radio-Frequency Identification case study. European Conference on Wireless Technology 2004, Amsterdam, Oct 2004, Amsterdam, France. pp.185-188. ⟨hal-00259990⟩
Accès au bibtex
BibTex
ref_biblio
R. Khouri, V. Beroulle, T.P. Vuong, S. Tedjini. VHDL-AMS system-level simulation: behavioral antenna models and Radio-Frequency Identification case study. IEEE Mediterranean Microwave Symposium, Jun 2004, Marseille, France. pp.00-01. ⟨hal-00261735⟩
Accès au bibtex
BibTex
ref_biblio
Oussama Laouamri, Chouki Aktouf. Enhancing Testability of System on Chips Using Network Management Protocols. IEEE Design Automation and Test in Europe (DATE'04), 2004, Paris, France. pp.1370-1371. ⟨hal-00194659⟩
Accès au bibtex
BibTex

2003

ref_biblio
R. Khouri, V. Beroulle, T.P. Vuong, S. Tedjini. Modélisation d'antennes en VHDL-AMS pour systèmes RFID intégrés. 4th European Conference on Numerical Methods in Electromagnetism, Oct 2003, Toulouse, France. pp.00-001. ⟨hal-00261730⟩
Accès au bibtex
BibTex
ref_biblio
V. Beroulle, R. Khouri, T.P. Vuong, S. Tedjini. VHDL-AMS antenna modeling, Wireless Microsystems. International Meeting on Micro and Nanotechnologies, Sep 2003, Grenoble, France. pp.000-001. ⟨hal-00261728⟩
Accès au bibtex
BibTex
ref_biblio
V. Beroulle, R. Khouri, T.P. Vuong, S. Tedjini. Modélisation d'antennes en VHDL-AMS applications aux systèmes RFID intégrés. ARATEM, Telecom research, 2003, France. ⟨hal-00261753⟩
Accès au bibtex
BibTex
ref_biblio
Rami Khouri, Vincent Beroulle, Tan-Phu Vuong, Smail Tedjini. Optimisation de la télé-alimentation des systèmes RFID UHF grâce à la modélisation comportementale du lien RF. 6ème journées d'études Faible Tension Faible Consommation, May 2003, Paris, France. ⟨hal-00378617⟩
Accès au bibtex
BibTex
ref_biblio
V. Beroulle, R. Khouri, T.P. Vuong, S. Tedjini. Behavioral Modeling and Simulation of Antennas: Radio-Frequency Identification case study. IEEE International Behavioral Modeling and Simulation Conference, Jan 2003, San Jose CA, United States. pp.00-001. ⟨hal-00261729⟩
Accès au bibtex
BibTex
ref_biblio
Oum-El-Kheir Aktouf, Abdelaziz Gacemi. Component Diagnosis for Distributed Applications. Congrès Qualita, 2003, Nancy, France. pp.129-136. ⟨hal-00193413⟩
Accès au bibtex
BibTex
ref_biblio
H. Chemali, A. Latoui, Chouki Aktouf. An Optical Boundary Scan Cell for On Line Testing of Embedded Systems. The 2003 International Conference on Embedded Systems and Applications (ESA'03), 2003, Las Vegas, Nevada, United States. pp.155-160. ⟨hal-00194665⟩
Accès au bibtex
BibTex

2002

ref_biblio
M.A. Naal, M. Rakotoar, Emmanuel Simeu, C. Aktouf. Using concurrent and semi-concurrent on-line testing during HLS: an adaptable approach. Proceedings-of-the-Eighth-IEEE-International-On-Line-Testing-Workshop-IOLTW-2002, 2002, Isle of Bendor, France. pp.184, ⟨10.1109/OLT.2002.1030208⟩. ⟨hal-00015843⟩
Accès au bibtex
BibTex
ref_biblio
C. Aktouf, B. Pannetier, P. Lemaitre-Auger, S. Tedjini. On-line Testing of Embedded Systems Using Optical Probes:system modeling and probing technology. Eighth 8th IEEE International On-Line Testing Workshop, 2002, Ile de Bendor, France. pp.191-200. ⟨hal-00194675⟩
Accès au bibtex
BibTex
ref_biblio
Oum-El-Kheir Aktouf, Abdelaziz Gacemi. A Diagnosis Service for CORBA-Based Applications. 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 2002, Annapolis, Maryland, United States. pp.185-186. ⟨hal-00194637⟩
Accès au bibtex
BibTex
ref_biblio
C. Aktouf, B. Pannetier, P. Lemaitre-Auger, S. Tedjini. On-line Testing of Embedded Systems Using Optical Probes:system modeling and probing technology. 8th IEEE International On-Line Testing Workshop, Jul 2002, Isle of Bendor, France. pp.191-200. ⟨hal-00261719⟩
Accès au bibtex
BibTex
ref_biblio
T. Niculiu, Chouki Aktouf, S. D. Cotofana. High-level intelligence-oriented simulation. CAS 2002, 2002, Romania. pp.381-385. ⟨hal-00194671⟩
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

2017

ref_biblio
Philippe Lalanda, Stéphanie Chollet, Catherine Hamon. Leveraging Design and Runtime Architecture Models to Support Self-awareness. Self-Aware Computing Systems, 2017. ⟨hal-01898636⟩
Accès au bibtex
BibTex
ref_biblio
Brice Colombier, Lilian Bossuet, David Hély. Turning Electronic Circuits Features into On-Chip Locks. Lilian Bossuet; Lionel Torres. Foundations of Hardware IP Protection, Springer International Publishing, pp.15-36, 2017, 978-3-319-50378-3. ⟨10.1007/978-3-319-50380-6_2⟩. ⟨hal-02426141⟩
Accès au bibtex
BibTex
ref_biblio
Brice Colombier, Lilian Bossuet, David Hely. Logic Modification-Based IP Protection Methods: An Overview and a Proposal. Bossuet, Lilian, Torres, Lionel. Foundations of Hardware IP Protection, 2, Springer, pp.30-64, 2017, 978-3-319-50378-3. ⟨ujm-01570115⟩
Accès au texte intégral et bibtex
https://ujm.hal.science/ujm-01570115/file/Springer_2017.pdf BibTex

2015

ref_biblio
Yann Kieffer, Lilia Zaourar. "Applying Operations Research to Design for Test Insertion Problems. Computational Intelligence in Digital and Network Designs and Applications, 2015, ⟨10.1007/978-3-319-20071-2_6⟩. ⟨hal-01532043⟩
Accès au bibtex
BibTex

2013

ref_biblio
Aurélien Faravelon, Stéphanie Chollet. Access Control in Service Compositions: Challenges and Solution Architecture. Service-Driven Approaches to Architecture and Enterprise Integration, IGI Global, pp.165-187, 2013. ⟨hal-00839106⟩
Accès au bibtex
BibTex

2011

ref_biblio
Virginia Papailiopoulou, Besnik Seljimi, Ioannis Parissis. Automatic Test of Lustre/SCADE Programs. Model-Based Testing for Embedded Systems, CRC Press, pp.171-194, 2011, 978-1-43-981845-9. ⟨hal-00680696⟩
Accès au bibtex
BibTex

2002

ref_biblio
Vincent Beroulle, Yves Bertrand, Laurent Latorre, Pascal Nouet. Noise optimisation of a piezoresistive CMOS MEMS for magnetic field sensing. SOC Design Methodologies, 90, Kluwer Academic Publishers, pp.461-472, 2002, IFIP — The International Federation for Information Processing, 978-1-4757-6530-4. ⟨10.1007/978-0-387-35597-9_39⟩. ⟨hal-01105261⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01105261/file/Noise.pdf BibTex

Habilitation à diriger des recherches

2014

ref_biblio
Oum-El-Kheir Aktouf. Test et diagnostic en ligne dans les systèmes embarqués. Informatique [cs]. Grenoble 1 UGA - Université Grenoble Alpe, 2014. ⟨tel-01731434⟩
Accès au texte intégral et bibtex
https://hal.science/tel-01731434/file/Final.pdf BibTex

2007

ref_biblio
Ioannis Parissis. Méthodes et outils pour le test logiciel. Génie logiciel [cs.SE]. Université Joseph-Fourier - Grenoble I, 2007. ⟨tel-00377293⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00377293/file/HDRIoannisParissis.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

2010

ref_biblio
Lilia Zaourar, Yann Kieffer, Nadia Brauner, Chouki Aktouf, Vincent Vincent.Juliard@defactotech.Com Juliard. Toward an Optimal Scan Insertion at the Register Transfer Level. 2010. ⟨hal-00516590⟩
Accès au bibtex
BibTex
ref_biblio
Gilles Fritz, Vincent Beroulle, Oum-El-Kheir Aktouf, Minh Duc Nguyen. Sûreté de fonctionnement des systèmes RFID – Evaluation et simulation des dysfonctionnements. 2010. ⟨hal-00509521⟩
Accès au bibtex
BibTex

2006

ref_biblio
Youssef Serrestou, Vincent Beroulle, Chantal Robach. Amélioration des Jeux de Test pour la Validation de Conception. 2006. ⟨hal-00381553⟩
Accès au bibtex
BibTex
ref_biblio
Yvan Duroc, Tan-Phu Vuong, Rami Khouri, Vincent Beroulle, Smail Tedjini. Modélisation des antennes ULB et co-design. 2006. ⟨hal-00377836⟩
Accès au bibtex
BibTex
ref_biblio
Xuan Tu Tran, Jean Durupt, François Bertrand, Vincent Beroulle, Chantal Robach. Conception en vue du test pour l'architecture d'un réseau sur puce asynchrone. 2006. ⟨hal-00218157⟩
Accès au bibtex
BibTex
ref_biblio
Xuan Tu Tran, Jean Durupt, François Bertrand, Vincent Beroulle, Chantal Robach. Conception en vue de Test pour l'Architecture d'un Réseau sur Puce Asynchrone. 2006. ⟨hal-00381555⟩
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 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

2012

ref_biblio
Mira Sarkis, Dima Hamdan, Oum-El-Kheir Aktouf, Ioannis Parissis. Perceptron: Détection Des Fautes De Données Dans Les RCSF. Anne Etien. 9ème édition de la conférence MAnifestation des JEunes Chercheurs en Sciences et Technologies de l'Information et de la Communication - MajecSTIC 2012 (2012), Oct 2012, Villeneuve d'Ascq, France. ⟨hal-00786188⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00786188/file/majecstic2012_submission_30_1_.pdf BibTex

Documents associated with scientific events

2013

ref_biblio
Mouna Tka Mnad, Christophe Deleuze, Ioannis Parissis. Synchronous Programs Testing Language (SPTL). MSR 2013 - Modélisation des Systèmes Réactifs, 2013, Rennes, France. ⟨hal-00876654⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00876654/file/TKA.pdf 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

2010

ref_biblio
Christophe Deleuze. Light weight concurrency in OCaml: continuations, monads, events, and friends. 2010. ⟨hal-00493213⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00493213/file/lwc.pdf BibTex