Yann Kieffer

51
Documents

Publications

Publications

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-04836317 v1

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-04836576 v1

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-04836466 v1

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

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-04454958 v1

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-03866504 v1

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

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

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-03006116 v1

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-01756876 v1

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-01445017 v1

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-01445006 v1

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-01445004 v1

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-01445013 v1

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-01445010 v1

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

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

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-00855154 v1

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-00789857 v1

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

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-01284901 v1

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-00629851 v1

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-01286071 v1

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-00716980 v1

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-00469171 v1

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-00497479 v1

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-00468156 v1

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-00460396 v1

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-00629843 v1

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-00497495 v1

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-00497484 v1

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-00629858 v1

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-00413057 v1

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-00440315 v1

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-00413080 v1

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-00412974 v1

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-00412958 v1

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-00412493 v1

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-00413050 v1

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-00413046 v1

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-00414078 v1

Génération par ordinateur de couples de matrices partitionables

Yann Kieffer
ROADEF, Feb 2003, France
Communication dans un congrès hal-00414466 v1
Image document

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

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-03006106 v1

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-01596331 v1

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-01469204 v1

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-01532043 v1

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-01081196 v1