CV Accueil - Archive ouverte HAL

	Hybrid Protection of Digital FIR Filters Levent Aksoy , Quang-Linh Nguyen , Felipe Almeida , Jaan Raik , Marie-Lise Flottes IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 2023, 31 (6), pp.812-825. ⟨10.1109/TVLSI.2023.3253641⟩ Article dans une revue lirmm-04078805v1
	SKG-Lock+: A Provably Secure Logic Locking SchemeCreating Significant Output Corruption Quang-Linh Nguyen , Sophie Dupuis , Marie-Lise Flottes , Bruno Rouzeyre Electronics, 2022, 11, pp.3906. ⟨10.3390/electronics11233906⟩ Article dans une revue lirmm-03884259v1
	Logic Locking: A Survey of Proposed Methods and Evaluation Metrics Sophie Dupuis , Marie-Lise Flottes Journal of Electronic Testing: : Theory and Applications, 2019, 35 (3), pp.273-291. ⟨10.1007/s10836-019-05800-4⟩ Article dans une revue lirmm-02128826v1
	Protection against Hardware Trojans with Logic Testing: Proposed Solutions and Challenges Ahead Sophie Dupuis , Marie-Lise Flottes , Giorgio Di Natale , Bruno Rouzeyre IEEE Design & Test, 2018, 35 (2), pp.73-90. ⟨10.1109/MDAT.2017.2766170⟩ Article dans une revue lirmm-01688166v1
	On the Effectiveness of Hardware Trojan Horse Detection via Side-Channel Analysis Sophie Dupuis , Giorgio Di Natale , Marie-Lise Flottes , Bruno Rouzeyre Information Security Journal: A Global Perspective, 2014, Trustworthy Manufacturing and Utilization of Secure Devices, 22 (5-6), pp.226-236. ⟨10.1080/19393555.2014.891277⟩ Article dans une revue lirmm-00991362v1
	Secure JTAG Implementation Using Schnorr Protocol Amitabh Das , Jean da Rolt , Santosh Ghosh , Stefaan Seys , Sophie Dupuis Journal of Electronic Testing: : Theory and Applications, 2013, 29 (2), pp.193-209. ⟨10.1007/s10836-013-5369-9⟩ Article dans une revue lirmm-00837904v1

	Logic-Locking schemes and side channel attacks resilience Nassim Riadi , Florent Bruguier , Pascal Benoit , Sophie Dupuis , Marie-Lise Flottes SAFEST Workshop, Jun 2023, Tallinn / Virtual, Estonia. ⟨10.1007/978-3-030-15334-2.4⟩ Communication dans un congrès lirmm-04526269v1
	Resynthesis-based Attacks Against Logic Locking Felipe Almeida , Levent Aksoy , Quang-Linh Nguyen , Sophie Dupuis , Marie-Lise Flottes ISQED 2023 - 24th International Symposium on Quality Electronic Design, Apr 2023, San Fransisco, CA, United States Communication dans un congrès lirmm-04053224v1
	A new key-gate insertion strategy for logic locking with high output corruption Quang-Linh Nguyen , Sophie Dupuis , Marie-Lise Flottes THCon 2022 - Toulouse Hacking Convention, ENAC, Apr 2022, Toulouse, France Communication dans un congrès lirmm-04048983v1
	On Preventing SAT Attack with Decoy Key-Inputs Quang-Linh Nguyen , Marie-Lise Flottes , Sophie Dupuis , Bruno Rouzeyre ISVLSI 2021 - IEEE Computer Society Annual Symposium on VLSI, Jul 2021, Tampa, United States. pp.114-119, ⟨10.1109/ISVLSI51109.2021.00031⟩ Communication dans un congrès lirmm-03359458v1
	High-level Intellectual Property Obfuscation via Decoy Constants Levent Aksoy , Quang-Linh Nguyen , Felipe Almeida , Jaan Raik , Marie-Lise Flottes IOLTS 2021 - 27th IEEE International Symposium on On-Line Testing and Robust System Design, Jun 2021, Torino, Italy. pp.1-7, ⟨10.1109/IOLTS52814.2021.9486714⟩ Communication dans un congrès lirmm-03359476v1
	A Secure Scan Controller for Protecting Logic Locking Quang-Linh Nguyen , Emanuele Valea , Marie-Lise Flottes , Sophie Dupuis , Bruno Rouzeyre IOLTS 2020 - 26th IEEE International Symposium on On-Line Testing and Robust System Design, Jul 2020, Napoli, Italy. pp.1-6, ⟨10.1109/IOLTS50870.2020.9159730⟩ Communication dans un congrès lirmm-02995199v1
	Development and Application of Embedded Test Instruments to Digital, Analog/RFs and Secure ICs Florence Azaïs , Serge Bernard , Mariane Comte , Bastien Deveautour , Sophie Dupuis IOLTS 2020 - 26th IEEE International Symposium on On-Line Testing and Robust System Design, Jul 2020, Napoli, Italy. pp.1-4, ⟨10.1109/IOLTS50870.2020.9159723⟩ Communication dans un congrès lirmm-02993384v1
	A Comprehensive Approach to a Trusted Test Infrastructure Marc Merandat , Vincent Reynaud , Emanuele Valea , Jerome Quevremont , Nicolas Valette IVSW 2019 - 4th IEEE International Verification and Security Workshop, Jul 2019, Rhodes, Greece. pp.43-48, ⟨10.1109/IVSW.2019.8854428⟩ Communication dans un congrès lirmm-02306980v1
	Providing Confidentiality and Integrity in Ultra Low Power IoT Devices Emanuele Valea , Mathieu da Silva , Marie-Lise Flottes , Giorgio Di Natale , Sophie Dupuis DTIS 2019 - 14th International Conference on Design & Technology of Integrated Systems in Nanoscale Era, Apr 2019, Mykonos, Greece. ⟨10.1109/DTIS.2019.8735090⟩ Communication dans un congrès hal-02166920v1
	A new secure stream cipher for scan chain encryption Mathieu da Silva , Emanuele Valea , Marie-Lise Flottes , Sophie Dupuis , Giorgio Di Natale 3rd IEEE International Verification and Security Workshop (IVSW 2018), Jul 2018, Platja d’Aro, Spain. pp.68-73, ⟨10.1109/IVSW.2018.8494852⟩ Communication dans un congrès lirmm-01867256v1
	Encryption of test data: which cipher is better? Mathieu da Silva , Emanuele Valea , Marie-Lise Flottes , Sophie Dupuis , Giorgio Di Natale PRIME: PhD Research in Microelectronics and Electronics, Jul 2018, Prague, Czech Republic. pp.85-88, ⟨10.1109/PRIME.2018.8430366⟩ Communication dans un congrès lirmm-01867249v1
	SI ECCS: SECure context saving for IoT devices Emanuele Valea , Mathieu da Silva , Giorgio Di Natale , Marie-Lise Flottes , Sophie Dupuis DTIS 2018 - 13th International Conference on Design and Technology of Integrated Systems in Nanoscale Era, Apr 2018, Taormina, Italy. ⟨10.1109/DTIS.2018.8368561⟩ Communication dans un congrès hal-01740173v1
	Hacking the Control Flow error detection mechanism Giorgio Di Natale , Marie-Lise Flottes , Sophie Dupuis , Bruno Rouzeyre IVSW: International Verification and Security Workshop, Jul 2017, Thessaloniki, Greece. pp.51-56, ⟨10.1109/IVSW.2017.8031544⟩ Communication dans un congrès lirmm-01700739v1
	Duplication-based Concurrent Detection of Hardware Trojans in Integrated Circuits Manikandan Palanichamy , Papa-Sidy Ba , Sophie Dupuis , Marie-Lise Flottes , Giorgio Di Natale TRUDEVICE, Nov 2016, Barcelona, Spain Communication dans un congrès lirmm-01385551v1
	Using Outliers to Detect Stealthy Hardware Trojan Triggering? Papa-Sidy Ba , Sophie Dupuis , Marie-Lise Flottes , Giorgio Di Natale , Bruno Rouzeyre IVSW: International Verification and Security Workshop, Jul 2016, Sant Feliu de Guixols, France Communication dans un congrès lirmm-01347119v1
	Hardware Trust through Layout Filling: a Hardware Trojan Prevention Technique Papa-Sidy Ba , Sophie Dupuis , Manikandan Palanichamy , Marie-Lise Flottes , Giorgio Di Natale ISVLSI: International Symposium on Very Large Scale Integration, Jul 2016, Pittsburgh, United States. pp.254-259, ⟨10.1109/ISVLSI.2016.22⟩ Communication dans un congrès lirmm-01346529v1
	Hardware Trojan Prevention using Layout-Level Design Approach Papa-Sidy Ba , Manikandan Palanichamy , Sophie Dupuis , Marie-Lise Flottes , Giorgio Di Natale ECCTD: European Conference on Circuit Theory and Design, Aug 2015, Trondheim, Norway. ⟨10.1109/ECCTD.2015.7300093⟩ Communication dans un congrès lirmm-01234072v1
	On the limitations of logic testing for detecting Hardware Trojans Horses Marie-Lise Flottes , Sophie Dupuis , Papa-Sidy Ba , Bruno Rouzeyre DTIS: Design and Technology of Integrated Systems in Nanoscale Era, Apr 2015, Naples, Italy. ⟨10.1109/DTIS.2015.7127362⟩ Communication dans un congrès lirmm-01257837v1
	New Testing Procedure for Finding Insertion Sites of Stealthy Hardware Trojans Sophie Dupuis , Bruno Rouzeyre , Marie-Lise Flottes , Giorgio Di Natale , Papa-Sidy Ba DATE 2015 - 18th Design, Automation and Test in Europe Conference and Exhibition, Mar 2015, Grenoble, France. pp.776-781, ⟨10.7873/DATE.2015.1102⟩ Communication dans un congrès lirmm-01141619v1
	A Novel Hardware Logic Encryption Technique for thwarting Illegal Overproduction and Hardware Trojans Sophie Dupuis , Papa-Sidy Ba , Giorgio Di Natale , Marie-Lise Flottes , Bruno Rouzeyre IOLTS: International On-Line Testing Symposium, Jul 2014, Platja d'Aro, Girona, Spain. pp.49-54, ⟨10.1109/IOLTS.2014.6873671⟩ Communication dans un congrès lirmm-01025275v1
	Identification of Hardware Trojans triggering signals Sophie Dupuis , Giorgio Di Natale , Marie-Lise Flottes , Bruno Rouzeyre First Workshop on Trustworthy Manufacturing and Utilization of Secure Devices, May 2013, Avignon, France Communication dans un congrès lirmm-00991360v1

	SECCS: SECure Context Saving for IoT Devices Emanuele Valea , Mathieu da Silva , Giorgio Di Natale , Marie-Lise Flottes , Sophie Dupuis 12e Colloque National du GDR SoC/SiP, Jun 2018, Paris, France. 2018 Poster de conférence hal-02042659v1
	Detection and Prevention of Hardware Trojan through Logic Testing Papa-Sidy Ba , Sophie Dupuis , Marie-Lise Flottes , Giorgio Di Natale , Bruno Rouzeyre TRUDEVICE, Nov 2016, Barcelona, Spain. , 4th Workshop on Trustworthy Manufacturing and Utilization of Secure Devices, Manufacturing test of secure devices / Reverse engineering countermeasures / Other topics, pp.#33, 2016, Posters IV Poster de conférence lirmm-01430007v1

