Karthikeyan BhargavanResearcher @ Prosecco projectSecurity and Privacy, Formal Verification karthik.bhargavan@inria.fr INRIA Paris https://prosecco.gforge.inria.fr/personal/karthik/
