내 프로필 만들기
공개 액세스
모두 보기자료 5개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Gernot HeiserProfessor of Computer Science, University of New South Walesunsw.edu.au의 이메일 확인됨
- Gerwin KleinProofcraft and UNSWunsw.edu.au의 이메일 확인됨
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)ce.pdn.ac.lk의 이메일 확인됨
- June AndronickCEO and co-founcer, Proofcraftproofcraft.systems의 이메일 확인됨
- David CockSenior Researcher, ETH Zurichcse.unsw.edu.au의 이메일 확인됨
- Trent JaegerProfessor of Computer Science and Engineering, UC Riversideucr.edu의 이메일 확인됨
- Kai Engelhardtn.a.acm.org의 이메일 확인됨
- Michael NorrishAustralian National Universityanu.edu.au의 이메일 확인됨
- Stefan M. PettersCISTER Research Unit, ISEP-IPP, Portugalisep.ipp.pt의 이메일 확인됨
- Timothy RoscoeProfessor of Computer Science, ETH Zurichinf.ethz.ch의 이메일 확인됨
- Peter ChubbUNSW, Sydneyunsw.edu.au의 이메일 확인됨
- Toby MurraySchool of Computing and Information Systems, University of Melbourneunimelb.edu.au의 이메일 확인됨
- Ihor KuzSenior OS Engineer, Kry10 Ltdikuz.org의 이메일 확인됨
- Alain GefflautEngineering Manager Google Cloudgoogle.com의 이메일 확인됨
- Hermann HärtigProfessor Computer Science, Technische Universität Dresdentu-dresden.de의 이메일 확인됨
- Gustavo AlonsoProfessor of Computer Science, ETH Zürich, Switzerlandinf.ethz.ch의 이메일 확인됨
- David GreenawayNICTA and School of Computer Science, University of New South Walescse.unsw.edu.au의 이메일 확인됨
- Andreas HaeberlenUniversity of Pennsylvaniacis.upenn.edu의 이메일 확인됨
- Manuel M T ChakravartyTweag I/O & IOHKjusttesting.org의 이메일 확인됨
- Marcus VölpCritiX Lab, Interdisciplinary Centre for Security, Reliability and Trust, University of Luxembourguni.lu의 이메일 확인됨