Yann Kieffer

Publications

Article dans une revue (3)

Beyond FAP: ANTXR1 as a novel target for PET imaging and radio-ligand therapy in immuno-oncology? Romain-David Seban,Irene Buvat,Laurence Champion,Francois-Clement Bidard,Yann Kiefferet al. European Journal of Nuclear Medicine and Molecular Imaging, 2025, 52 (6), pp.1948-1950. ⟨10.1007/s00259-025-07126-0⟩ Article dans une revue hal-05405466v1
Proposal of a lightweight differential power analysis countermeasure method on elliptic curves for low-cost devices Souhir Gabsi,Yassin Kortli,Vincent Beroulle,Yann Kieffer,Belgacem Hamdi Multimedia Tools and Applications, 2024, 83 (30), pp.74657-74683. ⟨10.1007/s11042-024-18368-9⟩ Article dans une revue hal-04836604v1
Minimizing makespan under data prefetching constraints for embedded vision systems: a study of optimization methods and their performance Khadija Hadj Salem,Vincent Jost,Yann Kieffer,Luc Libralesso,Stéphane Mancini Operational Research, 2021, ⟨10.1007/s12351-021-00647-0⟩ Article dans une revue hal-03010229v2

Communication dans un congrès (42)

Embedded Elapsed Time Techniques in Trusted Execution Environment for Lightweight Blockchain Quentin Jayet,Christine Hennebert,Yann Kieffer,Vincent Beroulle 2024 IEEE International Conference on Blockchain (Blockchain), Aug 2024, Copenhagen, Denmark. pp.81-88, ⟨10.1109/Blockchain62396.2024.00020⟩ Communication dans un congrès hal-04836317v1
Securing Elapsed Time for Blockchain: Proof of Hardware Time and Some of its Physical Threats Quentin Jayet,Christine Hennebert,Yann Kieffer,Vincent Beroulle 2024 27th Euromicro Conference on Digital System Design (DSD), Aug 2024, Paris, France. pp.137-144, ⟨10.1109/DSD64264.2024.00027⟩ Communication dans un congrès hal-04836576v1
Secure-by-Design Methodology using Meet-in-the-Middle Design Flow for Hardware Implementations of ECC-based Passive RFID Tags Vincent Beroulle,Manh-Hiep Dao,Yann Kieffer,Xuan Tu Tran Conference: International Conference on Wireless and Mobile Communications, Mar 2023, Barcelona, Spain Communication dans un congrès hal-04836502v1
Low-cost Low-Power Implementation of Binary Edwards Curve for Secure Passive RFID Tags Manh-Hiep Dao,Vincent Beroulle,Yann Kieffer,Xuan-Tu Tran,Duy-Hieu Bui 2023 IEEE 16th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC), Dec 2023, Singapore, Singapore. pp.494-500, ⟨10.1109/MCSoC60832.2023.00079⟩ Communication dans un congrès hal-04836466v1
Preuve vérifiable pour une blockchain embarquée basse consommation Quentin Jayet,Christine Hennebert,Yann Kieffer,Vincent Beroulle Colloque du GDR SoC², Jun 2023, Lyon, France Communication dans un congrès cea-04454958v1
Adoption of a Secure ECC-based RFID Authentication Protocol Souhir Gabsi,Yassin Kortli,Vincent Beroulle,Yann Kieffer,Hamdi Belgacem 2022 IEEE 9th International Conference on Sciences of Electronics, Technologies of Information and Telecommunications (SETIT), May 2022, Hammamet, Tunisia. pp.69-74, ⟨10.1109/SETIT54465.2022.9875855⟩ Communication dans un congrès hal-03866504v1
Hardware Implementation of Secure scalar multiplication Algorithm Souhir Gabsi,Yassin Kortli,Vincent Beroulle,Yann Kieffer,Hamdi Bilgacem 2022 IEEE 9th International Conference on Sciences of Electronics, Technologies of Information and Telecommunications (SETIT), May 2022, Hammamet, Tunisia. pp.81-86, ⟨10.1109/SETIT54465.2022.9875647⟩ Communication dans un congrès hal-03866508v1
An Experimental Study on Symmetry Breaking Constraints Impact for the One Dimensional Bin-Packing Problem Khadija Hadj Salem,Yann Kieffer 13th International Workshop on Computational Optimization (Fedcsis-WCO 2020), Sep 2020, Sofia, Bulgaria. pp.317-326, ⟨10.15439/2020f19⟩ Communication dans un congrès hal-03006103v1
Nouvelle formulation en PLNE pour le problème classique du Bin Packing Khadija Hadj Salem,Yann Kieffer Congrès Annuel de la Société Française de Recherche Opérationnelle et Aide à la Décision (ROADEF 2019), Feb 2019, Le Havre, France Communication dans un congrès hal-03006116v1
Minimisation du temps total de traitement pour optimiser le fonctionnement d’un contrôleur de buffers pour les systèmes de vision embarquée Khadija Hadj Salem,Yann Kieffer,Stéphane Mancini 18ème édition du congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2017), Feb 2017, Metz, France Communication dans un congrès hal-01756876v1
Multi-objective optimization for the scheduling of embedded vision accelerators Y. Kieffer,K. Hadj Salem,Stéphane Mancini The 29th Conference of the European Chapter on Combinatorial Optimization (ECCO'16), May 2016, Budapest, Hungary Communication dans un congrès hal-01445006v1
Memory Management in Embedded Vision Systems: Optimization Problems and Solution Methods K. Hadj Salem,Y. Kieffer,Stéphane Mancini The Conference on Design, Architectures for Signal and Image Processing (DASIP'16), Oct 2016, Rennes, France Communication dans un congrès hal-01445017v1
Minimisation des accès mémoires dans un cache intelligent pour les systèmes de vision embarquée K. Hadj Salem,Y. Kieffer,Stéphane Mancini 17ème Congrès Annuel de la Société Française de Recherche Opérationnelle et Aide à la Décision, Feb 2016, Compiègne, France. pp.1-2 Communication dans un congrès hal-01445004v1
Optimisation du Fonctionnement d’un Contrôleur de Buffers pour les Systèmes de Vision Embarquée K. Hadj Salem,Y. Kieffer,Stéphane Mancini Conférence d’informatique en Parallélisme, Architecture et Système (ComPAS'16), Jul 2016, Lorient, France Communication dans un congrès hal-01445013v1
Efficient Algorithms for Memory Management in Embedded Vision Systems K. Hadj Salem,Y. Kieffer,Stéphane Mancini The 11th IEEE International Symposium on Industrial Embedded Systems (SIES-WIP'16), May 2016, Krakow, Poland Communication dans un congrès hal-01445010v1
Formulation and Practical Solution for the Optimization of Memory Accesses in Embedded Vision Systems K. Hadj Salem,Y. Kieffer,Stéphane Mancini The 9th International Workshop on Computational Optimization (WCO'16), Sep 2016, Gdansk, Poland Communication dans un congrès hal-01445015v1
Minimizing Test Frequencies for Linear Analog Circuits: New Models and Efficient Solution Methods Mohand Bentobache,Ahcène Bounceur,Reinhardt Euler,Salvador Mir,Yann Kieffer 21th IFIP/IEEE International Conference on Very Large Scale Integration - System on a Chip (VLSI-SoC), Oct 2013, Istanbul, Turkey. pp.188-207, ⟨10.1007/978-3-319-23799-2_9⟩ Communication dans un congrès hal-01380305v1
New techniques for selecting test frequencies for linear analog circuits Mohand Bentobache,Ahcène Bounceur,Reinhardt Euler,Yann Kieffer,Salvador Mir International Conference on Very Large Scale Integration (VLSI-SoC), Oct 2013, Istamboul, Turkey Communication dans un congrès hal-00855154v1
Efficient minimization of test frequencies for linear analog circuits Mohand Bentobache,Ahcène Bounceur,Reinhardt Euler,Yann Kieffer,Salvador Mir 18th IEEE European Test Symposium (ETS), May 2013, Avignon, France Communication dans un congrès hal-00789857v1
A multi-objective optimization for memory BIST sharing using a genetic algorithm Lilia Zaourar,Arnaud Wenzel,Yann Kieffer IEEE International On-Line Testing Symposium, Jul 2011, Athens, Greece. pp.73-78, ⟨10.1109/IOLTS.2011.5993814⟩ Communication dans un congrès hal-01284898v1
A global optimization for scan chain insertion at the RT-level Lilia Zaourar,Yann Kieffer,Chouki Aktouf IEEE Annual Symposium on VLSI 2011, Jul 2011, Chennai, India. pp.321-322, ⟨10.1109/ISVLSI.2011.46⟩ Communication dans un congrès hal-01284901v1
Modification d'instances : Pourquoi et comment ? Valentin Weber,Nadia Brauner,Yann Kieffer ROADEF 2011, 12e congrès annuel de la Société française de Recherche Opérationnelle et d'Aide à la Décision, Mar 2011, Saint-Etienne, France. A paraître Communication dans un congrès hal-00629851v1
A Complete methodology for determining memory BIST optimization under wrappers sharing constraints. Lilia Zaourar,Yann Kieffer,Arnaud Wenzel Asia Symposium on Quality Electronic Design, Jul 2011, Kuala Lumpur, Malaysia. pp.46-53, ⟨10.1109/ASQED.2011.6111701⟩ Communication dans un congrès hal-01286071v1
Etude d'instances pour les problèmes NP-difficiles Valentin Weber,Yann Kieffer JGA - 13èmes Journées Graphes et Algorithmes 2011, Nov 2011, Lyon, France Communication dans un congrès hal-00716980v1
Multi-objective optimization of Memory Built-In-Self-Test sharing Lilia Zaourar,Yann Kieffer,Nadia Brauner 24rd EURO European Conference On Operational Resarch, Jul 2010, Lisbon, Portugal Communication dans un congrès hal-00469171v1
A Shared BIST Optimization Methodology for Memory Test Lilia Zaourar,Jihane Alami Chentoufi,Yann Kieffer,Arnaud Arnaud. Wenzel@st.Com Wenzel,Frederic Grandvaux 15th IEEE European Test Symposium, May 2010, Prague, Czech Republic. p255 Communication dans un congrès hal-00497479v1
Nouvelles classes d'instances non-métriques pour le TSP Valentin Weber,Nadia Brauner,Yann Kieffer 11ème Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, Feb 2010, Toulouse, France Communication dans un congrès hal-00629843v1
Optimisation du partage de blocs BIST pour le test des mémoires d'un circuit intégré Lilia Zaourar,Jihane Alami Chentoufi,Yann Kieffer,Ariel Waserhole 11e Congrès annuel de la société française de Recherche Opérationnelle et d'Aide à la Décision ROADEF 2010, Feb 2010, Toulouse, France Communication dans un congrès hal-00460396v1
A solution to optimize shared Memory Bist system Lilia Zaourar,Yann Kieffer,Nadia Brauner,Arnaud Arnaud. Wenzel@st.Com Wenzel,Frederic Grandvaux Design Automation and Test in Europe Conference, Mar 2010, Dresden, Germany. pp.130 Communication dans un congrès hal-00468156v1
Optimization for the test of on-chip memories Lilia Zaourar,Yann Kieffer International Symposium on Combinatorial Optimization, Mar 2010, Hammamet, Tunisia Communication dans un congrès hal-00497495v1
Optimizing memory BIST systems under sharing constraints Lilia Zaourar,Yann Kieffer,Arnaud Wenzel,Frederic Grandvaux COLLOQUE NATIONAL DU GDR SOC-SIP, Jun 2010, Paris, France Communication dans un congrès hal-00497484v1
Challenging instances for discrete optimization problems Valentin Weber,Nadia Brauner,Yann Kieffer 24th European Conference on Operational Resarch, Jul 2010, Lisbon, Portugal Communication dans un congrès hal-00629858v1
Chaînage des sommets d'un graphes pour le test des circuits intégrés Lilia Zaourar,Yann Kieffer Roadef 2009, 10éme congrès de la société Française de Recherche Opérationnelle et d'Aide à la Désicion., 2009, Nancy, France Communication dans un congrès hal-00413057v1
A model for Scan Insertion at The Register Transfert Level Lilia Zaourar,Yann Kieffer,Chouki Aktouf,Vincent Julliard The Tenth IEEE Workshop on RTL and High Level Testing, Nov 2009, Hong Kong, Hong Kong SAR China. pp.185 Communication dans un congrès hal-00440315v1
A Practical Scan OptimizationAlgorithm at the Register Transfer Level Lilia Zaourar,Yann Kieffer,Chouki Aktouf Design Automation and Test in Europe., 2009, Nice, France. pp.22 Communication dans un congrès hal-00413080v1
Une méthode pour insérer le scan au niveau RTL en une seule passe Lilia Zaourar,Yann Kieffer,Nadia Brauner,Chouki Aktouf Colloque national du Groupe de recherche System on Chip, System on Package, Jun 2009, Paris, France Communication dans un congrès hal-00412974v1
Automatizing the sharing of Bist blocks for low power testing of embedded-memories Yann Kieffer,Jihane Alami Chentoufi,Lilia Zaourar 23rd EURO European Conference On Operational Resarch, 2009, Bonn, Germany Communication dans un congrès hal-00412958v1
Scan chain optimization for integrated circuits testing: an operations research perspective Lilia Zaourar,Yann Kieffer 23rd European conference on operational Research, 2009, Bonn, Germany Communication dans un congrès hal-00412493v1
Algorithmes des chaînage des éléments mémoires d'un circuit intégré Lilia Zaourar,Yann Kieffer Journées Graphes et Algorithmes, 2008, --, France Communication dans un congrès hal-00413050v1
Modélisation et optimisation d'une méthode de test d'un circuit intégré Lilia Zaourar,Yann Kieffer Roadef 2008, 9éme congrès de la société Française de Recherche Opérationnelle et d'Aide à la Désicion., 2008, --, France Communication dans un congrès hal-00413046v1
Introducing the COMP project Yann Kieffer Small TYPES workshop: Constructive analysis, types and exact real numbers., Oct 2005, Nijmegen, Netherlands Communication dans un congrès hal-00414078v1
Génération par ordinateur de couples de matrices partitionables Yann Kieffer ROADEF, Feb 2003, France Communication dans un congrès hal-00414466v1

Chapitre d'ouvrage (6)

How to Develop ECC-Based Low Cost RFID Tags Robust Against Side-Channel Attacks Manh-Hiep Dao,Vincent Beroulle,Yann Kieffer,Xuan-Tu Tran Industrial Networks and Intelligent Systems, 379, Springer International Publishing, pp.433-447, 2021, Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, ⟨10.1007/978-3-030-77424-0_35⟩ Chapitre d'ouvrage hal-03620311v1
New Symmetry-less ILP Formulation for the Classical One Dimensional Bin-Packing Problem Khadija Hadj Salem,Yann Kieffer Donghyun Kim; R. N. Uma; Zhipeng Cai; Dong Hoon Lee. Computing and Combinatorics. 26th International Conference, COCOON 2020, Atlanta, GA, USA, August 29–31, 2020, Proceedings, 12273, Springer, pp.423-434, 2020, Lecture Notes in Computer Science, 978-3-030-58149-7. ⟨10.1007/978-3-030-58150-3_34⟩ Chapitre d'ouvrage hal-03006106v1
Meeting the Challenges of Optimized Memory Management in Embedded Vision Systems Using Operations Research K. Hadj Salem,Y. Kieffer,Stéphane Mancini Recent Advances in Computational Optimization, springer pp.177-205, 2018 Chapitre d'ouvrage hal-01596331v1
Minimizing test frequencies for linear analog circuits: new models and efficient solution methods M. Bentobache,Ahcène Bounceur,R. Euler,Salvador Mir,Y. Kieffer in VLSI-SoC: At the Crossroads of Emerging Trends, springer pp.188-207, 2015, 978-3-319-23799-2. ⟨10.1007/978-3-319-23799-29⟩ Chapitre d'ouvrage hal-01469204v1
Applying Operations Research to Design for Test Insertion Problems Yann Kieffer,Lilia Zaourar Computational Intelligence in Digital and Network Designs and Applications, 2015, ⟨10.1007/978-3-319-20071-2_6⟩ Chapitre d'ouvrage hal-01532043v1
New optimization techniques for selecting test frequencies for linear analog circuits Ahcène Bounceur,Mohand Bentobache,Reinhardt Euler,Salvador Mir,Yann Kieffer IFIP VLSI SoC SIP, 2015 Chapitre d'ouvrage hal-01081196v1

Autre publication scientifique (1)

Toward an Optimal Scan Insertion at the Register Transfer Level Lilia Zaourar,Yann Kieffer,Nadia Brauner,Chouki Aktouf,Vincent Vincent.Juliard@defactotech.Com Juliard 2010 Autre publication scientifique hal-00516590v1