Get my own profile
Public access
View all9 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 ChevalUniversity of Oxford, United KingdomVerified email at cs.ox.ac.uk
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, Courant Institute of Mathematical Sciences, 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
Nadim KobeissiSymbolic SoftwareVerified email at symbolic.software
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
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
Benjamin LippPost-doctoral researcher, MPI-SPVerified email at mpi-sp.org
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