Get my own profile
Public access
View all5 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Gernot HeiserProfessor of Computer Science, University of New South WalesVerified email at unsw.edu.au
Gerwin KleinProofcraft and UNSWVerified email at unsw.edu.au
Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Verified email at ce.pdn.ac.lk
June AndronickCEO and co-founcer, ProofcraftVerified email at proofcraft.systems
David CockSenior Researcher, ETH ZurichVerified email at cse.unsw.edu.au
Trent JaegerProfessor of Computer Science and Engineering, UC RiversideVerified email at ucr.edu
Kai Engelhardtn.a.Verified email at acm.org
Michael NorrishAustralian National UniversityVerified email at anu.edu.au
Timothy RoscoeProfessor of Computer Science, ETH ZurichVerified email at inf.ethz.ch
Stefan M. PettersCISTER Research Unit, ISEP-IPP, PortugalVerified email at isep.ipp.pt
Peter ChubbUNSW, SydneyVerified email at unsw.edu.au
Toby MurraySchool of Computing and Information Systems, University of MelbourneVerified email at unimelb.edu.au
Ihor KuzPrincipal OS Engineer, Kry10 LtdVerified email at ikuz.org
Alain GefflautEngineering Manager Google CloudVerified email at google.com
Hermann HärtigProfessor Computer Science, Technische Universität DresdenVerified email at tu-dresden.de
Gustavo AlonsoProfessor of Computer Science, ETH Zürich, SwitzerlandVerified email at inf.ethz.ch
David GreenawayNICTA and School of Computer Science, University of New South WalesVerified email at cse.unsw.edu.au
Andreas HaeberlenUniversity of PennsylvaniaVerified email at cis.upenn.edu
Manuel M T ChakravartyTweag I/O & IOHKVerified email at justtesting.org
Marcus VölpCritiX Lab, Interdisciplinary Centre for Security, Reliability and Trust, University of LuxembourgVerified email at uni.lu