Crea il mio profilo
Accesso pubblico
Visualizza tutto8 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzEmail verificata su cs.ucsc.edu
- Vincent ChevalUniversity of Oxford, United KingdomEmail verificata su cs.ox.ac.uk
- Cédric FournetMicrosoft ResearchEmail verificata su microsoft.com
- Karthikeyan BhargavanINRIAEmail verificata su inria.fr
- David MonniauxResearcher in computer science, CNRS, VERIMAGEmail verificata su univ-grenoble-alpes.fr
- Patrick CousotProfessor of Computer Science, Courant Institute of Mathematical Sciences, New York UniversityEmail verificata su cims.nyu.edu
- Xavier RivalDirecteur de Recherche, INRIAEmail verificata su inria.fr
- Antoine MinéSorbonne Université, LIP6, APREmail verificata su lip6.fr
- Jérôme FeretChargé de recherche, Inria ParisEmail verificata su inria.fr
- David PointchevalSenior CNRS Researcher in Computer Science, Ecole Normale Superieure/PSL University, InriaEmail verificata su ens.fr
- Hubert Comon-LundhComputer Science professor, ENS CachanEmail verificata su lsv.ens-cachan.fr
- Andreas PodelskiProfessor of Computer Science, Freiburg UniversityEmail verificata su informatik.uni-freiburg.de
- Cas CremersCISPA Helmholtz Center for Information SecurityEmail verificata su cispa.de
- Aaron D. JaggardU.S. Naval Research LaboratoryEmail verificata su dimacs.rutgers.edu
- Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaEmail verificata su math.upenn.edu
- Benjamin LippPost-doctoral researcher, MPI-SPEmail verificata su mpi-sp.org
- Manuel BarbosaUniversidade do Porto (FCUP) and INESC TECEmail verificata su fc.up.pt
- Bryan ParnoCarnegie Mellon UniversityEmail verificata su cmu.edu
- Kevin LiaoMassachusetts Institute of Technology (MIT)Email verificata su mit.edu
- Gilles BartheMPI-SP and IMDEA Software InstituteEmail verificata su mpi-sp.org