Crea el meu perfil
Accés públic
Mostra-ho tot8 articles
0 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzCorreu electrònic verificat a cs.ucsc.edu
- Vincent ChevalUniversity of Oxford, United KingdomCorreu electrònic verificat a cs.ox.ac.uk
- Cédric FournetMicrosoft ResearchCorreu electrònic verificat a microsoft.com
- Karthikeyan BhargavanINRIACorreu electrònic verificat a inria.fr
- David MonniauxResearcher in computer science, CNRS, VERIMAGCorreu electrònic verificat a univ-grenoble-alpes.fr
- Patrick CousotProfessor of Computer Science, Courant Institute of Mathematical Sciences, New York UniversityCorreu electrònic verificat a cims.nyu.edu
- Xavier RivalDirecteur de Recherche, INRIACorreu electrònic verificat a inria.fr
- Antoine MinéSorbonne Université, LIP6, APRCorreu electrònic verificat a lip6.fr
- Jérôme FeretChargé de recherche, Inria ParisCorreu electrònic verificat a inria.fr
- David PointchevalSenior CNRS Researcher in Computer Science, Ecole Normale Superieure/PSL University, InriaCorreu electrònic verificat a ens.fr
- Hubert Comon-LundhComputer Science professor, ENS CachanCorreu electrònic verificat a lsv.ens-cachan.fr
- Andreas PodelskiProfessor of Computer Science, Freiburg UniversityCorreu electrònic verificat a informatik.uni-freiburg.de
- Cas CremersCISPA Helmholtz Center for Information SecurityCorreu electrònic verificat a cispa.de
- Aaron D. JaggardU.S. Naval Research LaboratoryCorreu electrònic verificat a dimacs.rutgers.edu
- Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaCorreu electrònic verificat a math.upenn.edu
- Benjamin LippPost-doctoral researcher, MPI-SPCorreu electrònic verificat a mpi-sp.org
- Manuel BarbosaUniversidade do Porto (FCUP) and INESC TECCorreu electrònic verificat a fc.up.pt
- Bryan ParnoCarnegie Mellon UniversityCorreu electrònic verificat a cmu.edu
- Kevin LiaoMassachusetts Institute of Technology (MIT)Correu electrònic verificat a mit.edu
- Gilles BartheMPI-SP and IMDEA Software InstituteCorreu electrònic verificat a mpi-sp.org
Segueix
Bruno Blanchet
Senior researcher, INRIA, Paris
Correu electrònic verificat a inria.fr - Pàgina d'inici