Accéder directement au contenu

David Hely

121
Documents

Publications

Image document

Strong PUF Enrollment with Machine Learning: A Methodical Approach

Amir Ali Pour , David Hely , Vincent Beroulle , Giorgio Di Natale
Electronics, 2022, 11 (4), pp.653. ⟨10.3390/electronics11040653⟩
Article dans une revue hal-03640365v1
Image document

Helper Data Masking for Physically Unclonable Function-based Key Generation Algorithms

Amir Ali Pour , Fatemeh Afghah , David Hely , Vincent Beroulle , Giorgio Di Natale
IEEE Access, 2022, 10, pp.40150 - 40164. ⟨10.1109/ACCESS.2022.3165284⟩
Article dans une revue hal-03640536v1

Refillable PUF authentication protocol for constrained devices

Arthur Desuert , Stéphanie Chollet , Laurent Pion , David Hély
JAISE - Journal of Ambient Intelligence and Smart Environments, 2022
Article dans une revue hal-03713885v1

Cryptography with Analog Scheme Using Memristors

Bertrand Cambou , David Hely , Sareh Assiri
ACM Journal on Emerging Technologies in Computing Systems, 2020, 16 (4), pp.1-30. ⟨10.1145/3412439⟩
Article dans une revue hal-02953417v1

SecPump: A Connected Open Source Infusion Pump for Security Research Purposes

David Hely , Cyril Bresch , Stéphanie Chollet , Roman Lysecky
IEEE Embedded Systems Letters, 2020, pp.1-1. ⟨10.1109/LES.2020.2979595⟩
Article dans une revue hal-02543562v1

TrustFlow-X

Cyril Bresch , David Hely , Roman Lysecky , Stéphanie Chollet , Ioannis Parissis
ACM Transactions on Embedded Computing Systems (TECS), 2020, 19 (5), pp.1-26. ⟨10.1145/3398327⟩
Article dans une revue hal-02954381v1

A Review on Evaluation and Configuration of Fault Injection Attack Instruments to Design Attack Resistant MCU-Based IoT Applications

Zahra Kazemi , David Hely , Mahdi Fazeli , Vincent Beroulle
Electronics, 2020, 9 (7), pp.1153. ⟨10.3390/electronics9071153⟩
Article dans une revue hal-02953431v1

Design Space Exploration for Ultra-Low-Energy and Secure IoT MCUs

Ehsan Aerabi , Milad Bohlouli , Mohammad Hasan Ahmadi Livany , Mahdi Fazeli , Athanasios Papadimitriou
ACM Transactions on Embedded Computing Systems (TECS), 2020, 19 (3), pp.1-34. ⟨10.1145/3384446⟩
Article dans une revue hal-02953457v1

Conception and Evaluation of Secure Circuits for Strong Digital PUF

Johan Marconot , David Hely , Florian Pebay-Peyroula
SN Computer Science, 2020, 1 (5), ⟨10.1007/s42979-020-00274-0⟩
Article dans une revue hal-02953425v1
Image document

Authentication Using Metallic Inkjet-Printed Chipless RFID Tags

Zeshan Ali , Etienne Perret , Nicolas Barbot , Romain Siragusa , David Hely
IEEE Transactions on Antennas and Propagation, 2020, 68 (5), pp.4137 - 4142. ⟨10.1109/TAP.2019.2948740⟩
Article dans une revue hal-02337466v1

An In-depth Study of MPU-based Isolation Techniques

Abderrahmane Sensaoui , Oum-El-Kheir Aktouf , David Hely , Stéphane Di Vito
Journal of Hardware and Systems Security, 2019, 3, pp.365-381. ⟨10.1007/s41635-019-00078-6⟩
Article dans une revue hal-02335716v1

Robust and Noninvasive IC Authentication Using Radiated Electromagnetic Emissions

Mosabbah Mushir Ahmed , David Hely , Etienne Perret , Nicolas Barbot , Romain Siragusa
Journal of Hardware and Systems Security, 2019, 3 (3), pp.273-288. ⟨10.1007/s41635-019-00072-y⟩
Article dans une revue hal-02296583v1
Image document

Detection of Natural Randomness by Chipless RFID Approach and Its Application to Authentication

Zeshan Ali , Etienne Perret , Nicolas Barbot , Romain Siragusa , David Hely
IEEE Transactions on Microwave Theory and Techniques, 2019, pp.1-15. ⟨10.1109/TMTT.2019.2914102⟩
Article dans une revue hal-02132612v1

Sensitivity to Laser Fault Injection: CMOS FD-SOI vs. CMOS bulk

J.-M. Dutertre , Vincent Beroulle , Philippe Candelier , Stephan de Castro , Louis-Barthelemy Faber
IEEE Transactions on Device and Materials Reliability, 2019, 19 (1), pp.6-15. ⟨10.1109/TDMR.2018.2886463⟩
Article dans une revue hal-01971932v1

Hardware Trojan Detection Using an Advised Genetic Algorithm Based Logic Testing

David Hely , M. Nourian , M. Fazeli , D. Hély
Journal of Electronic Testing: : Theory and Applications, 2018, 34 (4), pp.461 - 470. ⟨10.1007/s10836-018-5739-4⟩
Article dans une revue hal-01877451v1

