Get my own profile
Public access
View all8 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzVerified email at cs.ucsc.edu
Vincent ChevalInria Paris, FranceVerified email at inria.fr
Cédric FournetMicrosoft ResearchVerified email at microsoft.com
David MonniauxResearcher in computer science, CNRS, VERIMAGVerified email at univ-grenoble-alpes.fr
Patrick CousotProfessor of Computer Science, CIMS, New York UniversityVerified email at cims.nyu.edu
Xavier RivalDirecteur de Recherche, INRIAVerified email at inria.fr
Antoine MinéSorbonne Université, LIP6, APRVerified email at lip6.fr
Karthikeyan BhargavanINRIAVerified email at inria.fr
Jérôme FeretChargé de recherche, Inria ParisVerified email at inria.fr
David PointchevalSenior CNRS Researcher in Computer Science, Ecole Normale Superieure/PSL University, InriaVerified email at ens.fr
Hubert Comon-LundhComputer Science professor, ENS CachanVerified email at lsv.ens-cachan.fr
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerified email at informatik.uni-freiburg.de
Benjamin LippPost-doctoral researcher, MPI-SPVerified email at mpi-sp.org
Cas CremersCISPA Helmholtz Center for Information SecurityVerified email at cispa.de
Aaron D. JaggardU.S. Naval Research LaboratoryVerified email at dimacs.rutgers.edu
Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaVerified email at math.upenn.edu
Manuel BarbosaUniversidade do Porto (FCUP) and INESC TECVerified email at fc.up.pt
Bryan ParnoCarnegie Mellon UniversityVerified email at cmu.edu
Kevin LiaoMassachusetts Institute of Technology (MIT)Verified email at mit.edu
Gilles BartheMPI-SP and IMDEA Software InstituteVerified email at mpi-sp.org