David Hély

发表

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

Ramesh Karri, Ozgur Sinanoglu, Subidh Ali, 2015, 2015 IEEE International Symposium on Circuits and Systems (ISCAS).

Towards middleware-based fault-tolerance in RFID systems

Gilles Fritz, Vincent Beroulle, Oum-El-Kheir Aktouf, 2011, EWDC '11.

Laser Fault Injection at the CMOS 28 nm Technology Node: an Analysis of the Fault Model

Giorgio Di Natale, Régis Leveugle, Jean-Max Dutertre, 2018, 2018 Workshop on Fault Diagnosis and Tolerance in Cryptography (FDTC).

Laser-induced fault effects in security-dedicated circuits

Giorgio Di Natale, Régis Leveugle, Jean-Max Dutertre, 2014, 2014 22nd International Conference on Very Large Scale Integration (VLSI-SoC).

Reusing the IEEE 1500 design for test infrastructure for security monitoring of Systems-on-Chip

Ramesh Karri, Jerry Backer, David Hély, 2014, 2014 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT).

From secured logic to IP protection

Lilian Bossuet, David Hély, Brice Colombier, 2016, Microprocess. Microsystems.

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

Vincent Beroulle, David Hély, Jeremy Dubeuf, 2017, COSADE.

Clock generator behavioral modeling for supply voltage glitch attack effects analysis

Vincent Beroulle, David Hély, Philippe Candelier, 2016, Microprocess. Microsystems.

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

David Hély, Thomas Meyer, Cyril Bresch, 2017, 2017 IEEE 2nd International Verification and Security Workshop (IVSW).

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

Vincent Beroulle, David Hély, Philippe Candelier, 2013, International Symposium on Quality Electronic Design (ISQED).

SystemC modeling of RFID systems for robustness analysis

Gilles Fritz, Vincent Beroulle, Oum-El-Kheir Aktouf, 2011, SoftCOM 2011, 19th International Conference on Software, Telecommunications and Computer Networks.

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

Vincent Beroulle, David Hély, Arash Nejat, 2016, 2016 IEEE 22nd International Symposium on On-Line Testing and Robust System Design (IOLTS).

Cryptography with Analog Scheme Using Memristors

David Hély, Bertrand Cambou, Sareh Assiri, 2020, ACM J. Emerg. Technol. Comput. Syst..

Laser-induced fault effects in security-dedicated circuits

Giorgio Di Natale, Régis Leveugle, Jean-Max Dutertre, 2014, VLSI-SoC.

Secure design-for-debug for Systems-on-Chip

Ramesh Karri, Jerry Backer, David Hély, 2015, 2015 IEEE International Test Conference (ITC).

Voltage Glitch Attacks on Mixed-Signal Systems

Assia Tria, Vincent Beroulle, David Hély, 2014, 2014 17th Euromicro Conference on Digital System Design.

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

Florian Pebay-Peyroula, David Hély, Johan Marconot, 2019, 2019 IEEE Computer Society Annual Symposium on VLSI (ISVLSI).

Read rate profile monitoring for defect detection in RFID Systems

Gilles Fritz, Vincent Beroulle, Oum-El-Kheir Aktouf, 2011, 2011 IEEE International Conference on RFID-Technologies and Applications.

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

Régis Leveugle, Vincent Beroulle, Paolo Maistri, 2014, 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Machine Learning and Hardware security: Challenges and Opportunities -Invited Talk-

Elena I. Vatajelu, Giorgio Di Natale, Vincent Beroulle, 2020, 2020 IEEE/ACM International Conference On Computer Aided Design (ICCAD).

Secure scan techniques: a comparison

Bruno Rouzeyre, Marie-Lise Flottes, David Hély, 2006, 12th IEEE International On-Line Testing Symposium (IOLTS'06).

Authentication of Microcontroller Board Using Non-Invasive EM Emission Technique

Etienne Perret, David Hély, Nicolas Barbot, 2018, 2018 IEEE 3rd International Verification and Security Workshop (IVSW).

Fault tolerance evaluation of RFID tags

Vincent Beroulle, David Hély, Omar Abdelmalek, 2014, 2014 15th Latin American Test Workshop - LATW.

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

Régis Leveugle, Vincent Beroulle, Paolo Maistri, 2016, 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE).

On fault injections for early security evaluation vs. laser-based attacks

Régis Leveugle, Vincent Beroulle, Paolo Maistri, 2016, 2016 1st IEEE International Verification and Security Workshop (IVSW).