ESCALATION: Leveraging Logic Masking to Facilitate Path-Delay-Based Hardware Trojan Detection Methods

Arash Nejat , David Hely , Vincent Beroulle
Journal Hardware and Systems Security, 2018, 2, pp.83-96. ⟨10.1007/s41635-018-0033-6⟩
Article dans une revue hal-01724155v1

Stack Redundancy to Thwart Return Oriented Programming in Embedded Systems

Cyril Bresch , David Hely , Athanasios Papadimitriou , Adrien Michelet-Gignoux , Laurent Amato
IEEE Embedded Systems Letters, 2018, pp.1 - 1. ⟨10.1109/LES.2018.2819983⟩
Article dans une revue hal-01829397v1
Image document

Detection of Minimum Geometrical Variation by Free-Space-Based Chipless Approach and its Application to Authentication

Zeshan Ali , Nicolas Barbot , Romain Siragusa , Etienne Perret , D. Hély
IEEE Microwave and Wireless Components Letters, 2018, 28 (4), pp.323 - 325. ⟨10.1109/LMWC.2018.2805858⟩
Article dans une revue hal-01800580v1
Image document

Radiated Electromagnetic Emission for Integrated Circuit Authentication

Mosabbah Mushir Ahmed , David Hely , Nicolas Barbot , Romain Siragusa , Etienne Perret
IEEE Microwave and Wireless Components Letters, 2017, 27 (11), pp.1028 - 1030. ⟨10.1109/LMWC.2017.2750078⟩
Article dans une revue hal-01724143v1
Image document

Key Reconciliation Protocols for Error Correction of Silicon PUF Responses

Brice Colombier , Lilian Bossuet , Viktor Fischer , David Hely
IEEE Transactions on Information Forensics and Security, 2017, 12 (8), pp.1988-2002. ⟨10.1109/TIFS.2017.2689726⟩
Article dans une revue ujm-01575582v1

SafeRFID Project: A complete Framework for the Improvement of UHF RFID System Dependability

Vincent Beroulle , Oum-El-Kheir Aktouf , David Hely
International Journal On Advances in Networks and Services, 2017, 10 (1&2)
Article dans une revue hal-01617627v1

Analysis of laser-induced errors: RTL fault models versus layout locality characteristics

Athanasios Papadimitriou , David Hely , Vincent Beroulle , Paolo Maistri , Régis Leveugle
Microprocessors and Microsystems: Embedded Hardware Design , 2016, ⟨10.1016/j.micpro.2016.01.018⟩
Article dans une revue hal-01299277v1

From Secured Logic to IP Protection

Brice Colombier , Lilian Bossuet , David Hely
Microprocessors and Microsystems: Embedded Hardware Design , 2016, 47 (Part A), pp.44-54. ⟨10.1016/j.micpro.2016.02.010⟩
Article dans une revue hal-01280195v1

Secure and Flexible Trace-Based Debugging of Systems-on-Chip

Backer Jerry , David Hely , Ramesh Karri
ACM Transactions on Design Automation of Electronic Systems, 2016, ⟨10.1145/2994601⟩
Article dans une revue hal-01424899v1

ECDSA Passive Attacks, Leakage Sources, and Common Design Mistakes

Dubeuf Jérémy , David Hely , Vincent Beroulle
ACM Transactions on Design Automation of Electronic Systems, 2016, ⟨10.1145/2820611⟩
Article dans une revue hal-01398724v1

Can Algorithm Diversity in Stream Cipher Implementation Thwart (Natural and) Malicious Faults?

Guo Xiaofei , Jin Chenglu , Athanasios Papadimitriou , David Hely , Ramesh Karri
IEEE Transactions on Emerging Topics in Computing, 2015, ⟨10.1109/TETC.2015.2434103⟩
Article dans une revue hal-01205402v1

RFID System On-line Testing Based on the Evaluation of the Tags Read-Error-Rate

Gilles Fritz , Vincent Beroulle , Oum-El-Kheir Aktouf , Minh Duc Nguyen , David Hely
Journal of Electronic Testing: : Theory and Applications, 2010, pp.1. ⟨10.1007/s10836-010-5191-6⟩
Article dans une revue hal-00575585v1

Securing Scan Control in Crypto Chips

David Hely , Frédéric Bancel , Marie-Lise Flottes , Bruno Rouzeyre
Journal of Electronic Testing: : Theory and Applications, 2007, 23 (5), pp.457-464. ⟨10.1007/s10836-007-5000-z⟩
Article dans une revue lirmm-00186353v1
Image document

An Efficient Approach to Model Strong PUF with Multi-Layer Perceptron using Transfer Learning

Amir Ali Pour , David Hely , Vincent Beroulle , Giorgio Di Natale
International Symposium on Quality Electronic Design (ISQED 2022), Apr 2022, Virtual event, United States. ⟨10.1109/ISQED54688.2022.9806257⟩
Communication dans un congrès hal-03599336v1

A Middleware for Secure Integration of Heterogeneous Edge Devices

