Research

I am mainly interested in formal methods applied to vulnerability research, and especially quantitative methods.

The idea is to quantitavely evaluate the security of a program, and whenever possible, assess quantitatively the gravity of bugs.