Evaluation of a new RFID system performance monitoring approach

Gilles Fritz, Vincent Beroulle, Oum-El-Kheir Aktouf, 2012, 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Test control for secure scan designs

Bruno Rouzeyre, Marie-Lise Flottes, David Hély, 2005, European Test Symposium (ETS'05).

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

David Hély, Mahdi Fazeli, Athanasios Papadimitriou, 2020 .

An UHF RFID emulation platform with fault injection and real time monitoring capabilities

Vincent Beroulle, David Hély, Omar Abdelmalek, 2013, 2013 8th IEEE Design and Test Symposium.

Securing Scan Control in Crypto Chips

Bruno Rouzeyre, Marie-Lise Flottes, David Hély, 2007, J. Electron. Test..

Centrality Indicators for Efficient and Scalable Logic Masking

Lilian Bossuet, David Hély, Brice Colombier, 2017, 2017 IEEE Computer Society Annual Symposium on VLSI (ISVLSI).

Towards an Inherently Secure Run-Time Environment for Medical Devices

Stéphanie Chollet, David Hély, Cyril Bresch, 2018, 2018 IEEE International Congress on Internet of Things (ICIOT).

TrustFlow-X

Stéphanie Chollet, David Hély, Ioannis Parissis, 2020, ACM Trans. Embed. Comput. Syst..

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

Vincent Beroulle, David Hély, Arash Nejat, 2016, 2016 IEEE 34th International Conference on Computer Design (ICCD).

Key Reconciliation Protocols for Error Correction of Silicon PUF Responses

Lilian Bossuet, Viktor Fischer, David Hély, 2017, IEEE Transactions on Information Forensics and Security.

Comparison of RTL fault models for the robustness evaluation of aerospace FPGA devices

Vincent Beroulle, David Hély, Athanasios Papadimitriou, 2016, 2016 IEEE 22nd International Symposium on On-Line Testing and Robust System Design (IOLTS).

3D-Sorter: 3D Design of a Resource-Aware Hardware Sorter for Edge Computing Platforms Under Area and Energy Consumption Constraints

David Hély, Zahra Kazemi, Amin Norollah, 2020, 2020 IEEE Computer Society Annual Symposium on VLSI (ISVLSI).

Extended Protocol Using Keyless Encryption Based on Memristors

David Hély, Bertrand Cambou, Yuxuan Zhu, 2020, SAI.

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

Ramesh Karri, Jerry Backer, David Hély, 2017, ACM Trans. Design Autom. Electr. Syst..

IoT Components LifeCycle Based Security Analysis

Florian Pebay-Peyroula, David Hély, Johan Marconot, 2017, 2017 Euromicro Conference on Digital System Design (DSD).

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

Vincent Beroulle, David Hély, Omar Kermia, 2013, 2013 8th IEEE Design and Test Symposium.

Scan Design and Secure Chip

Michel Renovell, Bruno Rouzeyre, Marie-Lise Flottes, 2004, IOLTS.

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

Oum-El-Kheir Aktouf, Abderrahmane Sensaoui, David Hély, 2019, 2019 15th European Dependable Computing Conference (EDCC).

Facilitating side channel analysis by obfuscation for Hardware Trojan detection

Vincent Beroulle, David Hély, Arash Nejat, 2015, 2015 10th International Design & Test Symposium (IDT).

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

Régis Leveugle, Vincent Beroulle, Paolo Maistri, 2016, Microprocess. Microsystems.

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

Mahdi Fazeli, Vincent Beroulle, David Hély, 2018, 2018 IEEE 3rd International Verification and Security Workshop (IVSW).

Towards an unified IP verification and robustness analysis platform

Feng Lu, Vincent Beroulle, David Hély, 2011, 14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems.

Emulation based fault injection on UHF RFID transponder

Vincent Beroulle, David Hély, Omar Abdelmalek, 2014, 17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems.

CONFISCA : an SIMD-based CONcurrent FI and SCA countermeasure with switchable performance and security modes

David Hély, Mahdi Fazeli, Athanasios Papadimitriou, 2020, IACR Cryptol. ePrint Arch..

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

Ramesh Karri, Chi Zhang, Chenglu Jin, 2016, IEEE Transactions on Emerging Topics in Computing.

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

Lilian Bossuet, David Hély, Brice Colombier, 2015, 2015 IEEE Computer Society Annual Symposium on VLSI.

Implementation of a secured digital ultralight 14443-type A RFID tag with an FPGA platform

Mohsen Machhout, Vincent Beroulle, David Hély, 2016, 2016 International Conference on Design and Technology of Integrated Systems in Nanoscale Era (DTIS).

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

Ramesh Karri, David Hély, Jeremy Dubeuf, 2013, 2013 18th IEEE European Test Symposium (ETS).

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

Gilles Fritz, Vincent Beroulle, Oum-El-Kheir Aktouf, 2011, J. Electron. Test..

A secure Scan Design Methodology

Bruno Rouzeyre, Marie-Lise Flottes, David Hély, 2006, Proceedings of the Design Automation & Test in Europe Conference.

Conception and Evaluation of Secure Circuits for Strong Digital PUF

Florian Pebay-Peyroula, David Hély, Johan Marconot, 2020, SN Comput. Sci..

On error models for RTL security evaluations

Régis Leveugle, Vincent Beroulle, Paolo Maistri, 2014, 2014 9th IEEE International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS).

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