Arthur Desuert , Stéphanie Chollet , Laurent Pion , David Hély
IEEE EDGE 2022, Jul 2022, Barcelona, Spain
Communication dans un congrès hal-03713893v1
Image document

Sub-Space Modeling: An Enrollment Solution for XOR Arbiter PUF using Machine Learning

Amir Ali Pour , David Hely , Vincent Beroulle , Giorgio Di Natale
International Symposium on Quality Electronic Design (ISQED 2022), Apr 2022, Virtual event, United States. ⟨10.1109/ISQED54688.2022.9806267⟩
Communication dans un congrès hal-03599356v1
Image document

Elaborating on Sub-Space Modeling as an Enrollment Solution for Strong PUF

Amir Ali Pour , David Hély , Vincent Beroulle , Giorgio Di Natale
18th IEEE International Conference on Distributed Computing in Sensor Systems (DCOSS 2022), May 2022, Los Angeles, United States
Communication dans un congrès hal-03767658v1
Image document

Secure PUF-based Authentication and Key Exchange Protocol using Machine Learning

Amir Ali Pour , Fatemeh Afghah , David Hely , Vincent Beroulle , Giorgio Di Natale
IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2022), Jul 2022, Pafos, Cyprus
Communication dans un congrès hal-03689856v1
Image document

Design Space Exploration Applied to Security

Antoine Linarès , David Hely , F. Lhermet , Giorgio Di Natale
16th International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS 2021), Jun 2021, Montpellier, France. ⟨10.1109/DTIS53253.2021.9505151⟩
Communication dans un congrès hal-03351948v1

PUF-Based Protocol for Securing Constrained Devices

Arthur Desuert , Stéphanie Chollet , Laurent Pion , David Hely
17th International Conference on Intelligent Environments, IE 2021, Jun 2021, Dubai, United Arab Emirates
Communication dans un congrès hal-03342957v1
Image document

Machine Learning and Hardware security: Challenges and Opportunities

F. Regazzoni , S. Bhasin , Amir Ali Pour , Ihab Alshaer , F. Aydin
International Conference on Computer-Aided Design (ICCAD 2020), Nov 2020, San Diego, United States
Communication dans un congrès hal-02999327v1
Image document

Power of Prediction: Advantages of Deep Learning Modeling as Replacement for Traditional PUF CRP Enrollment

Amir Ali Pour , David Hely , Vincent Beroulle , Giorgio Di Natale
TrueDevice2020, Mar 2020, Grenoble, France
Communication dans un congrès hal-02954099v1

On the Performance of Non-Profiled Differential Deep Learning Attacks against an AES Encryption Algorithm Protected using a Correlated Noise Generation based Hiding Countermeasure

Amir Alipour , Athanasios Papadimitriou , Vincent Beroulle , Ehsan Aerabi , David Hely
2020 Design, Automation & Test in Europe Conference & Exhibition (DATE), Mar 2020, Grenoble, France. pp.614-617, ⟨10.23919/DATE48585.2020.9116387⟩
Communication dans un congrès hal-03136631v1

Hardware Security Vulnerability Assessment to Identify the Potential Risks in A Critical Embedded Application

Zahra Kazemi , Mahdi Fazeli , David Hely , Vincent Beroulle
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⟩
Communication dans un congrès hal-02953435v1

BackFlow: Backward Edge Control Flow Enforcement for Low End ARM Microcontrollers

Cyril Bresch , Roman Lysecky , David Hely
2020 Design, Automation & Test in Europe Conference & Exhibition (DATE), Mar 2020, Grenoble, France. pp.1606-1609, ⟨10.23919/DATE48585.2020.9116396⟩
Communication dans un congrès hal-02883750v1
Image document

PUF Enrollment and Life Cycle Management: Solutions and Perspectives for the Test Community

Amir Ali Pour , Vincent Beroulle , Bertrand Cambou , Jean-Luc Danger , Giorgio Di Natale
IEEE European Test Symposium (ETS 2020), May 2020, Tallinn, Estonia. pp.1-10
Communication dans un congrès hal-02999226v1

SPN-DPUF: Substitution-Permutation Network Based Secure Circuit for Digital PUF

Johan Marconot , David Hely , Florian Pebay-Peyroula
2019 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), Jul 2019, Miami, France. pp.49-54, ⟨10.1109/ISVLSI.2019.00018⟩
Communication dans un congrès hal-02296579v1
Image document

Identification temps réel d'un tag THID bas coût dans le domaine THz

Florent Bonnefoy , Maxime Bernier , Frédéric Garet , Hamdi Maher , Etienne Perret
21èmes Journées Nationales Microondes, May 2019, Caen, France
Communication dans un congrès hal-02017114v1

A Flexible and Efficient Hardware Isolation Module for Secure Lightweight Devices

Abderrahmane Sensaoui , David Hely , Oum-El-Kheir Aktouf
2019 15th European Dependable Computing Conference (EDCC), Sep 2019, Naples, Italy
Communication dans un congrès hal-02335739v1

Implementation of RF communication subsets on common low frequency clocked FPGA

