David Hely

Dr. David Hely

Univ. Grenoble Alpes, CNRS, Grenoble INP*, LCIS, 26000 Valence, France * Institute of Engineering Univ. Grenoble Alpes
orcid

Research Focus & Metrics

Academic Career Length

22Years (2005-Present)

(Calculated once Scilit publication data is synced: current year − year of first publication + 1)

Representative Publications

View All Publications
7 June 2005
Verified
Conference Paper
Closed access
DHDavid Hely
David Hely
FBF. Bancel
F. Bancel
MFM.L. Flottes
M.L. Flottes
BRB. Rouzeyre
B. Rouzeyre
Designing secure ICs requires fulfilling many design rules in order to protect access to secret data. However, these security design requirements may be in opposition to test needs and testability improvement techniques that increase both observability and controllability. Nevertheless, secure chip designers cannot neglect the testability of their chip; a high quality production testing is primordial to ensure a good level of security since any faulty devices could induce major security vulnerability. In this paper, we propose to merge security requirements with testability ones in a control-oriented design for security scan technique.

5 July 2018 in Journal of Electronic Testing
Verified
Journal Article
Closed access
PDF file
MNM. A. Nourian
M. A. Nourian
MFMahdi Fazeli
Mahdi Fazeli
DHDavid Hely
David Hely

30 March 2017 in IEEE Transactions on Information Forensics and Security
Verified
Journal Article
Open access
BCBrice Colombier
Brice Colombier
LBLilian Bossuet
Lilian Bossuet
VFViktor Fischer
Viktor Fischer
DHDavid Hely
David Hely
Physical unclonable functions (PUFs) are promising primitives for the lightweight authentication of an integrated circuit (IC). Indeed, by extracting an identifier from random process variations, they allow each instance of a design to be uniquely identified. However, the extracted identifiers are not stable enough to be used as is, and hence, need to be corrected first. This is currently achieved using error-correcting codes in secure sketches that generate helper data through a one-time procedure. As an alternative, we propose key reconciliation protocols. This interactive method, originating from quantum key distribution, allows two entities to correct errors in their respective correlated keys by discussing over a public channel. We believe that this can also be used by a device and a remote server to agree on two different responses to the same challenge from the same PUF obtained at different times. This approach has the advantage of requiring very few logic resources on the device side. The information leakage caused by the key reconciliation process is limited and easily computable. Results of implementation on field-programmable gate array (FPGA) targets are presented, showing that it is the most lightweight error-correction module to date.

1 May 2013
Verified
Conference Paper
Closed access
JDJeremy Dubeuf
Jeremy Dubeuf
DHDavid Hely
David Hely
RKRamesh Karri
Ramesh Karri
Typical SOC designs use processors and therefore, trust in such processor cores is essential. The 2011 Embedded Systems Challenge (ESC 2011) [1] showed a wide range of possibilities to attack a processor through hardware Trojans. We propose an approach to detect suspicious behavior of a processor and thus assess if the processor is trustworthy or not. A countermeasure, called Processor Protection Unit (PPU) is presented focusing on its design to be particularly resilient against hardware Trojan insertion.

12 September 2007 in Journal of Electronic Testing
Verified
Journal Article
Closed access
PDF file
DHDavid Hely
David Hely
FBFrédéric Bancel
Frédéric Bancel
Marie-Lise FlottesMarie-Lise Flottes
Marie-Lise Flottes
BRBruno Rouzeyre
Bruno Rouzeyre

10 July 2006
Verified
Conference Paper
Closed access
DHDavid Hely
David Hely
FBF. Bancel
F. Bancel
MFM.-L. Flottes
M.-L. Flottes
BRB. Rouzeyre
B. Rouzeyre
Designing secure ICs requires fulfilling many design rules in order to protect access to secret data. However, these security design requirements may be in opposition to test needs and testability improvement techniques that increase both observability and controllability. Nevertheless, secure chip designers cannot neglect the testability of their chip; a high quality production testing is primordial to ensure a good level of security since any faulty devices could induce major security vulnerability. In this paper, we present different techniques securing the scan chain technique and compare them to point out their pros and cons