Nombre de documents

58

David HELY


Article dans une revue9 documents

  • 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, IARIA, 2017, 10 (1&2). 〈hal-01617627〉
  • 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, Institute of Electrical and Electronics Engineers, 2017, 12 (8), pp.1988-2002. 〈10.1109/TIFS.2017.2689726〉. 〈ujm-01575582〉
  • Backer Jerry, David Hely, Ramesh Karri. Secure and Flexible Trace-Based Debugging of Systems-on-Chip. ACM Transactions on Design Automation of Electronic Systems (TODAES), ACM, 2016, 〈10.1145/2994601〉. 〈hal-01424899〉
  • 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 (TODAES), ACM, 2016, 〈10.1145/2820611〉. 〈hal-01398724〉
  • Athanasios Papadimitriou, David Hely, Vincent Beroulle, Paolo Maistri, Regis Leveugle. Analysis of laser-induced errors: RTL fault models versus layout locality characteristics. Microprocessors and Microsystems: Embedded Hardware Design (MICPRO), Elsevier, 2016, 〈10.1016/j.micpro.2016.01.018〉. 〈hal-01299277〉
  • Brice Colombier, Lilian Bossuet, David Hely. From Secured Logic to IP Protection. Microprocessors and Microsystems: Embedded Hardware Design (MICPRO), Elsevier, 2016, 47 (Part A), pp.44-54. 〈http://www.sciencedirect.com/science/article/pii/S0141933116000417〉. 〈10.1016/j.micpro.2016.02.010〉. 〈hal-01280195〉
  • 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, Institute of Electrical and Electronics Engineers, 2015, 〈10.1109/TETC.2015.2434103〉. 〈hal-01205402〉
  • 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, Springer Verlag, 2010, pp.1. 〈10.1007/s10836-010-5191-6〉. 〈hal-00575585〉
  • David Hely, Frédéric Bancel, Marie-Lise Flottes, Bruno Rouzeyre. Securing Scan Control in Crypto Chips. Journal of Electronic Testing, Springer Verlag, 2007, 23 (5), pp.457-464. 〈10.1007/s10836-007-5000-z〉. 〈lirmm-00186353〉

