Welcome to my website! I am a PhD student at LIP6 in Sorbonne Université. I work on a programming language called Usuba (and its compiler), which is designed to write cryptographic primitives, and generate high-throughput and secured C codes, based on a programming technique called bitslicing. I'm currently writing some blog posts about Usuba; check them out if you are interested! Or, feel free to checkout the papers I (co)wrote about Usuba.
My main areas of interest when it comes to computer science and research are programming languages, compilers, 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 proved-secured cipher implementations.
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: