Quentin L. Meunier

ORCID

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 25

Top Venues

IACR Cryptol. ePrint Arch.

DASIP

ISVLSI

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.

Grenoble Institute of Technology, France (PHD)

Education History

Grenoble Institute of Technology, France

PHD

Publications

Xunyue Hu, Quentin L. Meunier, Emmanuelle Encrenaz
Blind-Folded: Simple Power Analysis Attacks using Data with a Single Trace and no Training. IACR Cryptol. ePrint Arch. 2024 (2024)
Quentin L. Meunier, Etienne Pons, Karine Heydemann
LeakageVerif: Efficient and Scalable Formal Verification of Leakage in Symbolic Expressions. IEEE Trans. Software Eng. 49 (6) (2023)
Quentin L. Meunier, Abdul Rahman Taleb
VerifMSI: Practical Verification of Hardware and Software Masking Schemes Implementations. IACR Cryptol. ePrint Arch. 2023 (2023)
Quentin L. Meunier, Abdul Rahman Taleb
VerifMSI: Practical Verification of Hardware and Software Masking Schemes Implementations. SECRYPT (2023)
Thomas Romera, Andrea Petreto, Florian Lemaitre, Manuel Bouyer, Quentin L. Meunier, Lionel Lacassagne, Daniel Etiemble
Optical flow algorithms optimized for speed, energy and accuracy on embedded GPUs. J. Real Time Image Process. 20 (2) (2023)
Arnaud de Grandmaison, Karine Heydemann, Quentin L. Meunier
ARMISTICE: Microarchitectural Leakage Modeling for Masked Software Formal Verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (11) (2022)
Arnaud de Grandmaison, Karine Heydemann, Quentin L. Meunier
Armistice: Micro-Architectural Leakage Modelling for Masked Software Formal Verification. IACR Cryptol. ePrint Arch. 2022 (2022)
Pascal Vivet, Eric Guthmuller, Yvain Thonnart, Gaël Pillonnet, César Fuguet Tortolero, Ivan Miro-Panades, Guillaume Moritz, Jean Durupt, Christian Bernard, Didier Varreau, Julian J. H. Pontes, Sébastien Thuries, David Coriat, Michel Harrand, Denis Dutoit, Didier Lattard, Lucile Arnaud, Jean Charbonnier, Perceval Coudrain, Arnaud Garnier, Frédéric Berger, Alain Gueugnot, Alain Greiner, Quentin L. Meunier, Alexis Farcy, Alexandre Arriordaz, Séverine Cheramy, Fabien Clermidy
IntAct: A 96-Core Processor With Six Chiplets 3D-Stacked on an Active Interposer With Distributed Interconnects and Integrated Power Management. IEEE J. Solid State Circuits 56 (1) (2021)
Quentin L. Meunier, Etienne Pons, Karine Heydemann
LeakageVerif: Scalable and Efficient Leakage Verification in Symbolic Expressions. IACR Cryptol. ePrint Arch. 2021 (2021)
Thomas Romera, Andrea Petreto, Florian Lemaitre, Manuel Bouyer, Quentin L. Meunier, Lionel Lacassagne
Implementations Impact on Iterative Image Processing for Embedded GPU. EUSIPCO (2021)
Nicolas Belleville, Damien Couroussé, Karine Heydemann, Quentin L. Meunier, Inès Ben El Ouahma
Maskara: Compilation of a Masking Countermeasure With Optimized Polynomial Interpolation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (11) (2020)
Pascal Vivet, Eric Guthmuller, Yvain Thonnart, Gaël Pillonnet, Guillaume Moritz, Ivan Miro-Panades, César Fuguet Tortolero, Jean Durupt, Christian Bernard, Didier Varreau, Julian J. H. Pontes, Sébastien Thuries, David Coriat, Michel Harrand, Denis Dutoit, Didier Lattard, Lucile Arnaud, Jean Charbonnier, Perceval Coudrain, Arnaud Garnier, Frédéric Berger, Alain Gueugnot, Alain Greiner, Quentin L. Meunier, Alexis Farcy, Alexandre Arriordaz, Séverine Cheramy, Fabien Clermidy
@ 82%-Peak-Efficiency DC-DC Converters. ISSCC (2020)
Inès Ben El Ouahma, Quentin L. Meunier, Karine Heydemann, Emmanuelle Encrenaz
Side-channel robustness analysis of masked assembly codes using a symbolic approach. J. Cryptogr. Eng. 9 (3) (2019)
Andrea Petreto, Thomas Romera, Florian Lemaitre, Ian Masliah, Boris Gaillard, Manuel Bouyer, Quentin L. Meunier, Lionel Lacassagne
A New Real-Time Embedded Video Denoising Algorithm. DASIP (2019)
Arthur Hennequin, Lionel Lacassagne, Laurent Cabaret, Quentin L. Meunier
A new Direct Connected Component Labeling and Analysis Algorithms for GPUs. DASIP (2018)
Andrea Petreto, Arthur Hennequin, Thomas Koehler, Thomas Romera, Yohan Fargeix, Boris Gaillard, Manuel Bouyer, Quentin L. Meunier, Lionel Lacassagne
Energy and Execution Time Comparison of Optical Flow Algorithms on SIMD and GPU Architectures. DASIP (2018)
Eric Guthmuller, César Fuguet Tortolero, Pascal Vivet, Christian Bernard, Ivan Miro Panades, Jean Durupt, E. Beignc, Didier Lattard, Séverine Cheramy, Alain Greiner, Quentin L. Meunier, Pirouz Bazargan-Sabet
A 29 Gops/Watt 3D-Ready 16-Core Computing Fabric with Scalable Cache Coherent Architecture Using Distributed L2 and Adaptive L3 Caches. ESSCIRC (2018)
Quentin L. Meunier, Yann Thierry-Mieg, Emmanuelle Encrenaz
Modeling a Cache Coherence Protocol with the Guarded Action Language. MARS/VPT@ETAPS (2018)
Hao Liu, Quentin L. Meunier, Alain Greiner
Decoupling Translation Lookaside Buffer Coherence from Cache Coherence. ISVLSI (2017)
Inès Ben El Ouahma, Quentin L. Meunier, Karine Heydemann, Emmanuelle Encrenaz
Symbolic Approach for Side-Channel Resistance Analysis of Masked Assembly Codes. PROOFS (2017)
Clement Devigne, Jean-Baptiste Bréjon, Quentin L. Meunier, Franck Wajsbürt
Executing secured virtual machines within a manycore architecture. Microprocess. Microsystems 48 (2017)
Mohamed Lamine Karaoui, Pierre-Yves Peneau, Quentin L. Meunier, Franck Wajsbürt, Alain Greiner
Exploiting Large Memory Using 32-Bit Energy-Efficient Manycore Architectures. MCSoC (2016)
Mohamed Lamine Karaoui, Quentin L. Meunier, Franck Wajsbürt, Alain Greiner
GECOS : Mécanisme de synchronisation passant à l'échelle à plusieurs lecteurs et un écrivain pour structures chaînées. Tech. Sci. Informatiques 34 (1-2) (2015)
Clement Devigne, Jean-Baptiste Bréjon, Quentin L. Meunier, Franck Wajsbürt
Executing secured virtual machines within a manycore architecture. NORCAS (2015)
Hao Liu, Clement Devigne, Lucas Garcia, Quentin L. Meunier, Franck Wajsbürt, Alain Greiner
RWT: Suppressing Write-Through Cost When Coherence is Not Needed. ISVLSI (2015)
Quentin L. Meunier, Frédéric Pétrot
Systèmes de mémoire transactionnelle pour les architectures à base de NoC Conception, implémentation et comparaison de deux politiques. Tech. Sci. Informatiques 30 (9) (2011)
Jean-Charles Naud, Quentin L. Meunier, Daniel Ménard, Olivier Sentieys
Fixed-point accuracy evaluation in the context of conditional structures. EUSIPCO (2011)
Quentin L. Meunier, Frédéric Pétrot, Jean-Louis Roch
Hardware/software support for adaptive work-stealing in on-chip multiprocessor. J. Syst. Archit. 56 (8) (2010)
Quentin L. Meunier, Frédéric Pétrot
Lightweight Transactional Memory systems for NoCs based architectures: Design, implementation and comparison of two policies. J. Parallel Distributed Comput. 70 (10) (2010)

Quentin L. Meunier.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Quentin L. Meunier