내 프로필 만들기
공개 액세스
모두 보기자료 8개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa Cruzcs.ucsc.edu의 이메일 확인됨
- Vincent ChevalUniversity of Oxford, United Kingdomcs.ox.ac.uk의 이메일 확인됨
- Cédric FournetMicrosoft Researchmicrosoft.com의 이메일 확인됨
- Karthikeyan BhargavanINRIAinria.fr의 이메일 확인됨
- David MonniauxResearcher in computer science, CNRS, VERIMAGuniv-grenoble-alpes.fr의 이메일 확인됨
- Patrick CousotProfessor of Computer Science, Courant Institute of Mathematical Sciences, New York Universitycims.nyu.edu의 이메일 확인됨
- Xavier RivalDirecteur de Recherche, INRIAinria.fr의 이메일 확인됨
- Antoine MinéSorbonne Université, LIP6, APRlip6.fr의 이메일 확인됨
- Jérôme FeretChargé de recherche, Inria Parisinria.fr의 이메일 확인됨
- David PointchevalSenior CNRS Researcher in Computer Science, Ecole Normale Superieure/PSL University, Inriaens.fr의 이메일 확인됨
- Hubert Comon-LundhComputer Science professor, ENS Cachanlsv.ens-cachan.fr의 이메일 확인됨
- Andreas PodelskiProfessor of Computer Science, Freiburg Universityinformatik.uni-freiburg.de의 이메일 확인됨
- Cas CremersCISPA Helmholtz Center for Information Securitycispa.de의 이메일 확인됨
- Aaron D. JaggardU.S. Naval Research Laboratorydimacs.rutgers.edu의 이메일 확인됨
- Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of Pennsylvaniamath.upenn.edu의 이메일 확인됨
- Benjamin LippPost-doctoral researcher, MPI-SPmpi-sp.org의 이메일 확인됨
- Manuel BarbosaUniversidade do Porto (FCUP) and INESC TECfc.up.pt의 이메일 확인됨
- Bryan ParnoCarnegie Mellon Universitycmu.edu의 이메일 확인됨
- Kevin LiaoMassachusetts Institute of Technology (MIT)mit.edu의 이메일 확인됨
- Gilles BartheMPI-SP and IMDEA Software Institutempi-sp.org의 이메일 확인됨