Accéder directement au contenu

Quentin Meunier

39
Documents

Publications

Image document

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

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

Thomas Romera , Andrea Petreto , Florian Lemaitre , Manuel Bouyer , Quentin L. Meunier
Journal of Real-Time Image Processing, 2023, 20 (2), pp.32. ⟨10.1007/s11554-023-01288-6⟩
Article dans une revue hal-04199828v2
Image document

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

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
IEEE Journal of Solid-State Circuits, 2021, 56 (1), pp.79-97. ⟨10.1109/JSSC.2020.3036341⟩
Article dans une revue hal-03072959v1
Image document

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

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 hal-00680463v1

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 hal-00551686v1

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 hal-00551685v1

Affinité populationnelle en Afrique de l'ouest précoloniale : le cas de la grotte sépulcrale d'Iroungou (Gabon, XIVe-XVe siècles EC)

Aurélie Mounier , Sébastien Villotte , Sacha Kacki , Pascal Mora , Loïc Espinasse
1848es journées, Société d'Anthropologie de Paris, Jan 2023, Paris Musée de l'Homme, France
Communication dans un congrès hal-04023364v1
Image document

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

Implementations Impact on Iterative Image Processing for Embedded GPU

Thomas Romera , Andrea Petreto , Florian Lemaitre , Manuel Bouyer , Quentin Meunier
European Signal Processing Conference (EUSIPCO), Aug 2021, Dublin, Ireland
Communication dans un congrès hal-03330779v1
Image document

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

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

Real-time embedded video denoiser prototype

Andrea Petreto , Thomas Romera , Florian Lemaitre , Manuel Bouyer , Boris Gaillard
9th International Symposium - Optronics in Defense and Security (Optro), Jan 2020, Paris, France
Communication dans un congrès hal-02469914v1

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

Andrea Petreto , Thomas Romera , Florian Lemaitre , Ian Masliah , Boris Gaillard
COMPAS 2019, Jun 2019, Anglet, France
Communication dans un congrès hal-02268005v1

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

A New Real-Time Embedded Video Denoising Algorithm

Andrea Petreto , Thomas Romera , Ian Masliah , Boris Gaillard , Manuel Bouyer
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
Image document

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

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

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
Conférence d’informatique en Parallélisme, Architecture et Système (COMPAS 2018), Jul 2018, Toulouse, France
Communication dans un congrès hal-01835219v1
Image document

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

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

Andrea Petreto , Arthur Hennequin , Thomas Koehler , Thomas Romera , Yohan Fargeix
Conference on Design and Architectures for Signal and Image Processing (Dasip 2018), Oct 2018, Porto, Portugal
Communication dans un congrès hal-01925886v1

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

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

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

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

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

Hao Liu , Clément Dévigne , Lucas Garcia , Quentin L. Meunier , Franck Wajsbürt
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
Image document

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

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

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

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

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

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