Author of the publication

VerifMSI: Practical Verification of Hardware and Software Masking Schemes Implementations.

, and . SECRYPT, page 520-527. SCITEPRESS, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Étude de deux solutions pour le support matériel de la programmation parallèle dans les multiprocesseurs intégrés : vol de travail et mémoires transactionnelles. (Study of two Solutions for Hardware Support of Parallel Programming in Integrated Multiprocessors: Work-Stealing and Transactional Memory).. Grenoble Institute of Technology, France, (2010)VerifMSI: Practical Verification of Hardware and Software Masking Schemes Implementations., and . SECRYPT, page 520-527. SCITEPRESS, (2023)Lightweight Transactional Memory systems for NoCs based architectures: Design, implementation and comparison of two policies., and . J. Parallel Distributed Comput., 70 (10): 1024-1041 (2010)A new Direct Connected Component Labeling and Analysis Algorithms for GPUs., , , and . DASIP, page 76-81. IEEE, (2018)Energy and Execution Time Comparison of Optical Flow Algorithms on SIMD and GPU Architectures., , , , , , , , and . DASIP, page 25-30. IEEE, (2018)Symbolic Approach for Side-Channel Resistance Analysis of Masked Assembly Codes., , , and . PROOFS, volume 49 of EPiC Series in Computing, page 17-32. EasyChair, (2017)GECOS : Mécanisme de synchronisation passant à l'échelle à plusieurs lecteurs et un écrivain pour structures chaînées., , , and . Technique et Science Informatiques, 34 (1-2): 53-78 (2015)Modeling a Cache Coherence Protocol with the Guarded Action Language., , and . MARS/VPT@ETAPS, volume 268 of EPTCS, page 88-103. (2018)Implementations Impact on Iterative Image Processing for Embedded GPU., , , , , and . EUSIPCO, page 736-740. IEEE, (2021)A New Real-Time Embedded Video Denoising Algorithm., , , , , , , and . DASIP, page 47-52. IEEE, (2019)