Založit si vlastní profil
Veřejný přístup
Zobrazit všechny5 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Gernot HeiserProfessor of Computer Science, University of New South WalesE-mailová adresa ověřena na: unsw.edu.au
- Gerwin KleinProofcraft and UNSWE-mailová adresa ověřena na: unsw.edu.au
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)E-mailová adresa ověřena na: ce.pdn.ac.lk
- June AndronickCEO and co-founcer, ProofcraftE-mailová adresa ověřena na: proofcraft.systems
- Trent JaegerProfessor of Computer Science and Engineering, UC RiversideE-mailová adresa ověřena na: ucr.edu
- David CockSenior Researcher, ETH ZurichE-mailová adresa ověřena na: cse.unsw.edu.au
- Kai Engelhardtn.a.E-mailová adresa ověřena na: acm.org
- Michael NorrishAustralian National UniversityE-mailová adresa ověřena na: anu.edu.au
- Stefan M. PettersCISTER Research Unit, ISEP-IPP, PortugalE-mailová adresa ověřena na: isep.ipp.pt
- Timothy RoscoeProfessor of Computer Science, ETH ZurichE-mailová adresa ověřena na: inf.ethz.ch
- Peter ChubbUNSW, SydneyE-mailová adresa ověřena na: unsw.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneE-mailová adresa ověřena na: unimelb.edu.au
- Ihor KuzSenior OS Engineer, Kry10 LtdE-mailová adresa ověřena na: ikuz.org
- Alain GefflautEngineering Manager Google CloudE-mailová adresa ověřena na: google.com
- Hermann HärtigProfessor Computer Science, Technische Universität DresdenE-mailová adresa ověřena na: tu-dresden.de
- Gustavo AlonsoProfessor of Computer Science, ETH Zürich, SwitzerlandE-mailová adresa ověřena na: inf.ethz.ch
- David GreenawayNICTA and School of Computer Science, University of New South WalesE-mailová adresa ověřena na: cse.unsw.edu.au
- Andreas HaeberlenUniversity of PennsylvaniaE-mailová adresa ověřena na: cis.upenn.edu
- Manuel M T ChakravartyTweag I/O & IOHKE-mailová adresa ověřena na: justtesting.org
- Marcus VölpCritiX Lab, Interdisciplinary Centre for Security, Reliability and Trust, University of LuxembourgE-mailová adresa ověřena na: uni.lu