Welcome to my website! Since the February 15th, 2022, I am a software engineer at Google in Munich, working on V8.
Before that, in 2021, I am a postdoctoral researcher at CryptoExperts. I mainly work on improving side-channel countermeasures for cryptographic code, and in particular masking countermeasures.
Before that, I was a PhD student at LIP6 in Sorbonne Université. During this PhD, I developped a programming language called Usuba (and its compiler), which is designed to write cryptographic primitives, and generate high-throughput and secure C code, based on a programming technique called bitslicing. Find out more about Usuba on its blog, or in my thesis, or on the video of my PhD defense.
My main areas of interest when it comes to computer science and research are programming languages, compilers, CPU microarchitecture, virtual machines, garbage collectors, software optimization and side-channel countermeasures.
Feel free to contact me at my gmail address (firstname dot lastname).
Here are the papers I have published (sorted chronologically):
Extends Usuba to interact with tightPROVE+, in order to produce cipher implementations that are provably secure against some side-channel attacks.
Uses Usuba to generate bitslice code for a custom CPU architecture embedding instructions to protect against side-channel attacks.
Generalizes the WPMVP'18 paper. Details the semantics and design choices of Usuba. Evaluates Usuba on a few well known ciphers against state-of-the-art implementations.
Introduces Usuba, using bitslice DES as an example, and targeting various SIMD architectures (AltiVec, Neon, SSE, AVX, AVX-512).
I occasionally present my research during conferences, classes and other events. Below are some presentation supports that I have used recently, and will give you an idea of what I'm working on: