Accéder directement au contenu

Sophie Dupuis

Maîtresse de Conférences, LIRMM (Université de Montpellier/CNRS) Département Microélectronique, IUT de Montpellier Département GEII
44
Documents
Affiliations actuelles
  • 1100642
Identifiants chercheurs
  • IdHAL sophie-dupuis
  • ORCID 0000-0002-4876-2982
  • Google Scholar : https://scholar.google.fr/citations?user=BIC4uX8AAAAJ
Contact

Présentation

Je suis maîtresse de Conférences au LIRMM (Montpellier, France) depuis 2011. J'ai obtenu un DEA en Architecture des Systèmes Intégrés et Microélectronique puis une thèse de doctorat en microélectronique (intitulée Optimisation automatique des chemins de données arithmétiques par l’utilisation des systèmes de numérations redondants) à l'Université Pierre et Marie Curie (Paris, France) en 2004 et 2009 respectivement. Mes intérêts de recherche actuels incluent plusieurs facettes de la conception de circuits numériques, en mettant l'accent sur la confiance matérielle. Je suis responsable des études 2ème et 3ème année du BUT GEII, en formation initiale et enseigne principalement l'électronique numérique et la programmation/algorithmique.
I have been aa associate professor at LIRMM (Montpellier, France) since 2011. I obtained a Master in Integrated Systems Architecture and Microelectronics, and then a PhD in microelectronics (entitled: Automatic optimization of arithmetic data paths through the use of redundant arithmetic) at Pierre and Marie Curie University (Paris, France) in 2004 and 2009 respectively. My current research interests include several facets of digital circuit design, with an emphasis on hardware trust. I am responsible for 2nd and 3rd year studies at BUT GEII, in initial training and mainly teach digital electronics and programming/algorithmic.

Publications

Image document

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
Image document

Using Approximate Circuits Against Hardware Trojans

Honorio Martin , Sophie Dupuis , Giorgio Di Natale , Luis Entrena
IEEE Design & Test, 2023, 40 (3), pp.8-16. ⟨10.1109/MDAT.2021.3117741⟩
Article dans une revue hal-03370908v1
Image document

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
Image document

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
Image document

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

Exploring redundant arithmetics in computer-aided design of arithmetic datapaths

Sophie Belloeil , Roselyne Chotin-Avot , Habib Mehrez
Integration, the VLSI Journal, 2013, 46 (2), pp.104-118. ⟨10.1016/j.vlsi.2012.02.002⟩
Article dans une revue hal-01197289v1
Image document

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

A regular fabric design methodology for applications requiring specific layout-level design rules

Sophie Dupuis , Noury Ludovic , Fel Nicolas
Microelectronics Journal, 2013, 45 (2), pp.217-225. ⟨10.1016/j.mejo.2013.11.002⟩
Article dans une revue lirmm-00978481v1
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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

A Novel Use of Approximate Circuits to Thwart Hardware Trojan Insertion and Provide Obfuscation

Honorio Martin , Luis Entrena , Sophie Dupuis , Giorgio Di Natale
IOLTS: International Symposium on On-Line Testing And Robust System Design, Jul 2018, Platja d'Aro, Spain. pp.41-42, ⟨10.1109/IOLTS.2018.8474077⟩
Communication dans un congrès lirmm-02095736v1
Image document

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
Image document

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

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

Is Side-Channel Analysis really reliable for detecting Hardware Trojans?

Giorgio Di Natale , Sophie Dupuis , Bruno Rouzeyre
DCIS 2012 - 27th Conference on Design of Circuits and Integrated Systems, Nov 2012, Avignon, France. pp.238-242
Communication dans un congrès lirmm-00823477v1

Stratus: Free design of highly parametrized VLSI modules interoperable with commercial tools

Sophie Belloeil , Roselyne Chotin-Avot , Habib Mehrez
ISQED 2011 - 12th International Symposium on Quality Electronic Design, Mar 2011, Santa Clara, CA, United States. pp.502-507, ⟨10.1109/ISQED.2011.5770774⟩
Communication dans un congrès hal-01265627v1

Arithmetic Data path Optimization using Borrow-Save Representation

Sophie Belloeil , Roselyne Chotin-Avot , Habib Mehrez
ISVLSI IEEE Computer Society Annual Symposium on Emerging VLSI, Apr 2008, Montpellier, France. pp.4-9, ⟨10.1109/ISVLSI.2008.29⟩
Communication dans un congrès hal-01265632v1

Automatic Allocation of Redundant Operators in Arithmetic Data path Optimization

Sophie Belloeil , Roselyne Chotin-Avot , Habib Mehrez , Alix Munier-Kordon
DASIP IEEE International Conference on Design and Architectures for Signal and Image Processing, Nov 2008, Bruxelles, Belgium. pp.176-183
Communication dans un congrès hal-01265631v1

Stratus: A procedural circuit description language based upon Python

Sophie Belloeil , Damien Dupuis , Christian Masson , Jean-Paul Chaput , Habib Mehrez
ICM International Conference on Microelectronics, Dec 2007, Cairo, Egypt. pp.275-278, ⟨10.1109/ICM.2007.4497707⟩
Communication dans un congrès hal-01305970v1

Data Path Optimization using Redundant Arithmetic and Pattern Matching

Sophie Belloeil , Roselyne Chotin-Avot , Habib Mehrez
Workshop on Design and Architectures for Signal and Image Processing (DASIP'2007), Nov 2007, Grenoble, France. pp.281-288
Communication dans un congrès hal-01265633v1

Stratus : Un environnement de développement de circuits

Sophie Belloeil , Jean-Paul Chaput , Roselyne Chotin-Avot , Christian Masson , Habib Mehrez
JP CNFM Journées pédagogiques du CNFM, 2006, Saint-Malo, France. pp.57-61
Communication dans un congrès hal-01265634v1

Optimisation de chemins de données par l'utilisation de l'arithmétique redondante

Sophie Belloeil , Habib Mehrez
JNRDM 2005 - 8èmes Journées Nationales du Réseau Doctoral en Microélectronique, May 2005, Paris, France. pp.268-270
Communication dans un congrès hal-01418345v1
Image document

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
Image document

Des jeux vidéo pour l'enseignement du langage C

Sophie Dupuis , Didier Crestani , Vincent Creuze , Bertrand Gelis , Eric Pommier
CETSIS: Colloque sur l'Enseignement des Technologies et des Sciences de l'Information et des Systèmes, May 2017, Le Mans, France. 2017
Poster de conférence lirmm-01522447v1

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
Image document

« Pong » en VHDL

Sophie Dupuis , Vincent Creuze , Vincent Thomas , Didier Crestani , Bertrand Gelis
Journées pédagogiques du CNFM, Nov 2016, Montpellier, France. 2016
Poster de conférence lirmm-01430000v1
Image document

Mise en œuvre d'un capteur de température par bus I2C

Eric Pommier , Vincent Creuze , Didier Crestani , Sophie Dupuis , Bertrand Gelis
CETSIS: Colloque sur l'Enseignement des Technologies et des Sciences de l'Information et des Systèmes, Oct 2014, Besançon, France. , 11ème Colloque sur l'Enseignement des Technologies et des Sciences de l'Information et des Systèmes, pp.001-007, 2014
Poster de conférence lirmm-01056402v1