Mosabbah Mushir Ahmed , Etienne Perret , Romain Siragusa , David Hély , Frédéric Garet
2019 49th European Microwave Conference (EuMC), Oct 2019, Paris, France. pp.742-745, ⟨10.23919/EuMC.2019.8910837⟩
Communication dans un congrès hal-02429327v1

Restricting Switching Activity Using Logic Locking to Improve Power Analysis-Based Trojan Detection

Arash Nejat , Zahra Kazemi , Vincent Beroulle , David Hély , Mahdi Fazeli
2019 IEEE 4th International Verification and Security Workshop (IVSW), Jul 2019, Rhodes Island, Greece. pp.49-54, ⟨10.1109/IVSW.2019.8854402⟩
Communication dans un congrès hal-02426128v1

Méthode d’authentification basée sur des tags RFID sans puce imprimés par jet d’encre conductrice

Zeshan Ali , Romain Siragusa , Etienne Perret , Nicolas Barbot , David Hely
21èmes Journées Nationales Microondes, May 2019, Caen, France
Communication dans un congrès hal-02017120v1

Implementation of Password Management System Using Ternary Addressable PUF Generator

Mohammad Mohammadinodoushan , Bertrand Cambou , Christopher Philabaum , David Hely , D. Duane Booher
2019 16th Annual IEEE International Conference on Sensing, Communication, and Networking (SECON), Jun 2019, Boston, France. pp.1-8, ⟨10.1109/SAHCN.2019.8824792⟩
Communication dans un congrès hal-02296576v1

Développement d'une plateforme RF flexible et reconfigurable basée sur un FPGA

Mosabbah Mushir Ahmed , Etienne Perret , Romain Siragusa , Nicolas Barbot , David Hely
21ème Journées Nationales Microondes, May 2019, Caen, France
Communication dans un congrès hal-02051698v1
Image document

Diffraction grating tags structures dedicated to authentication in the THz

Florent Bonnefoy , Maxime Bernier , Frédéric Garet , Nicolas Barbot , David Hely
French-German THz Conference 2019, Apr 2019, Kaiserslautern, Germany
Communication dans un congrès hal-02436662v1

TrustFlow: A Trusted Memory Support for Data Flow Integrity

Cyril Bresch , David Hely , Stéphanie Chollet , Ioannis Parissis
2019 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), Jul 2019, Miami, France. pp.308-313, ⟨10.1109/ISVLSI.2019.00063⟩
Communication dans un congrès hal-02296581v1

On a Low Cost Fault Injection Framework for Security Assessment of Cyber-Physical Systems: Clock Glitch Attacks

Zahra Kazemi , Athanasios Papadimitriou , Ioanna Souvatzoglou , Ehsan Aerabi , Mosabbah Mushir Ahmed
2019 IEEE 4th International Verification and Security Workshop (IVSW), Jul 2019, Rhodes Island, Greece. pp.7-12, ⟨10.1109/IVSW.2019.8854391⟩
Communication dans un congrès hal-02426130v1
Image document

Toubkal: A Flexible and Efficient Hardware Isolation Module for Secure Lightweight Devices

Abderrahmane Sensaoui , David Hely , Oum-El-Kheir Aktouf
2019 15th European Dependable Computing Conference (EDCC), Sep 2019, Naples, Italy
Communication dans un congrès hal-02342738v1

Shcot: Secure (and verified) Hybrid Chain of Trust to protect from malicious software in lightweight devices

Abderrahmane Sensaoui , Oum-El-Kheir Aktouf , David Hely
The 1st Annual International Workshop on Software Hardware Interaction Faults, co-located with ISSRE 2019, Oct 2019, Berlin, Germany
Communication dans un congrès hal-02335773v1

Towards an Inherently Secure Run-Time Environment for Medical Devices.

Cyril Bresch , Stéphanie Chollet , David Hely
2018 IEEE International Congress on Internet of Things, ICIOT 2018, Jul 2018, San Francisco, United States
Communication dans un congrès hal-01898660v1
Image document

The case of using CMOS FD-SOI rather than CMOS bulk to harden ICs against laser attacks

Jean-Max Dutertre , Vincent Beroulle , Philippe Candelier , Louis-Barthelemy Faber , Marie-Lise Flottes
IOLTS: International On-Line Testing Symposium, Jul 2018, Platja d’Aro, Spain. pp.214-219, ⟨10.1109/IOLTS.2018.8474230⟩
Communication dans un congrès emse-01856000v1
Image document

Chipless RFID Tag Discrimination and the Performance of Resemblance Metrics to be used for it

Zeshan Ali , Nicolas Barbot , Romain Siragusa , David Hely , Maxime Bernier
IEEE/MTT-S International Microwave Symposium - IMS 2018, Jun 2018, Philadelphia, United States. ⟨10.1109/MWSYM.2018.8439855⟩
Communication dans un congrès hal-01888533v1
Image document

Identification in the Terahertz Domain using Low Cost Tags with a Fast Spectrometer

Maher Hamdi , Florent Bonnefoy , Maxime Bernier , Frédéric Garet , Etienne Perret
ASID 2018: 12th IEEE International Conference on Anti-counterfeiting, Security, and Identification, Nov 2018, Xiamen, China. ⟨10.1109/ICASID.2018.8693209⟩
Communication dans un congrès hal-02015383v1
Image document

