Quentin Meunier

41
Documents

Publications

Publications

Blind-Folded: Simple Power Analysis Attacks using Data with a Single Trace and no Training

Xunyue Hu , Quentin L. Meunier , Emmanuelle Encrenaz

IACR Transactions on Cryptographic Hardware and Embedded Systems, 2024, 2025 (1), pp.475-496. ⟨10.46586/tches.v2025.i1.475-496⟩

Article dans une revue hal-05449329v1
Deposit thumbnail

Optical flow algorithms optimized for speed, energy and accuracy on embedded GPUs

Thomas Romera , Andrea Petreto , Florian Lemaitre , Manuel Bouyer , Quentin L. Meunier et al.

Journal of Real-Time Image Processing, 2023, 20 (2), pp.32. ⟨10.1007/s11554-023-01288-6⟩

Article dans une revue hal-04199828v2
Deposit thumbnail

LeakageVerif: Efficient and Scalable Formal Verification of Leakage in Symbolic Expressions

Quentin L. Meunier , Etienne Pons , Karine Heydemann

IEEE Transactions on Software Engineering, 2023, 49 (6), pp.3359 - 3375. ⟨10.1109/TSE.2023.3252671⟩

Article dans une revue hal-04192501v1
Deposit thumbnail

ARMISTICE: Microarchitectural Leakage Modeling for Masked Software Formal Verification

Arnaud De Grandmaison , Karine Heydemann , Quentin L. Meunier

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2022, 41 (11), pp.3733-3744. ⟨10.1109/TCAD.2022.3197507⟩

Article dans une revue hal-03954892v1
Deposit thumbnail

IntAct: A 96-Core Processor With Six Chiplets 3D-Stacked on an Active Interposer With Distributed Interconnects and Integrated Power Management

Pascal Vivet , Eric Guthmuller , Yvain Thonnart , Gaël Pillonnet , Cesar Fuguet et al.

IEEE Journal of Solid-State Circuits, 2021, 56 (1), pp.79-97. ⟨10.1109/JSSC.2020.3036341⟩

Article dans une revue hal-03072959v1
Deposit thumbnail

Maskara: Compilation of a Masking Countermeasure with Optimised Polynomial Interpolation

Nicolas Belleville , Damien Couroussé , Karine Heydemann , Quentin Meunier , Inès Ben El Ouahma

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2020, 39 (11), pp.1-1. ⟨10.1109/TCAD.2020.3012237⟩

Article dans une revue hal-02931632v1

Side-channel robustness analysis of masked assembly codes using a symbolic approach

Inès Ben El Ouahma , Quentin Meunier , Karine Heydemann , Emmanuelle Encrenaz

Journal of Cryptographic Engineering, 2019, pp.1-12. ⟨10.1007/s13389-019-00205-7⟩

Article dans une revue hal-02102873v1
Deposit thumbnail

Executing Secured Virtual Machines within a Manycore Architecture

Clément L Dévigne , Jean-Baptiste L Bréjon , Quentin L. Meunier , Franck L Wajsbürt

Microprocessors and Microsystems: Embedded Hardware Design , 2016, ⟨10.1016/j.micpro.2016.09.008⟩

Article dans une revue hal-01382444v1

GECOS : Mécanisme de synchronisation passant à l’échelle à plusieurs lecteurs et un écrivain pour structures chaînées

Mohamed Lamine Karaoui , Quentin L. Meunier , Franck Wajsbürt , Alain Greiner

Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2015, 34, pp.53-78. ⟨10.3166/tsi.34.53-78⟩

Article dans une revue hal-01340603v1

Systèmes de mémoire transactionnelle pour les architectures à base de NoC Conception, implémentation et comparaison de deux politiques

Quentin L. Meunier , Frédéric Pétrot

Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2011, 30 (9), pp.1061-1087. ⟨10.3166/tsi.30.1061-1087⟩

Article dans une revue istex hal-00680463v1

Hardware/software support for adaptive work-stealing in on-chip multiprocessor

Quentin L. Meunier , Frédéric Pétrot , Jean-Louis Roch

Journal of Systems Architecture, 2010, 56 (08), pp.392-406. ⟨10.1016/j.sysarc.2010.06.007⟩

Article dans une revue istex hal-00551685v1

Lightweight Transactional Memory systems for NoCs based architectures: Design, implementation and comparison of two policies

Quentin L. Meunier , Frédéric Pétrot

Journal of Parallel and Distributed Computing, 2010, 70 (10), pp.1024-1041. ⟨10.1016/j.jpdc.2010.02.007⟩

Article dans une revue istex hal-00551686v1
Deposit thumbnail

VerifMSI: Practical Verification of Hardware and Software Masking Schemes Implementations

Quentin Meunier , Abdul Taleb

