自分のプロフィールを作成
オープン アクセス
すべて表示5 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Gernot HeiserProfessor of Computer Science, University of New South Wales確認したメール アドレス: unsw.edu.au
- Gerwin KleinProofcraft and UNSW確認したメール アドレス: unsw.edu.au
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)確認したメール アドレス: ce.pdn.ac.lk
- June AndronickCEO and co-founcer, Proofcraft確認したメール アドレス: proofcraft.systems
- David CockSenior Researcher, ETH Zurich確認したメール アドレス: cse.unsw.edu.au
- Trent JaegerProfessor of Computer Science and Engineering, UC Riverside確認したメール アドレス: ucr.edu
- Kai Engelhardtn.a.確認したメール アドレス: acm.org
- Michael NorrishAustralian National University確認したメール アドレス: anu.edu.au
- Stefan M. PettersCISTER Research Unit, ISEP-IPP, Portugal確認したメール アドレス: isep.ipp.pt
- Timothy RoscoeProfessor of Computer Science, ETH Zurich確認したメール アドレス: inf.ethz.ch
- Peter ChubbUNSW, Sydney確認したメール アドレス: unsw.edu.au
- Toby MurraySchool of Computing and Information Systems, University of Melbourne確認したメール アドレス: unimelb.edu.au
- Ihor KuzSenior OS Engineer, Kry10 Ltd確認したメール アドレス: ikuz.org
- Alain GefflautEngineering Manager Google Cloud確認したメール アドレス: google.com
- Hermann HärtigProfessor Computer Science, Technische Universität Dresden確認したメール アドレス: tu-dresden.de
- Gustavo AlonsoProfessor of Computer Science, ETH Zürich, Switzerland確認したメール アドレス: inf.ethz.ch
- David GreenawayNICTA and School of Computer Science, University of New South Wales確認したメール アドレス: cse.unsw.edu.au
- Andreas HaeberlenUniversity of Pennsylvania確認したメール アドレス: cis.upenn.edu
- Manuel M T ChakravartyTweag I/O & IOHK確認したメール アドレス: justtesting.org
- Marcus VölpCritiX Lab, Interdisciplinary Centre for Security, Reliability and Trust, University of Luxembourg確認したメール アドレス: uni.lu