Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 9820 | 3035 |
h-index | 43 | 25 |
i10-index | 59 | 38 |
Acces public
Afișați-le pe toate8 articole
0 articole
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzAdresă de e-mail confirmată pe cs.ucsc.edu
- Vincent ChevalUniversity of Oxford, United KingdomAdresă de e-mail confirmată pe cs.ox.ac.uk
- Cédric FournetMicrosoft ResearchAdresă de e-mail confirmată pe microsoft.com
- Karthikeyan BhargavanINRIAAdresă de e-mail confirmată pe inria.fr
- David MonniauxResearcher in computer science, CNRS, VERIMAGAdresă de e-mail confirmată pe univ-grenoble-alpes.fr
- Patrick CousotProfessor of Computer Science, Courant Institute of Mathematical Sciences, New York UniversityAdresă de e-mail confirmată pe cims.nyu.edu
- Xavier RivalDirecteur de Recherche, INRIAAdresă de e-mail confirmată pe inria.fr
- Antoine MinéSorbonne Université, LIP6, APRAdresă de e-mail confirmată pe lip6.fr
- Jérôme FeretChargé de recherche, Inria ParisAdresă de e-mail confirmată pe inria.fr
- David PointchevalSenior CNRS Researcher in Computer Science, Ecole Normale Superieure/PSL University, InriaAdresă de e-mail confirmată pe ens.fr
- Hubert Comon-LundhComputer Science professor, ENS CachanAdresă de e-mail confirmată pe lsv.ens-cachan.fr
- Andreas PodelskiProfessor of Computer Science, Freiburg UniversityAdresă de e-mail confirmată pe informatik.uni-freiburg.de
- Cas CremersCISPA Helmholtz Center for Information SecurityAdresă de e-mail confirmată pe cispa.de
- Aaron D. JaggardU.S. Naval Research LaboratoryAdresă de e-mail confirmată pe dimacs.rutgers.edu
- Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaAdresă de e-mail confirmată pe math.upenn.edu
- Benjamin LippPost-doctoral researcher, MPI-SPAdresă de e-mail confirmată pe mpi-sp.org
- Manuel BarbosaUniversidade do Porto (FCUP) and INESC TECAdresă de e-mail confirmată pe fc.up.pt
- Bryan ParnoCarnegie Mellon UniversityAdresă de e-mail confirmată pe cmu.edu
- Kevin LiaoMassachusetts Institute of Technology (MIT)Adresă de e-mail confirmată pe mit.edu
- Gilles BartheMPI-SP and IMDEA Software InstituteAdresă de e-mail confirmată pe mpi-sp.org
Urmăriți
Bruno Blanchet
Senior researcher, INRIA, Paris
Adresă de e-mail confirmată pe inria.fr - Pagina de pornire