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
- Benjamin LippPost-doctoral researcher, MPI-SPVerified email at mpi-sp.org
- 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 LiaoHarvard Law School, Massachusetts Institute of TechnologyVerified email at mit.edu