20th International Conference on Security and Cryptography, Jul 2023, Rome, Italy. pp.520-527, ⟨10.5220/0012138600003555⟩

Communication dans un congrès hal-04192584v1
Deposit thumbnail

Implementations Impact on Iterative Image Processing for Embedded GPU

Thomas Romera , Andrea Petreto , Florian Lemaitre , Manuel Bouyer , Quentin Meunier et al.

European Signal Processing Conference (EUSIPCO), Aug 2021, Dublin, Ireland

Communication dans un congrès hal-03330779v1
Deposit thumbnail

PROSECCO: Formally-proven secure compiled code

Nicolas Belleville , Damien Couroussé , Emmanuelle Encrenaz , Karine Heydemann , Quentin Meunier

C&ESAR 2021 : 28th Computer Electronics Security Application Rendezvous, Nov 2021, Rennes, France. pp.13-25

Communication dans un congrès cea-03605070v1

A 220GOPS 96-Core Processor with 6 Chiplets 3D-Stacked on an Active Interposer Offering 0.6ns/mm Latency, 3Tb/s/mm 2 Inter-Chiplet Interconnects and 156mW/mm 2 @ 82%-Peak-Efficiency DC-DC Converters

Pascal Vivet , Eric Guthmuller , Yvain Thonnart , Gaël Pillonnet , Guillaume Moritz et al.

2020 IEEE International Solid- State Circuits Conference - (ISSCC), Feb 2020, San Francisco, United States. pp.46-48, ⟨10.1109/ISSCC19947.2020.9062927⟩

Communication dans un congrès hal-02985945v1
Deposit thumbnail

SELA: a Symbolic Expression Leakage Analyzer

Quentin L. Meunier , Inès Ben El Ouahma , Karine Heydemann

International Workshop on Security Proofs for Embedded Systems, Sep 2020, Visioconference, France

Communication dans un congrès hal-02983213v1
Deposit thumbnail

Real-time embedded video denoiser prototype

Andrea Petreto , Thomas Romera , Florian Lemaitre , Manuel Bouyer , Boris Gaillard et al.

9th International Symposium - Optronics in Defense and Security (Optro), Jan 2020, Paris, France

Communication dans un congrès hal-02469914v1

Fault attack vulnerability assessment of binary code

Jean-Baptiste Bréjon , Karine Heydemann , Emmanuelle Encrenaz , Quentin L. Meunier , Son Tuan Vu

Cryptography and Security in Computing Systems (CS2’19), Jan 2019, Valencia, Spain. pp.13-18, ⟨10.1145/3304080.3304083⟩

Communication dans un congrès hal-02163152v1

Débruitage temps réel embarqué pour vidéos fortement bruitées

Andrea Petreto , Thomas Romera , Florian Lemaitre , Ian Masliah , Boris Gaillard et al.

COMPAS 2019, Jun 2019, Anglet, France

Communication dans un congrès hal-02268005v1
Deposit thumbnail

A New Real-Time Embedded Video Denoising Algorithm

Andrea Petreto , Thomas Romera , Ian Masliah , Boris Gaillard , Manuel Bouyer et al.

DASIP 2019 - The Conference on Design and Architectures for Signal and Image Processing, Oct 2019, Montréal, Canada

Communication dans un congrès hal-02343597v1
Deposit thumbnail

FastCPA: Efficient Correlation Power Analysis Computation with a Large Number of Traces

Quentin L. Meunier

6th Cryptography and Security in Computing Systems (CS2’19), Jan 2019, Valence, Spain. ⟨10.1145/3304080.3304082⟩

Communication dans un congrès hal-02172200v1

A 29 Gops/Watt 3D-Ready 16-Core Computing Fabric with Scalable Cache Coherent Architecture Using Distributed L2 and Adaptive L3 Caches

E. Guthmuller , C. Fuguet , P. Vivet , C. Bernard , I. Miro-Panades et al.

ESSCIRC 2018 - IEEE 44th European Solid State Circuits Conference (ESSCIRC), Sep 2018, Dresden, Germany. pp.318-321, ⟨10.1109/ESSCIRC.2018.8494275⟩

Communication dans un congrès hal-02985969v1
Deposit thumbnail

Energy and Execution Time Comparison of Optical Flow Algorithms on SIMD and GPU Architectures

Andrea Petreto , Arthur Hennequin , Thomas Koehler , Thomas Romera , Yohan Fargeix et al.

Conference on Design and Architectures for Signal and Image Processing (Dasip 2018), Oct 2018, Porto, Portugal

Communication dans un congrès hal-01925886v1
Deposit thumbnail

A new Direct Connected Component Labeling and Analysis Algorithms for GPUs

Arthur Hennequin , Lionel Lacassagne , Laurent Cabaret , Quentin Meunier

