https://orcid.org/0000-0002-1497-6448
I am a Creach Labs postdoc researcher in computer security at IRISA/INRIA Rennes. I am interested in exploring security at the level of the software-hardware interface. My team, PACAP, is specialised in the study of physical and microarchitectural attacks using compilation techniques. My work consists on reverse engineering the data flow of 3D printer firmware.
Before, I took a career break to study a master at EUR CyberSchool and make a transition from theoretical mathematics to computer security. Even before, I was a Severo Ochoa predoc researcher in mathematics both at Universidad Complutense de Madrid and Université de Rennes, under a joint supervision of Yago Antolín and Rémi Coulon. My research area was geometric group theory. I was interested in the study of exponential growth rates in groups of non-positive curvature. The techniques I exploited included simple counting arguments; metric inequalities and geometric small cancellation theory. In particular I studied groups acting properly with a contracting element and groups acting acylindrically on hyperbolic spaces. I was also interested in monster groups. My academic CV can be found here.