Marie-Lise Flottes

Présentation

Publications

Hybrid Protection of Digital FIR Filters

SKG-Lock+: A Provably Secure Logic Locking SchemeCreating Significant Output Corruption

Logic Locking: A Survey of Proposed Methods and Evaluation Metrics

Protection against Hardware Trojans with Logic Testing: Proposed Solutions and Challenges Ahead

On the Effectiveness of Hardware Trojan Horse Detection via Side-Channel Analysis

Secure JTAG Implementation Using Schnorr Protocol

Logic-Locking schemes and side channel attacks resilience

Resynthesis-based Attacks Against Logic Locking

A new key-gate insertion strategy for logic locking with high output corruption

On Preventing SAT Attack with Decoy Key-Inputs

High-level Intellectual Property Obfuscation via Decoy Constants

A Secure Scan Controller for Protecting Logic Locking

Development and Application of Embedded Test Instruments to Digital, Analog/RFs and Secure ICs

A Comprehensive Approach to a Trusted Test Infrastructure

Providing Confidentiality and Integrity in Ultra Low Power IoT Devices

A new secure stream cipher for scan chain encryption

Encryption of test data: which cipher is better?

SI ECCS: SECure context saving for IoT devices

Hacking the Control Flow error detection mechanism

Duplication-based Concurrent Detection of Hardware Trojans in Integrated Circuits

Using Outliers to Detect Stealthy Hardware Trojan Triggering?

Hardware Trust through Layout Filling: a Hardware Trojan Prevention Technique

Hardware Trojan Prevention using Layout-Level Design Approach

On the limitations of logic testing for detecting Hardware Trojans Horses

New Testing Procedure for Finding Insertion Sites of Stealthy Hardware Trojans

A Novel Hardware Logic Encryption Technique for thwarting Illegal Overproduction and Hardware Trojans

Identification of Hardware Trojans triggering signals

SECCS: SECure Context Saving for IoT Devices

Detection and Prevention of Hardware Trojan through Logic Testing