David Hly
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
40
Venues
16
Active years
2004–2026
Best venue rank
C
Where they publish
Papers
40 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ETS | Fault Model-Driven Formal Verification of Cryptographic Hardware Against Fault Attacks. | Daniel Thirion, George-Cristian Sercaianu, Valentin Egloff, Jean-Marc Daveau, Vincent Beroulle, David Hly, Philippe Roche |
| 2026 | IOLTS | Reducing Safety False-Positives in Parity-Based Security AES Using a Hardware Fault Classifier. | Daniel Thirion, Jean-Marc Daveau, Valentin Egloff, Vincent Beroulle, Philippe Roche, David Hly |
| 2025 | DDECS | Comparative Study of Safety and Security-Protected AES Designs. | Daniel Thirion, Jean-Marc Daveau, Valentin Egloff, David Hly, Vincent Beroulle, Philippe Roche |
| 2025 | ETS | Reliability Under Stress: The Impact of Localized Aging on RO-PUF Architectures in FPGAs. | Aghiles Douadi, Elena-Ioana Vatajelu, Paolo Maistri, David Hly, Vincent Beroulle, Giorgio Di Natale |
| 2024 | DATE | Automated Hardware Security Countermeasure Integration Inside High Level Synthesis. | Amalia-Artemis Koufopoulou, Athanasios Papadimitriou, Mihalis Psarakis, David Hly |
| 2024 | ETS | Modeling Thermal Effects For Biasing PUFs. | Aghiles Douadi, Elena-Ioana Vatajelu, Paolo Maistri, David Hly, Vincent Beroulle, Giorgio Di Natale |
| 2022 | DCOSS | Elaborating on Sub-Space Modeling as an Enrollment Solution for Strong PUF. | Amir Ali Pour, David Hly, Vincent Beroulle, Giorgio Di Natale |
| 2022 | IOLTS | Security and Reliability Evaluation of Countermeasures implemented using High-Level Synthesis. | Amalia-Artemis Koufopoulou, Kalliopi Xevgeni, Athanasios Papadimitriou, Mihalis Psarakis, David Hly |
| 2020 | DATE | 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 Hly |
| 2020 | DATE | BackFlow: Backward Edge Control Flow Enforcement for Low End ARM Microcontrollers. | Cyril Bresch, Roman Lysecky, David Hly |
| 2020 | ETS | PUF Enrollment and Life Cycle Management: Solutions and Perspectives for the Test Community. | Amir Alipour, Vincent Beroulle, Bertrand Cambou, Jean-Luc Danger, Giorgio Di Natale, David Hly, Sylvain Guilley, Naghmeh Karimi |
| 2020 | ICCAD | Machine Learning and Hardware security: Challenges and Opportunities -Invited Talk-. | Francesco Regazzoni, Shivam Bhasin, Amir Alipour, Ihab Alshaer, Furkan Aydin, Aydin Aysu, Vincent Beroulle, Giorgio Di Natale, Paul D. Franzon, David Hly, Naofumi Homma, Akira Ito, Dirmanto Jap, Priyank Kashyap, Ilia Polian, Seetal Potluri, Rei Ueno, Elena-Ioana Vatajelu, Ville Yli-Myry |
| 2020 | IOLTS | Hardware Security Vulnerability Assessment to Identify the Potential Risks in A Critical Embedded Application. | Zahra Kazemi, Mahdi Fazeli, David Hly, Vincent Beroulle |
| 2019 | EDCC | Toubkal: A Flexible and Efficient Hardware Isolation Module for Secure Lightweight Devices. | Abderrahmane Sensaoui, David Hly, Oum-El-Kheir Aktouf |
| 2019 | IOLTS | On a Side Channel and Fault Attack Concurrent Countermeasure Methodology for MCU-based Byte-sliced Cipher Implementations. | Ehsan Aerabi, Athanasios Papadimitriou, David Hly |
| 2019 | ISSRE | SHCoT: Secure (and Verified) Hybrid Chain of Trust to Protect from Malicious Software in LightWeight Devices. | Abderrahmane Sensaoui, Oum-El-Kheir Aktouf, David Hly |
| 2019 | SECON | Implementation of Password Management System Using Ternary Addressable PUF Generator. | Mohammad Mohammadinodoushan, Bertrand Cambou, Christopher Robert Philabaum, David Hly, Duane Booher |
| 2018 | FDTC | 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, Marie-Lise Flottes, Philippe Gendrier, David Hly, Rgis Leveugle, Paolo Maistri, Giorgio Di Natale, Athanasios Papadimitriou, Bruno Rouzeyre |
| 2018 | IOLTS | 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, Philippe Gendrier, David Hly, Rgis Leveugle, Paolo Maistri, Giorgio Di Natale, Athanasios Papadimitriou, Bruno Rouzeyre |
| 2017 | DSD | IoT Components LifeCycle Based Security Analysis. | Johan Marconot, Florian Pebay-Peyroula, David Hly |
| 2016 | DATE | On the development of a new countermeasure based on a laser attack RTL fault model. | Charalampos Ananiadis, Athanasios Papadimitriou, David Hly, Vincent Beroulle, Paolo Maistri, Rgis Leveugle |
| 2016 | ICCD | How logic masking can improve path delay analysis for Hardware Trojan detection. | Arash Nejat, David Hly, Vincent Beroulle |
| 2016 | IOLTS | Comparison of RTL fault models for the robustness evaluation of aerospace FPGA devices. | Romain Champon, Vincent Beroulle, Athanasios Papadimitriou, David Hly, Gilles Genvrier, Frdric Czilly |
| 2016 | IOLTS | Reusing logic masking to facilitate path-delay-based hardware Trojan detection. | Arash Nejat, David Hly, Vincent Beroulle |
| 2015 | ISCAS | A secure design-for-test infrastructure for lifetime security of SoCs. | Jerry Backer, Sk Subidh Ali, Kurt Rosenfeld, David Hly, Ozgur Sinanoglu, Ramesh Karri |
| 2015 | ITC | Secure design-for-debug for Systems-on-Chip. | Jerry Backer, David Hly, Ramesh Karri |
| 2014 | DATE | A multiple fault injection methodology based on cone partitioning towards RTL modeling of laser attacks. | Athanasios Papadimitriou, David Hly, Vincent Beroulle, Paolo Maistri, Rgis Leveugle |
| 2014 | DDECS | Emulation based fault injection on UHF RFID transponder. | Omar Abdelmalek, David Hly, Vincent Beroulle |
| 2014 | DSD | Voltage Glitch Attacks on Mixed-Signal Systems. | Noemie Beringuier-Boher, Kamil Gomina, David Hly, Jean-Baptiste Rigaud, Vincent Beroulle, Assia Tria, Joel Damiens, Philippe Gendrier, Philippe Candelier |
| 2013 | ETS | Run-time detection of hardware Trojans: The processor protection unit. | Jeremy Dubeuf, David Hly, Ramesh Karri |
| 2013 | VTS | Experiences in side channel and testing based Hardware Trojan detection. | David Hly, Julien Martin, Gerson Dario Piraquive Triana, Simon Piroux Mounier, Elie Riviere, Thibault Sahuc, Jeremy Savonet, Laura Soundararadjou |
| 2012 | DATE | Evaluation of a new RFID system performance monitoring approach. | Gilles Fritz, Vincent Beroulle, Oum-El-Kheir Aktouf, David Hly |
| 2012 | ICCD | Malicious key emission via hardware Trojan against encryption system. | David Hly, Maurin Augagneur, Yves Clauzel, Jeremy Dubeuf |
| 2012 | ICCD | A physical unclonable function based on setup time violation. | David Hly, Maurin Augagneur, Yves Clauzel, Jeremy Dubeuf |
| 2011 | DDECS | Towards an unified IP verification and robustness analysis platform. | David Hly, Vincent Beroulle, Feng Lu, Jos Ramn Garca Oya |
| 2011 | SOFTCOM | SystemC modeling of RFID systems for robustness analysis. | Gilles Fritz, Vincent Beroulle, Oum-El-Kheir Aktouf, David Hly |
| 2006 | DATE | A secure scan design methodology. | David Hly, Frdric Bancel, Marie-Lise Flottes, Bruno Rouzeyre |
| 2006 | IOLTS | Secure Scan Techniques: A Comparison. | David Hly, Frdric Bancel, Marie-Lise Flottes, Bruno Rouzeyre |
| 2005 | ETS | Test control for secure scan designs. | David Hly, Frdric Bancel, Marie-Lise Flottes, Bruno Rouzeyre |
| 2004 | IOLTS | Scan Design and Secure Chip. | David Hly, Marie-Lise Flottes, Frdric Bancel, Bruno Rouzeyre, Nicolas Brard, Michel Renovell |