Experience

SiFive

• United States
• Semiconductor Manufacturing
• 400 - 500 Employee

• Staff Security Engineer

  • May 2023 - Present

• Senior Security Engineer

  • Nov 2020 - May 2023

  La Ciotat, Provence-Alpes-Côte d’Azur, France Hardware Security: ▪️ I developed a quantification platform to evaluate timing side-channel in SiFive cores. ▪️ I designed secure branch predictors thwarting Spectre vulnerabilities in SiFive p550 and p650 cores. IOMMU (PLATE Platform Level Address Translation Engine): ▪️ I designed multiple level of caches (L1 fully associative + L2 pipelined n-ways set associative with MSHR), all following the RISC-V page-based virtual memory specification. ▪️ Other relevant work done on… Show more Hardware Security: ▪️ I developed a quantification platform to evaluate timing side-channel in SiFive cores. ▪️ I designed secure branch predictors thwarting Spectre vulnerabilities in SiFive p550 and p650 cores. IOMMU (PLATE Platform Level Address Translation Engine): ▪️ I designed multiple level of caches (L1 fully associative + L2 pipelined n-ways set associative with MSHR), all following the RISC-V page-based virtual memory specification. ▪️ Other relevant work done on the IOMMU: block level FPV (JasperGold), IP-Testbench (UVM), mathematical modeling of cache behavior, page table allocation algorithms.



Université Grenoble Alpes

• France
• Higher Education
• 700 & Above Employee

• Doctoral Researcher - Laboratoire de Conception et d'Intégration des Systèmes

  • Sep 2017 - Nov 2020

  Région de Valence, France Software security PhD in collaboration with the European Consortium SERENE-IoT and the University of Arizona. Cyber-physical system: ▪️ I led the development of an open cyber-physical security system workbench: "SecPump". SecPump is an open wireless insulin pump system that models insulin kinetic regulation of a diabetic. The open-system aims at being used for both hardware and software security, but also safety and cyber-physical system assessments. Software Security: ▪️… Show more Software security PhD in collaboration with the European Consortium SERENE-IoT and the University of Arizona. Cyber-physical system: ▪️ I led the development of an open cyber-physical security system workbench: "SecPump". SecPump is an open wireless insulin pump system that models insulin kinetic regulation of a diabetic. The open-system aims at being used for both hardware and software security, but also safety and cyber-physical system assessments. Software Security: ▪️ TrustFlow project: I developed a hardware/software control-flow integrity protection for embedded software. The latter is based on an enhanced hardware shadow stack implemented within the RISC-V RocketChip processor coupled with a modified LLVM compiler for the software support. I mostly worked on pipeline issues, and compiler instruction selection for security. ▪️ BackGuard project: I developed a flexible software control-flow integrity protection for embedded software. The latter leverage the LLVM compiler Link-Time Optimization to generate a bitmap/tagged secure code.

• Research Intern - Laboratoire de Conception et d'Intégration des Systèmes

  • Feb 2017 - Aug 2017

  Région de Valence, France ▪️ Development of a software control flow integrity (CFI) security benchmark suite based on RISC-V and ARM architectures. ▪️ Development of a hardware CFI countermeasure based on shadow stacks.



SIGVARIS GROUP France

• France
• Medical Equipment Manufacturing
• 200 - 300 Employee

• Industrial Project

  • Jan 2016 - Jul 2016

  Saint-Étienne, Auvergne-Rhône-Alpes, France ▪️ 6-months team project. We developed an Internet of Medical Things (IoMT) device prototype that allow to track the effectiveness of support stockings for varicose veins. ▪️ Such a system required the following skills: algorithmic, cyber-physical system development, connectivity (Bluetooth Low Energy stack), Android development (Java), and electronic board development.



Eli Lilly and Company

• United States
• Pharmaceutical Manufacturing
• 700 & Above Employee

• Industrial IT Technician

  • Jun 2015 - Aug 2015

  Fegersheim ▪️ Implementation and operating mode support creation of a formulation process simulator. ▪️ Use of Rockwell PLCs, and FTView supervision based on VB.