Skapa en profil
Offentlig åtkomst
Visa alla5 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Gernot HeiserProfessor of Computer Science, University of New South WalesVerifierad e-postadress på unsw.edu.au
- Gerwin KleinProofcraft and UNSWVerifierad e-postadress på unsw.edu.au
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Verifierad e-postadress på ce.pdn.ac.lk
- June AndronickCEO and co-founcer, ProofcraftVerifierad e-postadress på proofcraft.systems
- David CockSenior Researcher, ETH ZurichVerifierad e-postadress på cse.unsw.edu.au
- Trent JaegerProfessor of Computer Science and Engineering, UC RiversideVerifierad e-postadress på ucr.edu
- Kai Engelhardtn.a.Verifierad e-postadress på acm.org
- Michael NorrishAustralian National UniversityVerifierad e-postadress på anu.edu.au
- Stefan M. PettersCISTER Research Unit, ISEP-IPP, PortugalVerifierad e-postadress på isep.ipp.pt
- Timothy RoscoeProfessor of Computer Science, ETH ZurichVerifierad e-postadress på inf.ethz.ch
- Peter ChubbUNSW, SydneyVerifierad e-postadress på unsw.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneVerifierad e-postadress på unimelb.edu.au
- Ihor KuzSenior OS Engineer, Kry10 LtdVerifierad e-postadress på ikuz.org
- Alain GefflautEngineering Manager Google CloudVerifierad e-postadress på google.com
- Hermann HärtigProfessor Computer Science, Technische Universität DresdenVerifierad e-postadress på tu-dresden.de
- Gustavo AlonsoProfessor of Computer Science, ETH Zürich, SwitzerlandVerifierad e-postadress på inf.ethz.ch
- David GreenawayNICTA and School of Computer Science, University of New South WalesVerifierad e-postadress på cse.unsw.edu.au
- Andreas HaeberlenUniversity of PennsylvaniaVerifierad e-postadress på cis.upenn.edu
- Manuel M T ChakravartyTweag I/O & IOHKVerifierad e-postadress på justtesting.org
- Marcus VölpCritiX Lab, Interdisciplinary Centre for Security, Reliability and Trust, University of LuxembourgVerifierad e-postadress på uni.lu