Welcome to my website! Since December 1st 2020, I am a postdoctoral researcher at CryptoExperts. In a nutshell, I 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 and garbage collectors.
Feel free to contact me at my gmail address (firstname dot lastname).
Here are all the papers about Usuba I have published during my PhD (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: