Gerwin Klein

Cited by

	All	Since 2019
Citations	7855	2887
h-index	33	20
i10-index	79	45

600

300

150

450

200320042005200620072008200920102011201220132014201520162017201820192020202120222023202452 44 64 67 108 181 236 335 282 353 408 471 498 587 575 559 588 503 487 531 519 258

Public access

View all

30 articles

0 articles

available

not available

Based on funding mandates

Co-authors

June AndronickCEO and co-founcer, ProofcraftVerified email at proofcraft.systems
Gernot HeiserProfessor of Computer Science, University of New South WalesVerified email at unsw.edu.au
Toby MurraySchool of Computing and Information Systems, University of MelbourneVerified email at unimelb.edu.au
Kevin ElphinstoneUniversity of New South WalesVerified email at cse.unsw.edu.au
Tobias NipkowProfessor of Computer Science, Technische Universität MünchenVerified email at in.tum.de
Michael NorrishAustralian National UniversityVerified email at anu.edu.au
David CockSenior Researcher, ETH ZurichVerified email at cse.unsw.edu.au
Ihor KuzSenior OS Engineer, Kry10 LtdVerified email at ikuz.org
Liam O'ConnorThe Australian National University and The University of EdinburghVerified email at anu.edu.au
Gabriele KellerUtrecht UniversityVerified email at uu.nl
Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Verified email at ce.pdn.ac.lk
Christine RizkallahSenior Lecturer at the University of MelbourneVerified email at unimelb.edu.au
Kai Engelhardtn.a.Verified email at acm.org
Peter GammieANUVerified email at anu.edu.au
Daniel MatichukPhD Graduate, UNSWVerified email at unswalumni.com
Matthew FernandezIntel LabsVerified email at intel.com
Yutaka NagashimaHuawei Technologies R&D (UK)Verified email at huawei.com
Mark StaplesData61, CSIROVerified email at data61.csiro.au
David GreenawayNICTA and School of Computer Science, University of New South WalesVerified email at cse.unsw.edu.au
R JefferyUNSWVerified email at cse.unsw.edu.au

Gerwin Klein

Proofcraft and UNSW

Verified email at unsw.edu.au - Homepage

formal methods interactive theorem proving software verification semantics of programming languages Isabelle/HOL


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Proving the Absence of Microarchitectural Timing Channels S Buckley, R Sison, N Wistoff, C Millar, T Murray, G Klein, G Heiser arXiv preprint arXiv:2310.17046, 2023		2023
Formalising the prevention of microarchitectural timing channels by operating systems R Sison, S Buckley, T Murray, G Klein, G Heiser International Symposium on Formal Methods, 103-121, 2023	4	2023
Property-based testing: Climbing the stairway to verification Z Chen, C Rizkallah, L O'Connor, P Susarla, G Klein, G Heiser, G Keller Proceedings of the 15th ACM SIGPLAN International Conference on Software …, 2022	4	2022
Cyberassured systems engineering at scale D Cofer, I Amundson, J Babar, D Hardin, K Slind, P Alexander, J Hatcliff, ... IEEE Security & Privacy 20 (3), 52-64, 2022	18	2022
Cogent: uniqueness types and certifying compilation L O’CONNOR, Z Chen, C Rizkallah, V Jackson, S Amani, G Klein, ... Journal of Functional Programming 31, e25, 2021	25	2021
Towards provable timing-channel prevention G Heiser, T Murray, G Klein ACM SIGOPS Operating Systems Review 54 (1), 1-7, 2020	11	2020
Formal reasoning under cached address translation HT Syeda, G Klein Journal of Automated Reasoning 64 (5), 911-945, 2020	13	2020
Machine words in Isabelle/HOL J Dawson, P Graunke, B Huffman, G Klein, J Matthews	4	2020
seL4 in Australia: from research to real-world trustworthy systems G Heiser, G Klein, J Andronick Communications of the ACM 63 (4), 72-75, 2020	25	2020
Can we prove time protection? G Heiser, G Klein, T Murray Proceedings of the Workshop on Hot Topics in Operating Systems, 23-29, 2019	23	2019
Forward with separation logic C Bannister UNSW Sydney, 2019		2019
A formal approach to constructing secure air vehicle software D Cofer, A Gacek, J Backes, MW Whalen, L Pike, A Foltzer, M Podhradsky, ... Computer 51 (11), 14-23, 2018	38	2018
Formally verified software in the real world G Klein, J Andronick, M Fernandez, I Kuz, T Murray, G Heiser Communications of the ACM 61 (10), 68-77, 2018	59	2018
Introduction to Milestones in Interactive Theorem Proving J Avigad, JC Blanchette, G Klein, L Paulson, A Popescu, G Snelting Journal of Automated Reasoning 61, 1-8, 2018	8	2018
Bringing Effortless Refinement of Data Layouts to Cogent L O’Connor, Z Chen, P Susarla, C Rizkallah, G Klein, G Keller Leveraging Applications of Formal Methods, Verification and Validation …, 2018	11	2018
Backwards and forwards with separation logic C Bannister, P Höfner, G Klein Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as …, 2018	12	2018
Program verification in the presence of cached address translation HT Syeda, G Klein Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as …, 2018	17	2018
The Cogent case for property-based testing Z Chen, L O'Connor, G Keller, G Klein, G Heiser Proceedings of the 9th Workshop on Programming Languages and Operating …, 2017	16	2017
Provably trustworthy systems G Klein, J Andronick, G Keller, D Matichuk, T Murray, L O'Connor Philosophical Transactions of the Royal Society A: Mathematical, Physical …, 2017	18	2017
Secure mathematically-assured composition of control models D Cofer, J Backes, A Gacek, D DaCosta, M Whalen, I Kuz, G Klein, ... Air Force Research Laboratory Information Directorate, 2017	15	2017

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors