Karthikeyan Bhargavan Verónica Dahl Cédric Fournet Andrew D. Gordon Michael W. Hicks Nikhil Swamy Steve Zdancewic