自分のプロフィールを作成
オープン アクセス
すべて表示8 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa Cruz確認したメール アドレス: cs.ucsc.edu
- Vincent ChevalUniversity of Oxford, United Kingdom確認したメール アドレス: cs.ox.ac.uk
- Cédric FournetMicrosoft Research確認したメール アドレス: microsoft.com
- Karthikeyan BhargavanINRIA確認したメール アドレス: inria.fr
- David MonniauxResearcher in computer science, CNRS, VERIMAG確認したメール アドレス: univ-grenoble-alpes.fr
- Patrick CousotProfessor of Computer Science, Courant Institute of Mathematical Sciences, New York University確認したメール アドレス: cims.nyu.edu
- Xavier RivalDirecteur de Recherche, INRIA確認したメール アドレス: inria.fr
- Antoine MinéSorbonne Université, LIP6, APR確認したメール アドレス: lip6.fr
- Jérôme FeretChargé de recherche, Inria Paris確認したメール アドレス: inria.fr
- David PointchevalSenior CNRS Researcher in Computer Science, Ecole Normale Superieure/PSL University, Inria確認したメール アドレス: ens.fr
- Hubert Comon-LundhComputer Science professor, ENS Cachan確認したメール アドレス: lsv.ens-cachan.fr
- Andreas PodelskiProfessor of Computer Science, Freiburg University確認したメール アドレス: informatik.uni-freiburg.de
- Cas CremersCISPA Helmholtz Center for Information Security確認したメール アドレス: cispa.de
- Aaron D. JaggardU.S. Naval Research Laboratory確認したメール アドレス: dimacs.rutgers.edu
- Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of Pennsylvania確認したメール アドレス: math.upenn.edu
- Benjamin LippPost-doctoral researcher, MPI-SP確認したメール アドレス: mpi-sp.org
- Manuel BarbosaUniversidade do Porto (FCUP) and INESC TEC確認したメール アドレス: fc.up.pt
- Bryan ParnoCarnegie Mellon University確認したメール アドレス: cmu.edu
- Kevin LiaoMassachusetts Institute of Technology (MIT)確認したメール アドレス: mit.edu
- Gilles BartheMPI-SP and IMDEA Software Institute確認したメール アドレス: mpi-sp.org