Laser fault injection at the CMOS 28 nm technology node: an analysis of the fault model

Jean-Max Dutertre , Vincent Beroulle , Philippe Candelier , Stephan de Castro , Louis-Barthelemy Faber
FDTC: Fault Diagnosis and Tolerance in Cryptography, Sep 2018, Amsterdam, Netherlands. pp.1-6, ⟨10.1109/FDTC.2018.00009⟩
Communication dans un congrès emse-01856008v1

Hardware Security Evaluation Platform for MCU-Based Connected Devices: Application to Healthcare IoT

Zahra Kazemi , Athanasios Papadimitriou , David Hély , Mahdi Fazeli , Vincent Beroulle
2018 IEEE 3rd International Verification and Security Workshop (IVSW), Jul 2018, Costa Brava, France. pp.87-92, ⟨10.1109/IVSW.2018.8494843⟩
Communication dans un congrès hal-02426115v1
Image document

Authentication of Microcontroller Board Using Non-Invasive EM Emission Technique

Mosabbah Mushir Ahmed , David Hely , Etienne Perret , Nicolas Barbot , Romain Siragusa
2018 IEEE 3rd International Verification and Security Workshop (IVSW), Jul 2018, Platja d’Aro, Spain. pp.25-30, ⟨10.1109/IVSW.2018.8494883⟩
Communication dans un congrès hal-02014214v1

IoT Components LifeCycle Based Security Analysis

Johan Marconot , David Hely , Florian Pebay-Peyroula
2017 Euromicro Conference on Digital System Design (DSD), Aug 2017, Vienna, France. ⟨10.1109/DSD.2017.44⟩
Communication dans un congrès hal-01724164v1
Image document

Towards a robust and efficient EM based authentication of FPGA against counterfeiting and recycling

Mosabbah Mushir Ahmed , David Hely , Nicolas Barbot , Romain Siragusa , Etienne Perret
19th International Symposium on Computer Architecture and Digital Systems (CADS), Dec 2017, Kish Island, Iran. pp.1-6, ⟨10.1109/CADS.2017.8310673⟩
Communication dans un congrès hal-02014230v1
Image document

Authentication in the THz domain: a new tool to fight couterfeiting

Florent Bonnefoy , Maher Hamdi , Maxime Bernier , Nicolas Barbot , Romain Siragusa
9th THz days, Jun 2017, Dunkerque, France
Communication dans un congrès hal-02014053v1

A red team blue team approach towards a secure processor design with hardware shadow stack

Cyril Bresch , David Hely , Adrien Michelet , Laurent Amato , Thomas Meyer
2017 IEEE 2nd International Verification and Security Workshop (IVSW), Jul 2017, Thessaloniki, France. ⟨10.1109/IVSW.2017.8031545⟩
Communication dans un congrès hal-01724169v1

Enhanced Elliptic Curve Scalar Multiplication Secure Against Side Channel Attacks and Safe Errors

Jeremy Dubeuf , David Hély , Vincent Beroulle
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⟩
Communication dans un congrès hal-02426126v1
Image document

Centrality Indicators for Efficient and Scalable Logic Masking

Brice Colombier , Lilian Bossuet , David Hely
IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2017), IEEE, Jul 2017, Bochum, Germany. pp.98-103, ⟨10.1109/ISVLSI.2017.26⟩
Communication dans un congrès ujm-01570080v1

A comprehensive hardware/software infrastructure for IP cores design protection

Brice Colombier , Ugo Mureddu , Lilian Bossuet , David Hely
IEEE International Conference on Field-Programmable Technology, ICFPT 2017, Dec 2017, Melbourne, Australia
Communication dans un congrès hal-01632978v1

Centrality Indicators for Efficient and Scalable Logic Masking

Brice Colombier , Lilian Bossuet , David Hely
In International CryptArchi Workshop 2017, Jun 2017, Smolenice, Slovakia
Communication dans un congrès hal-01586818v1
Image document

Authentication of IC based on Electromagnetic Signature

Mosabbah Mushir Ahmed , David Hely , Romain Siragusa , Nicolas Barbot , Etienne Perret
6th Conference on Trustworthy Manufacturing and Utilization of Secure Devices (TRUDEVICE 2016), Nov 2016, Barcelone, Spain
Communication dans un congrès hal-02014251v1

How logic masking can improve path delay analysis for Hardware Trojan detection

Arash Nejat , David Hely , Vincent Beroulle
2016 IEEE 34th International Conference on Computer Design (ICCD), Oct 2016, Phenix, United States. ⟨10.1109/ICCD.2016.7753319⟩
Communication dans un congrès hal-01418432v1

On Fault Injections for Early Security Evaluation vs. Laser-based Attacks

Régis Leveugle , A. Chahed , Paolo Maistri , A. Papadimitriou , D. Hély
1st IEEE International Verification and Security Workshop, Jul 2016, St Feliu de Guixols, Spain. pp.33-38
Communication dans un congrès hal-01444970v1

