Crea il mio profilo
Accesso pubblico
Visualizza tutto5 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Gernot HeiserProfessor of Computer Science, University of New South WalesEmail verificata su unsw.edu.au
- Gerwin KleinProofcraft and UNSWEmail verificata su unsw.edu.au
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Email verificata su ce.pdn.ac.lk
- June AndronickCEO and co-founcer, ProofcraftEmail verificata su proofcraft.systems
- Trent JaegerProfessor of Computer Science and Engineering, UC RiversideEmail verificata su ucr.edu
- David CockSenior Researcher, ETH ZurichEmail verificata su cse.unsw.edu.au
- Kai Engelhardtn.a.Email verificata su acm.org
- Michael NorrishAustralian National UniversityEmail verificata su anu.edu.au
- Stefan M. PettersCISTER Research Unit, ISEP-IPP, PortugalEmail verificata su isep.ipp.pt
- Timothy RoscoeProfessor of Computer Science, ETH ZurichEmail verificata su inf.ethz.ch
- Peter ChubbUNSW, SydneyEmail verificata su unsw.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneEmail verificata su unimelb.edu.au
- Ihor KuzSenior OS Engineer, Kry10 LtdEmail verificata su ikuz.org
- Alain GefflautEngineering Manager Google CloudEmail verificata su google.com
- Hermann HärtigProfessor Computer Science, Technische Universität DresdenEmail verificata su tu-dresden.de
- Gustavo AlonsoProfessor of Computer Science, ETH Zürich, SwitzerlandEmail verificata su inf.ethz.ch
- David GreenawayNICTA and School of Computer Science, University of New South WalesEmail verificata su cse.unsw.edu.au
- Andreas HaeberlenUniversity of PennsylvaniaEmail verificata su cis.upenn.edu
- Manuel M T ChakravartyTweag I/O & IOHKEmail verificata su justtesting.org
- Marcus VölpCritiX Lab, Interdisciplinary Centre for Security, Reliability and Trust, University of LuxembourgEmail verificata su uni.lu