2018 Conference on Design and Architectures for Signal and Image Processing (DASIP), Oct 2018, Porto, Portugal. ⟨10.1109/dasip.2018.8596835⟩

Communication dans un congrès hal-01923784v1
Deposit thumbnail

Comparaison de la consommation énergétique et du temps d'exécution d'un algorithme de traitement d'images optimisé sur des architectures SIMD et GPU

Andrea Petreto , Arthur Hennequin , Thomas Koehler , Thomas Romera , Yohan Fargeix et al.

Conférence d’informatique en Parallélisme, Architecture et Système (COMPAS 2018), Jul 2018, Toulouse, France

Communication dans un congrès hal-01835219v1
Deposit thumbnail

Modeling a Cache Coherence Protocol with the Guarded Action Language

Quentin L. Meunier , Yann Thierry Mieg , Emmanuelle Encrenaz

Workshop on Models for Formal Analysis of Real Systems, Apr 2018, Thessaloniki, Greece. ⟨10.4204/EPTCS.268.3⟩

Communication dans un congrès hal-02172237v1
Deposit thumbnail

Decoupling Translation Lookaside Buffer Coherence from Cache Coherence

Hao Liu , Quentin L. Meunier , Alain Greiner

IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2017), Jul 2017, Bochum, Germany. pp.92 - 97, ⟨10.1109/ISVLSI.2017.25⟩

Communication dans un congrès hal-01585880v1
Deposit thumbnail

Symbolic Approach for Side-Channel Resistance Analysis of Masked Assembly Codes

Inès Ben El Ouahma , Quentin L. Meunier , Karine Heydemann , Emmanuelle Encrenaz

Security Proofs for Embedded Systems, Sep 2017, Taipei, China

Communication dans un congrès hal-01612463v1
Deposit thumbnail

Exploiting Large Memory using 32-bit Energy-Efficient Manycore Architectures

Mohamed Lamine Karaoui , Pierre-Yves Péneau , Quentin L. Meunier , Franck Wajsbürt , Alain Greiner

MCSoC: Many-core Systems-on-Chip, Sep 2016, Lyon, France. pp.61-68, ⟨10.1109/MCSoC.2016.44⟩

Communication dans un congrès hal-01362760v1
Deposit thumbnail

Executing secured virtual machines within a manycore architecture

Clément Dévigne , Jean-Baptiste Bréjon , Quentin L. Meunier , Franck Wajsbürt

IEEE Nordic Circuits and Systems Conference (NORCAS), Oct 2015, Oslo, Norway. ⟨10.1109/NORCHIP.2015.7364380⟩

Communication dans un congrès hal-01363066v1
Deposit thumbnail

RWT: Suppressing Write-Through Cost When Coherence is Not Needed

Hao Liu , Clément Dévigne , Lucas Garcia , Quentin L. Meunier , Franck Wajsbürt et al.

2015 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), Jul 2015, Montpellier, France. pp.434-439, ⟨10.1109/ISVLSI.2015.35⟩

Communication dans un congrès hal-01362872v1

Mécanisme de synchronisation scalable à plusieurs lecteurs et un écrivain

Mohamed Lamine Karaoui , Quentin L. Meunier , Franck Wajsbürt , Alain Greiner

Conférence en Parallélisme, Architecture et Systèmes, ComPAS 2014, Apr 2014, Neuchâtel, Suisse

Communication dans un congrès hal-01219760v1

Evaluation de la précision en virgule fixe dans le cas des structures conditionnelles

Naud Jean-Charles , Daniel Menard , Quentin L. Meunier , Olivier Sentieys

14th Symposium en Architecture (SympA'11), May 2011, Saint Malo, France

Communication dans un congrès inria-00617720v1

Fixed-point Accuracy Evaluation in the Context of Conditional Structures

Jean-Charles Naud , Quentin L. Meunier , Daniel Ménard , Olivier Sentieys

19th European Signal Processing Conference (EUSIPCO), Sep 2011, Barcelona, Spain

Communication dans un congrès hal-00747610v1

LightTM : Une Mémoire Transactionnelle conçue pour les MPSoCs

Quentin L. Meunier , Frédéric Pétrot

Symposium en Architecture de machines (SympA'13), Sep 2009, Toulouse, France. pp.1-12

Communication dans un congrès hal-00419309v1

Lightweight Transactional Memory Systems for Large Scale Shared Memory MPSoCs

Quentin L. Meunier , Frédéric Pétrot

NEWCAS – TAISA'09 Conference, Jun 2009, Toulouse, France. pp.432 - 435

Communication dans un congrès hal-00419304v1

Design and Use of Transactional Memory in MPSoCs

Frédéric Pétrot , Quentin L. Meunier

9th International Seminar on Application Specific Multiprocessor SoC, Aug 2009, Savanah, Georgia, United States

Communication dans un congrès hal-00560474v1