Mots-clés

Nombre de documents

28


Maître de Conférences

LIRMM/Université de Montpellier/CNRS, Département Microélectronique

IUT de Montpellier, Département GEII


Article dans une revue5 documents

Communication dans un congrès18 documents

  • Emanuele Valea, Mathieu Da Silva, Giorgio Di Natale, Marie-Lise Flottes, Sophie Dupuis, et al.. SECCS: SECure Context Saving for IoT Devices. DTIS: Design and Technology of Integrated Systems in Nanoscale Era, Apr 2018, Taormina, Italy. 13th IEEE International Conference on Design & Technology of Integrated Systems in Nanoscale Era, 2018, 〈www.lirmm.fr/DTIS18/〉. 〈hal-01740173〉
  • Giorgio Di Natale, Marie-Lise Flottes, Sophie Dupuis, Bruno Rouzeyre. Hacking the Control Flow error detection mechanism. IVSW: International Verification and Security Workshop, Jul 2017, Thessaloniki, Greece. IEEE, 2nd IEEE International Verification and Security Workshop, 2017, 〈http://tima.univ-grenoble-alpes.fr/conferences/ivsw/ivsw17/〉. 〈10.1109/IVSW.2017.8031544〉. 〈lirmm-01700739〉
  • Manikandan Palanichamy, Papa-Sidy Ba, Sophie Dupuis, Marie-Lise Flottes, Giorgio Di Natale, et al.. Duplication-based Concurrent Detection of Hardware Trojans in Integrated Circuits. TRUDEVICE, Nov 2016, Barcelona, Spain. 5th Workshop on Trustworthy Manufacturing and Utilization of Secure Devices, 2016, 〈https://trudevice2016.eel.upc.edu/〉. 〈lirmm-01385551〉
  • Papa-Sidy Ba, Sophie Dupuis, Manikandan Palanichamy, Marie-Lise Flottes, Giorgio Di Natale, et al.. Hardware Trust through Layout Filling: a Hardware Trojan Prevention Technique. ISVLSI: IEEE Computer Society Annual Symposium on VLSI, Jul 2016, Pittsburgh, United States. 2016, 〈http://www.isvlsi.org〉. 〈10.1109/ISVLSI.2016.22〉. 〈lirmm-01346529〉
  • Papa-Sidy Ba, Sophie Dupuis, Marie-Lise Flottes, Giorgio Di Natale, Bruno Rouzeyre. Using Outliers to Detect Stealthy Hardware Trojan Triggering?. IVSW: International Verification and Security Workshop, Jul 2016, Sant Feliu de Guixols, France. IEEE International Verification and Security Workshop, 2016. 〈lirmm-01347119〉
  • Papa-Sidy Ba, Palanichamy Manikandan, Sophie Dupuis, Marie-Lise Flottes, Giorgio Di Natale, et al.. Hardware Trojan Prevention using Layout-Level Design Approach. IEEE. ECCTD: European Conference on Circuit Theory and Design, Aug 2015, Trondheim, Norway. Proceedings of the 2015 European Conference on Circuit Theory and Design (ECCTD), 〈10.1109/ECCTD.2015.7300093〉. 〈lirmm-01234072〉
  • Marie-Lise Flottes, Sophie Dupuis, Papa-Sidy Ba, Bruno Rouzeyre. On the limitations of logic testing for detecting Hardware Trojans Horses. DTIS: Design and Technology of Integrated Systems in Nanoscale Era, Apr 2015, Naples, Italy. IEEE, Design & Technology of Integrated Systems in Nanoscale Era (DTIS), 2015 10th International Conference on, 2015, 〈10.1109/DTIS.2015.7127362〉. 〈lirmm-01257837〉
  • Sophie Dupuis, Bruno Rouzeyre, Marie-Lise Flottes, Giorgio Di Natale, Papa-Sidy Ba. New Testing Procedure for Finding Insertion Sites of Stealthy Hardware Trojans. DATE: Design, Automation and Test in Europe, Mar 2015, Grenoble, France. IEEE, 2015. 〈lirmm-01141619〉
  • Sophie Dupuis, Papa-Sidy Ba, Giorgio Di Natale, Marie-Lise Flottes, Bruno Rouzeyre. A Novel Hardware Logic Encryption Technique for thwarting Illegal Overproduction and Hardware Trojans. IOLTS: International On-Line Testing Symposium, Jul 2014, Platja d'Aro, Girona, Spain. IEEE, 20th International On-Line Testing Symposium, pp.49-54, 2014, 〈http://tima.imag.fr/conferences/IOLTS/iolts14/〉. 〈10.1109/IOLTS.2014.6873671〉. 〈lirmm-01025275〉
  • Sophie Dupuis, Giorgio Di Natale, Marie-Lise Flottes, Bruno Rouzeyre. Identification of Hardware Trojans triggering signals. First Workshop on Trustworthy Manufacturing and Utilization of Secure Devices, May 2013, Avignon, France. 2013, 〈http://trudevice.com/Workshop/〉. 〈lirmm-00991360〉
  • Giorgio Di Natale, Sophie Dupuis, Bruno Rouzeyre. Is Side-Channel Analysis really reliable for detecting Hardware Trojans?. DCIS: Design of Circuits and Integrated Systems, Nov 2012, Avignon, France. 27th Conference on Design of Circuits and Integrated Systems, pp.238-242, 2012. 〈lirmm-00823477〉
  • Sophie Belloeil, Roselyne Chotin-Avot, Habib Mehrez. Stratus: Free design of highly parametrized VLSI modules interoperable with commercial tools. ISQED 2011 - 12th International Symposium on Quality Electronic Design, Mar 2011, Santa Clara, CA, United States. IEEE, pp.502-507, 2011, 〈10.1109/ISQED.2011.5770774〉. 〈hal-01265627〉
  • Sophie Belloeil, Roselyne Chotin-Avot, Habib Mehrez. Arithmetic Data path Optimization using Borrow-Save Representation. ISVLSI IEEE Computer Society Annual Symposium on Emerging VLSI, Apr 2008, Montpellier, France. IEEE, pp.4-9, 2008, 〈10.1109/ISVLSI.2008.29〉. 〈hal-01265632〉
  • Sophie Belloeil, Roselyne Chotin-Avot, Habib Mehrez, Alix Munier-Kordon. Automatic Allocation of Redundant Operators in Arithmetic Data path Optimization. DASIP IEEE International Conference on Design and Architectures for Signal and Image Processing, Nov 2008, Bruxelles, Belgium. pp.176-183, 2008. 〈hal-01265631〉
  • Sophie Belloeil, Damien Dupuis, Christian Masson, Jean-Paul Chaput, Habib Mehrez. Stratus: A procedural circuit description language based upon Python. ICM International Conference on Microelectronics, Dec 2007, Cairo, Egypt. IEEE, ICM International Conference on Microelectronics, pp.275-278, 〈10.1109/ICM.2007.4497707〉. 〈hal-01305970〉
  • Sophie Belloeil, Roselyne Chotin-Avot, Habib Mehrez. Data Path Optimization using Redundant Arithmetic and Pattern Matching. Workshop on Design and Architectures for Signal and Image Processing (DASIP'2007), Nov 2007, Grenoble, France. pp.281-288, 2007. 〈hal-01265633〉
  • Sophie Belloeil, Jean-Paul Chaput, Roselyne Chotin-Avot, Christian Masson, Habib Mehrez. Stratus : Un environnement de développement de circuits. JP CNFM Journées pédagogiques du CNFM, 2006, Saint-Malo, France. pp.57-61, 2006. 〈hal-01265634〉
  • Sophie Belloeil, Habib Mehrez. Optimisation de chemins de données par l'utilisation de l'arithmétique redondante. JNRDM 2005 - 8èmes Journées Nationales du Réseau Doctoral en Microélectronique, May 2005, Paris, France. JNRDM 2005 - 8èmes Journées Nationales du Réseau Doctoral en Microélectronique, pp.268-270. 〈hal-01418345〉

Poster4 documents

  • Sophie Dupuis, Didier Crestani, Vincent Creuze, Bertrand Gelis, Eric Pommier, et al.. Des jeux vidéo pour l'enseignement du langage C. CETSIS: Colloque sur l'Enseignement des Technologies et des Sciences de l'Information et des Systèmes, May 2017, Le Mans, France. 2017. 〈lirmm-01522447〉
  • Papa-Sidy Ba, Sophie Dupuis, Marie-Lise Flottes, Giorgio Di Natale, Bruno Rouzeyre. Detection and Prevention of Hardware Trojan through Logic Testing. 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. 〈https://trudevice2016.eel.upc.edu/〉. 〈lirmm-01430007〉
  • Sophie Dupuis, Vincent Creuze, Vincent Thomas, Didier Crestani, Bertrand Gelis, et al.. « Pong » en VHDL. Journées pédagogiques du CNFM, Nov 2016, Montpellier, France. 2016. 〈lirmm-01430000〉
  • Eric Pommier, Vincent Creuze, Didier Crestani, Sophie Dupuis, Bertrand Gelis, et al.. Mise en œuvre d'un capteur de température par bus I2C. 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, 〈http://cetsis2014.sciencesconf.org/〉. 〈lirmm-01056402〉

Thèse1 document

  • Sophie Belloeil. Optimisation des chemins de données arithmétiques par l'utilisation des systèmes de numération redondants. Arithmétique des ordinateurs. Université Pierre et Marie Curie Paris VI, 2009. Français. 〈tel-01348675〉