Ramesh Karri, Jerry Backer, David Hély, 2015, 2015 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFTS).

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

Régis Leveugle, Vincent Beroulle, Paolo Maistri, 2015, 2015 IEEE International Symposium on Hardware Oriented Security and Trust (HOST).

ECDSA Passive Attacks, Leakage Sources, and Common Design Mistakes

Vincent Beroulle, David Hély, Jeremy Dubeuf, 2016, TODE.

Malicious key emission via hardware Trojan against encryption system

David Hély, Jeremy Dubeuf, Yves Clauzel, 2012, 2012 IEEE 30th International Conference on Computer Design (ICCD).

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

Vincent Beroulle, David Hély, Omar Abdelmalek, 2013, 2013 8th International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS).

Implementation of Password Management System Using Ternary Addressable PUF Generator

David Hély, Bertrand Cambou, Duane Booher, 2019, 2019 16th Annual IEEE International Conference on Sensing, Communication, and Networking (SECON).

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

Vincent Beroulle, David Hély, Arash Nejat, 2018, J. Hardw. Syst. Secur..

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

Mahdi Fazeli, Vincent Beroulle, David Hély, 2016, 2016 IEEE East-West Design & Test Symposium (EWDTS).

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

Giorgio Di Natale, Régis Leveugle, Jean-Max Dutertre, 2018, 2018 IEEE 24th International Symposium on On-Line Testing And Robust System Design (IOLTS).

A comprehensive hardware/software infrastructure for IP cores design protection

Lilian Bossuet, Ugo Mureddu, David Hély, 2017, 2017 International Conference on Field Programmable Technology (ICFPT).

Experiences in side channel and testing based Hardware Trojan detection

Julien Martin, David Hély, Gerson Dario Piraquive Triana, 2013, 2013 IEEE 31st VLSI Test Symposium (VTS).

A physical unclonable function based on setup time violation

David Hély, Jeremy Dubeuf, Yves Clauzel, 2012, 2012 IEEE 30th International Conference on Computer Design (ICCD).

Hardware Trojan Detection Using an Advised Genetic Algorithm Based Logic Testing

Mahdi Fazeli, David Hély, M. A. Nourian, 2018, J. Electron. Test..

PUF-Based Protocol for Securing Constrained Devices

Stéphanie Chollet, David Hély, Laurent Pion, 2021, 2021 17th International Conference on Intelligent Environments (IE).

An In-Depth Vulnerability Analysis of RISC-V Micro-Architecture Against Fault Injection Attack

Mahdi Fazeli, Vincent Beroulle, David Hély, 2021, 2021 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT).

Efficient Scheduling of Dependent Tasks in Many-Core Real-Time System Using a Hardware Scheduler

Mahdi Fazeli, Hakem Beitollahi, David Hély, 2021, 2021 IEEE High Performance Extreme Computing Conference (HPEC).

CLASA : a Cross-Layer Agent Security Architecture for networked embedded systems

Jean-Paul Jamont, David Hély, Romain Liévin, 2021, 2021 IEEE International Conference on Omni-Layer Intelligent Systems (COINS).

Video-Rate Identification of High-Capacity Low-Cost Tags in the Terahertz Domain

Etienne Perret, David Hély, Nicolas Barbot, 2021, Sensors.

Design Space Exploration Applied to Security

Giorgio Di Natale, David Hély, Frank Lhermet, 2021, 2021 16th International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS).