Mijn eigen profiel maken
Openbare toegang
Alles bekijken8 artikelen
0 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzGeverifieerd e-mailadres voor cs.ucsc.edu
- Vincent ChevalUniversity of Oxford, United KingdomGeverifieerd e-mailadres voor cs.ox.ac.uk
- Cédric FournetMicrosoft ResearchGeverifieerd e-mailadres voor microsoft.com
- Karthikeyan BhargavanINRIAGeverifieerd e-mailadres voor inria.fr
- David MonniauxResearcher in computer science, CNRS, VERIMAGGeverifieerd e-mailadres voor univ-grenoble-alpes.fr
- Patrick CousotProfessor of Computer Science, Courant Institute of Mathematical Sciences, New York UniversityGeverifieerd e-mailadres voor cims.nyu.edu
- Xavier RivalDirecteur de Recherche, INRIAGeverifieerd e-mailadres voor inria.fr
- Antoine MinéSorbonne Université, LIP6, APRGeverifieerd e-mailadres voor lip6.fr
- Jérôme FeretChargé de recherche, Inria ParisGeverifieerd e-mailadres voor inria.fr
- David PointchevalSenior CNRS Researcher in Computer Science, Ecole Normale Superieure/PSL University, InriaGeverifieerd e-mailadres voor ens.fr
- Hubert Comon-LundhComputer Science professor, ENS CachanGeverifieerd e-mailadres voor lsv.ens-cachan.fr
- Andreas PodelskiProfessor of Computer Science, Freiburg UniversityGeverifieerd e-mailadres voor informatik.uni-freiburg.de
- Cas CremersCISPA Helmholtz Center for Information SecurityGeverifieerd e-mailadres voor cispa.de
- Aaron D. JaggardU.S. Naval Research LaboratoryGeverifieerd e-mailadres voor dimacs.rutgers.edu
- Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaGeverifieerd e-mailadres voor math.upenn.edu
- Benjamin LippPost-doctoral researcher, MPI-SPGeverifieerd e-mailadres voor mpi-sp.org
- Manuel BarbosaUniversidade do Porto (FCUP) and INESC TECGeverifieerd e-mailadres voor fc.up.pt
- Bryan ParnoCarnegie Mellon UniversityGeverifieerd e-mailadres voor cmu.edu
- Kevin LiaoMassachusetts Institute of Technology (MIT)Geverifieerd e-mailadres voor mit.edu
- Gilles BartheMPI-SP and IMDEA Software InstituteGeverifieerd e-mailadres voor mpi-sp.org