Communication dans un congrès48 documents

  • Brice Colombier, Lilian Bossuet, David Hely. Centrality Indicators for Efficient and Scalable Logic Masking. IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2017), Jul 2017, Bochum, Germany. 2017 IEEE Computer Society Annual Symposium on VLSI, pp.98-103, 2017, 〈10.1109/ISVLSI.2017.26〉. 〈ujm-01570080〉
  • 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〉
  • Brice Colombier, Lilian Bossuet, David Hely. Centrality Indicators for Efficient and Scalable Logic Masking. In International CryptArchi Workshop 2017, Jun 2017, Smolenice, Slovakia. 2017, 〈https://labh-curien.univ-st-etienne.fr/cryptarchi/workshop17/home.html〉. 〈hal-01586818〉
  • 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. 2016, 〈10.1109/ICCD.2016.7753319〉. 〈hal-01418432〉
  • 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), Nov 2016, Barcelone, Spain. The Twelfth International Conference on Wireless and Mobile Communications, ICWMC 2016. 〈hal-01432066〉
  • 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. 2016, 〈https://labh-curien.univ-st-etienne.fr/cryptarchi/workshop16/home.html〉. 〈hal-01382983〉
  • C. Ananiadis, A. Papadimitriou, D. Hély, V. Beroulle, P. 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. Proceedings. 〈hal-01414728〉
  • 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〉
  • R. Leveugle, A. Chahed, P. 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. IEEE, pp.33-38, Proceedings. 〈hal-01444970〉
  • 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, May 2015, Lisbonna, Portugal. Circuits and Systems (ISCAS), 2015 IEEE International Symposium on, 2015, 〈10.1109/ISCAS.2015.7168564〉. 〈hal-01205397〉
  • Brice Colombier, Lilian Bossuet, David Hely. Reversible Denial-of-Service by Locking Gates Insertion for IP Cores Design Protection. Computer Society Annual Symposium on VLSI, Jul 2015, Montpellier, France. proceedings of ISVLSI. 〈http://ieeexplore.ieee.org/〉. 〈ujm-01180564〉
  • 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. 2015. 〈hal-01382976〉
  • A. Papadimitriou, D. Hély, V. Beroulle, P. Maistri, R. 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. Proceedings. 〈hal-01393406〉
  • A. Papadimitriou, M. Tampas, D. Hély, V. Beroulle, P. 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. IEEE, pp.78-81, Proceedings. 〈hal-01393414〉
  • 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, Oct 2015, Amherst, United States. Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFTS), 2015 IEEE International Symposium on, 〈10.1109/DFT.2015.7315131〉. 〈hal-01398767〉
  • Vincent Beroulle, Philippe Candelier, Stephan De Castro, Giorgio Di Natale, Jean-Max Dutertre, et al.. Laser-Induced Fault Effects in Security-Dedicated Circuits. Luc Claesen; Maria-Teresa Sanz-Pascual; Ricardo Reis; Arturo Sarmiento-Reyes. VLSI-SoC: Very Large Scale Integration - System on a Chip, Oct 2014, Playa del Carmen, Mexico. 22nd IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration - System on a Chip, AICT-464, pp.220-240, 2015, IFIP Advances in Information and Communication Technology. 〈10.1007/978-3-319-25279-7_12〉. 〈hal-01383737〉
  • P. Papavramidou, D. Hély, V. Beroulle, P. Maistri, R. 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. Proceedings. 〈hal-01132405〉
  • Athanasios Papadimitriou, David Hely, Vincent Beroulle, P. Maistri, R. 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, Germany. pp.1-4, 2014, 〈10.7873/DATE2014.219〉. 〈hal-00981848〉
  • 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, 2014. 〈hal-01010294〉
  • P. Vanhauwaert, P. Maistri, R. 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, 2014. 〈hal-01010314〉
  • 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, 2014. 〈hal-00958582〉
  • 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, 2014. 〈hal-01063664〉
  • 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〉
  • 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, 2013, 〈10.1109/IDT.2013.6727143〉. 〈hal-00933386〉
  • 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, 2013, 〈10.1109/IDT.2013.6727091〉. 〈hal-00950130〉
  • 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, 2013, 〈10.1109/DTIS.2013.6527771〉. 〈hal-00950128〉
  • A. Papadimitriou, D. Hély, V. Beroulle, P. Maistri, R. 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〉
  • 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〉
  • 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, 2013. 〈hal-00857603〉
  • 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〉
  • 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, 2013. 〈hal-00861554〉
  • 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, 2013, 〈10.1109/ISQED.2013.6523662〉. 〈hal-00861556〉
  • 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, 2012. 〈hal-00739571〉
  • 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. 2012. 〈hal-00739575〉
  • 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〉
  • 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, 2011. 〈hal-00593732〉
  • 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. 2011. 〈hal-00593524〉
  • 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, 2011, 978-1-4577-0026-2. 〈hal-00628783〉
  • 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. CFP1187A-CDR, pp.ISBN : 978-953-290-027-9, 2011. 〈hal-00628789〉
  • 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, 2011. 〈hal-00580368〉
  • 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, 2011, 〈10.1109/NEWCAS.2011.5981325〉. 〈hal-00619524〉
  • David Hély, Frédéric Bancel, Marie-Lise Flottes, Bruno Rouzeyre. A secure Scan Design Methodology. DATE: Design, Automation and Test in Europe, Mar 2006, Munich, Germany. IEEE, Proceedings of the Design Automation & Test in Europe Conference, pp.1177-1178, 2006, 〈10.1109/DATE.2006.244019〉. 〈lirmm-00132516〉
  • David Hély, Frédéric Bancel, Marie-Lise Flottes, Bruno Rouzeyre. A Secure Scan Design Methodology. LATW'06: 7th IEEE Latin American Test Workshop, Mar 2006, Buenos Aires, Argentina. pp.81-86, 2006. 〈lirmm-00102752〉
  • David Hely, Frédéric Bancel, Marie-Lise Flottes, Bruno Rouzeyre. Scan Pattern Watermarking. LATW'06: 7th IEEE Latin American Test Workshop, Mar 2006, Buenos Aires, pp.63-67, 2006. 〈lirmm-00102753〉
  • David Hély, Frédéric Bancel, Marie-Lise Flottes, Bruno Rouzeyre. Secure Scan Techniques: a Comparison. IOLTS'06: 12th International On-Line Testing Symposium, Jul 2006, Como, Italy, IEEE, pp.119-124, 2006, 〈10.1109/IOLTS.2006.55〉. 〈lirmm-00102857〉
  • 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. 10th IEEE European Test Symposium, pp.190-195, 2005. 〈lirmm-00106011〉
  • David Hely, Frédéric Bancel, Marie-Lise Flottes, Bruno Rouzeyre. Scan Design and Secure Chips : Can They Work Together. SAME'05: Sophia-Antipolis Forum on MicroElectronics, Oct 2005, Sophia-Antipolis, France. 2005. 〈lirmm-00106546〉
  • David Hely, Marie-Lise Flottes, Frédéric Bancel, Bruno Rouzeyre, Nicolas Berard, et al.. Scan Design and Secure Chip. IOLTS'04: 10th International On-Line Testing Symposium, Jul 2004, Madeira Island, Portugal. IEEE, pp.219-224, 2004. 〈lirmm-00108909〉

Chapitre d'ouvrage1 document