Key Reconciliation Protocols: an Alternative for Lightweight Authentication of Integrated Circuits

Brice Colombier , Lilian Bossuet , David Hely , Viktor Fischer
International CryptArchi Workshop , Jun 2016, La Grande-Motte, France
Communication dans un congrès hal-01382983v1

High output hamming-distance achievement by a greedy logic masking approach

Seyyed Mohammad Saleh Samimi , Ehsan Aerabi , Arash Nejat , Mahdi Fazeli , David Hely
2016 IEEE East-West Design & Test Symposium (EWDTS), Oct 2016, Yerevan, France. ⟨10.1109/EWDTS.2016.7807657⟩
Communication dans un congrès hal-01724174v1

System-Level Simulation for the Dependability Improvement of UHF RFID Systems

Vincent Beroulle , Oum-El-Kheir Aktouf , David Hely
ICWMC 2016 : The Twelfth International Conference on Wireless and Mobile Communications (includes QoSE WMC 2016), IARIA, Nov 2016, Barcelone, Spain
Communication dans un congrès hal-01432066v1

On the development of a new countermeasure on a laser attack RTL fault model

C. Ananiadis , A. Papadimitriou , D. Hély , V. Beroulle , Paolo Maistri
Design, Automation and Test in Europe Conference (DATE'16), Mar 2016, Dresden, Germany
Communication dans un congrès hal-01414728v1

Reusing logic masking to facilitate path-delay-based hardware Trojan detection

Arash Nejat , David Hely , Vincent Beroulle
2016 IEEE 22nd International Symposium on On-Line Testing and Robust System Design (IOLTS), Jul 2016, Sant Felliu, Spain. ⟨10.1109/IOLTS.2016.7604696⟩
Communication dans un congrès hal-01412412v1

Reversible Denial-of-Service by Locking Gates Insertion for IP Cores Design Protection

Brice Colombier , David Hely , Lilian Bossuet
International CryptArchi Workshop 2015, Jun 2015, Leuven, Belgium
Communication dans un congrès hal-01382976v1

A secure design-for-test infrastructure for lifetime security of SoCs

Backer Jerry , Ali Subidh , Kurt Rosenfeld , David Hely , Karri Ramesh
Circuits and Systems (ISCAS), 2015 IEEE International Symposium on, IEEE, May 2015, Lisbonna, Portugal. ⟨10.1109/ISCAS.2015.7168564⟩
Communication dans un congrès hal-01205397v1

Validation of RTL laser fault injection model with respect to layout information

A. Papadimitriou , M. Tampas , D. Hély , V. Beroulle , Paolo Maistri
IEEE International Symposium on Hardware Oriented Security and Trust (HOST'15), May 2015, McLean, VA, United States. pp.78-81
Communication dans un congrès hal-01393414v1

On enhancing the debug architecture of a system-on-chip (SoC) to detect software attacks

Backer Jerry , David Hely , Ramesh Karri
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⟩
Communication dans un congrès hal-01398767v1
Image document

Reversible Denial-of-Service by Locking Gates Insertion for IP Cores Design Protection

Brice Colombier , Lilian Bossuet , David Hely
{IEEE} Computer Society Annual Symposium on VLSI, CNRS-LIRMM, France, Jul 2015, Montpellier, France
Communication dans un congrès ujm-01180564v1

Analysis of laser-induced errors: RTL fault model versus layout locality characteristics

A. Papadimitriou , D. Hély , V. Beroulle , Paolo Maistri , Régis Leveugle
Third Workshop on Trustworthy Manufacturing and Utilization of Secure Devices (TRUDEVICE'15), Mar 2015, Grenoble, France
Communication dans un congrès hal-01393406v1

Emulation Based Fault Injection on UHF RFID Transponder

Omar Abdelmalek , David Hely , Vincent Beroulle
17th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems, Apr 2014, Varsaw, Poland. pp.1-4
Communication dans un congrès hal-01010294v1

FPGA emulation of laser attacks against secure deep submicron integrated circuits

P. Papavramidou , D. Hély , V. Beroulle , Paolo Maistri , Régis Leveugle
Second Workshop on Trustworthy Manufacturing and Utilization of Secure Devices (TRUDEVICE'14), May 2014, Paderborn, Germany
Communication dans un congrès hal-01132405v1

A multiple fault injection methodology based on cone partitioning towards RTL modeling of laser attacks

Athanasios Papadimitriou , David Hely , Vincent Beroulle , Paolo Maistri , Régis Leveugle
Design, Automation and Test in Europe Conference and Exhibition (DATE), 2014, Mar 2014, Dresden, Germany. pp.1-4, ⟨10.7873/DATE2014.219⟩
Communication dans un congrès hal-00981848v1

Voltage Glitch Attacks on Mixed Signal Systems

Noémie Boher , Kamil Gomina , David Hely , Vincent Beroulle , Jean-Baptiste Rigaud
17th Euromicro Conference on Digital Systems Design, Aug 2014, Verone, Italy. pp.1-6
Communication dans un congrès hal-01063664v1

Fault Tolerance Evaluation of RFID Tags

Omar Abdelmalek , David Hely , Vincent Beroulle
15th IEEE Latin America Test Workshop, Mar 2014, Fortaleza, Brazil. pp.1-6
Communication dans un congrès hal-00958582v1

On error models for RTL security evaluations

Pierre Vanhauwaert , Paolo Maistri , Régis Leveugle , Athanasios Papadimitriou , David Hely
9th Conference on Design and Technology of Integrated Systems in Nanoscale Era (DTIS) 2014, May 2014, Santorini, Greece. pp.1-6
Communication dans un congrès hal-01010314v1
Image document

Laser-Induced Fault Effects in Security-Dedicated Circuits

Vincent Beroulle , Philippe Candelier , Stephan de Castro , Giorgio Di Natale , Jean-Max Dutertre
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⟩
Communication dans un congrès hal-01383737v1

Evaluating and Enhancing the Security of Analog and Mixed IPs in Complex System On Chip

Noémie Boher , David Hely , Vincent Beroulle , Kamil Gomina , Joël Damiens
Workshop on Trustworthy Manufacturing and Utilization of Secure Devices, TRUDEVICE 2013, May 2013, Avignon, France
Communication dans un congrès hal-01010298v1

An UHF RFID Emulation Platform with Fault Injection and real time Monitoring capabilities

Omar Abdelmalek , David Hely , Vincent Beroulle
8th IEEE International Design & Test Symposium 2013, Dec 2013, Marrakesh, Morocco. pp.1-2, ⟨10.1109/IDT.2013.6727143⟩
Communication dans un congrès hal-00933386v1
Image document

SALWARE: Salutary Hardware to design Trusted IC.

Lilian Bossuet , David Hely
Workshop on Trustworthy Manufacturing and Utilization of Secure Devices, TRUDEVICE 2013, May 2013, Avignon, France
Communication dans un congrès ujm-00833871v1

Triggering Hardware Trojans in EPC C1G2 RFID Tags

David Hely , Vincent Beroulle , Abdelmalek Omar
Workshop on Trustworthy Manufacturing and Utilization of Secure Devices, TRUDEVICE 2013, May 2013, Avignon, France
Communication dans un congrès hal-00958199v1

EPC Class 1 GEN 2 UHF RFID tag emulator for robustness evaluation and improvement

Omar Abdelmalek , David Hely , Vincent Beroulle
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⟩
Communication dans un congrès hal-00950128v1

Experiences in side channel and testing based Hardware Trojan detection

David Hely , Simon Piroux Mounier , Rivière Elie , Triana Gerson , Martin Julien
IEEE VLSI Test Symposium 2013, Apr 2013, United States. pp.1-4
Communication dans un congrès hal-00857603v1

Run-time detection of hardware Trojans: The processor protection unit

David Hely , Dubeuf Jérémy , Karri Ramesh
18th IEEE European Test Symposium, May 2013, Avignon, France. pp.1-6
Communication dans un congrès hal-00861554v1

FPGA emulation of laser attacks against secure deep submicron integrated circuits

A. Papadimitriou , D. Hély , V. Beroulle , Paolo Maistri , Régis Leveugle
7ème Colloque du GdR SoC-SiP, Jun 2013, Lyon, France
Communication dans un congrès hal-01400108v1

Increasing the security level of analog IPs by using a dedicated vulnerability analysis methodology.

Noémie Boher , David Hely , Vincent Beroulle , Joël Damiens , Philippe Candelier
Quality Electronic Design (ISQED), 2013 14th International Symposium on, Mar 2013, United States. pp.531-537, ⟨10.1109/ISQED.2013.6523662⟩
Communication dans un congrès hal-00861556v1

Assertion based on-line fault detection applied on UHF RFID tag

Ibrahim Mezzah , Omar Kermia , Hamimi Chemali , Omar Abdelmalek , David Hely
8th IEEE International Design & Test Symposium 2013, Dec 2013, Marrakesh, Morocco. pp.1-5, ⟨10.1109/IDT.2013.6727091⟩
Communication dans un congrès hal-00950130v1

Evaluation of a new RFID system performance monitoring approach

Gilles Fritz , Vincent Beroulle , Oum-El-Kheir Aktouf , David Hély
Design Automation & Test in Europe, 2012, Dresden, Germany
Communication dans un congrès hal-01105361v1

Malicious Key Emission via Hardware Trojan Against Encryption System

David Hely , Augagneur Maurin , Clauzel Yves , Dubeuf Jérémy
ICCD, Oct 2012, France. pp.100-104
Communication dans un congrès hal-00739571v1

A Physical Unclonable Function Based on Setup Time Violation

David Hely , Dubeuf Jérémy , Augagneur Maurin , Clauzel Yves
ICCD 2012, Oct 2012, Montréal, Canada
Communication dans un congrès hal-00739575v1

Towards middleware-based fault-tolerance in RFID systems

Minh Duc Nguyen , Gilles Fritz , Oum-El-Kheir Aktouf , Vincent Beroulle , David Hely
13th European Workshop on Dependable Computing, EWDC 2011, May 2011, Pise, Italy. pp.5
Communication dans un congrès hal-00580368v1

Towards an unified IP verification and robustness analysis platform

David Hely , Vincent Beroulle , Feng Lu , Jose Ramon Garcia Oya
14th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2011, Apr 2011, France
Communication dans un congrès hal-00593524v1

Read rate profile monitoring for defect detection in RFID Systems

Gilles Fritz , Boutheina Maaloul , Vincent Beroulle , Oum-El-Kheir Aktouf , David Hely
IEEE International Conference on RFID-Technologies and Applications (RFID-TA 2011), Sep 2011, Sitges (Barcelona), Spain. pp. 89-94
Communication dans un congrès hal-00628783v1

Towards middleware-based fault-tolerance in RFID systems

Minh Duc Nguyen , Gilles Fritz , Oum-El-Kheir Aktouf , Vincent Beroulle , David Hély
13th European Workshop on Dependable Computing (EWDC 2011), May 2011, Pise, Italy. pp.49-52
Communication dans un congrès hal-00593732v1

SystemC Modeling of RFID Systems for Robustness Analysis

Gilles Fritz , Vincent Beroulle , Oum-El-Kheir Aktouf , David Hely
19th International Conference on Software, Telecommunications and Computer Networks IEEE SoftCOM, Sep 2011, Hvar (Split), Croatia. pp.ISBN : 978-953-290-027-9
Communication dans un congrès hal-00628789v1

Security challenges during VLSI test

David Hely , Kurt Rosenfeld , Ramesh Karri
New Circuits and Systems Conference (NEWCAS), 2011 IEEE 9th International, Jun 2011, Bordeaux, France. pp 486 - 489, ⟨10.1109/NEWCAS.2011.5981325⟩
Communication dans un congrès hal-00619524v1
Image document

A secure Scan Design Methodology

David Hély , Frédéric Bancel , Marie-Lise Flottes , Bruno Rouzeyre
DATE: Design, Automation and Test in Europe, Mar 2006, Munich, Germany. pp.1177-1178, ⟨10.1109/DATE.2006.244019⟩
Communication dans un congrès lirmm-00132516v1

Scan Pattern Watermarking

David Hely , Frédéric Bancel , Marie-Lise Flottes , Bruno Rouzeyre
LATW'06: 7th IEEE Latin American Test Workshop, Mar 2006, Buenos Aires, pp.63-67
Communication dans un congrès lirmm-00102753v1

A Secure Scan Design Methodology

David Hély , Frédéric Bancel , Marie-Lise Flottes , Bruno Rouzeyre
LATW'06: 7th IEEE Latin American Test Workshop, Mar 2006, Buenos Aires, Argentina. pp.81-86
Communication dans un congrès lirmm-00102752v1

Secure Scan Techniques: a Comparison

David Hély , Frédéric Bancel , Marie-Lise Flottes , Bruno Rouzeyre
IOLTS: International On-Line Testing Symposium, Jul 2006, Como, Italy. pp.119-124, ⟨10.1109/IOLTS.2006.55⟩
Communication dans un congrès lirmm-00102857v1

Test Control for Secure Scan Designs

David Hely , Frédéric Bancel , Marie-Lise Flottes , Bruno Rouzeyre
ETS: European Test Symposium, May 2005, Tallinn, Estonia. pp.190-195
Communication dans un congrès lirmm-00106011v1
Image document

Scan Design and Secure Chips : Can They Work Together

David Hely , Frédéric Bancel , Marie-Lise Flottes , Bruno Rouzeyre
SAME'05: Sophia-Antipolis Forum on MicroElectronics, Oct 2005, Sophia-Antipolis, France
Communication dans un congrès lirmm-00106546v1
Image document

Scan design and secure chip [secure IC testing]

David Hely , Marie-Lise Flottes , Frédéric Bancel , Bruno Rouzeyre , Nicolas Berard
IOLTS: International On-Line Testing Symposium, Jul 2004, Madeira Island, Portugal. pp.219-224, ⟨10.1109/OLT.2004.1319691⟩
Communication dans un congrès lirmm-00108909v1

Hardware-based Isolation and Attestation Architecture for a RISC-V Core

Abderrahmane Sensaoui , David Hely , Oum-El-Kheir Aktouf
2019 CySep and EuroS&P, Jun 2019, Stockholm, Sweden
Poster de conférence hal-02335793v1

Hardware-based Isolation and Attestation Architecture for a RISC-V Core

Abderrahmane Sensaoui , David Hely , Oum-El-Kheir Aktouf
2019 15th European Dependable Computing Conference (EDCC), Sep 2019, Naples, Italy
Poster de conférence hal-02335800v1

Turning Electronic Circuits Features into On-Chip Locks

Brice Colombier , Lilian Bossuet , David Hély
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⟩
Chapitre d'ouvrage hal-02426141v1
Image document

Logic Modification-Based IP Protection Methods: An Overview and a Proposal

Brice Colombier , Lilian Bossuet , David Hely
Bossuet, Lilian, Torres, Lionel. Foundations of Hardware IP Protection, 2, Springer, pp.30-64, 2017, 978-3-319-50378-3
Chapitre d'ouvrage ujm-01570115v1