Select Publications

Book Chapters

Sison R; Buckley S; Murray T; Klein G; Heiser G, 2023, 'Formalising the Prevention of Microarchitectural Timing Channels by Operating Systems', in Formal Methods, Springer International Publishing, pp. 103 - 121, http://dx.doi.org/10.1007/978-3-031-27481-7_8

Edmiston SA; Heiser G; Sproul AB; Green MA, 2018, 'Improved modelling of grain boundary recombination in bulk and p-n junction regions of polycrystalline silicon solar cells', in Renewable Energy: Four Volume Set, Routledge, pp. 92 - 113, http://dx.doi.org/10.4324/9781315793245-48

Kirksey E, 2015, 'Forward', in Macleod J (ed.), Merdeka and the Morning Star Civil Resistance in West Papua, Univ. of Queensland Press

Petters S; Elphinstone KJ; Heiser GA, 2012, 'Trustworthy Real-Time Systems', in Chakraborty S; Eberspächer J (ed.), Advances in Real-Time Systems, Springer, Heidelberg, Germany, pp. 191 - 206, http://dx.doi.org/10.1007/978-3-642-24349-3_9

Heiser G; Aberle AG; Wenham SR; Green MA, 1993, 'Two-Dimensional Numerical Simulations of High Efficiency Silicon Solar Cells', in Simulation of Semiconductor Devices and Processes, Springer Vienna, pp. 389 - 392, http://dx.doi.org/10.1007/978-3-7091-6657-4_96

Journal articles

Wistoff N; Schneider M; Gurkaynak FK; Heiser G; Benini L, 2023, 'Systematic Prevention of On-Core Timing Channels by Full Temporal Partitioning', IEEE Transactions on Computers, 72, pp. 1420 - 1430, http://dx.doi.org/10.1109/TC.2022.3212636

Heiser G; Murray T; Klein G, 2020, 'Towards Provable Timing-Channel Prevention', Operating Systems Review (ACM), 54, pp. 1 - 7, http://dx.doi.org/10.1145/3421473.3421475

Van Der Kouwe E; Heiser G; Andriesse D; Bos H; Giuffrida C, 2020, 'Benchmarking Flaws Undermine Security Research', IEEE Security and Privacy, 18, pp. 48 - 57, http://dx.doi.org/10.1109/MSEC.2020.2969862

Weber A; Heiser G; Kuhlmann D; Schallbruch M; Chattopadhyay A; Guilley S; Kasper M; Krauß C; Krüger PS; Reith S; Seifert J-P, 2020, 'Sichere IT ohne Schwachstellen und Hintertüren', TATuP - Zeitschrift für Technikfolgenabschätzung in Theorie und Praxis, 29, pp. 30 - 36, http://dx.doi.org/10.14512/tatup.29.1.30

Heiser G; Klein G; Andronick J, 2020, 'SeL4 in Australia: From Research to Real-World Trustworthy Systems', Communications of the ACM, 63, pp. 72 - 75, http://dx.doi.org/10.1145/3378426

Hu XS; Ernst R; Eles P; Heiser G; Keutzer K; Kim D; Tohdo T, 2018, 'Roundtable: Machine Learning for Embedded Systems: Hype or Lasting Impact?', IEEE Design and Test, 35, pp. 86 - 93, http://dx.doi.org/10.1109/MDAT.2018.2869988

Cofer D; Gacek A; Backes J; Whalen MW; Pike L; Foltzer A; Podhradsky M; Klein G; Kuz I; Andronick J; Heiser G; Stuart D, 2018, 'A Formal Approach to Constructing Secure Air Vehicle Software', Computer, 51, pp. 14 - 23, http://dx.doi.org/10.1109/MC.2018.2876051

Klein G; Andronick J; Fernandez M; Kuz I; Murray T; Heiser G, 2018, 'Formally verified software in the real world', Communications of the ACM, 61, pp. 68 - 77, http://dx.doi.org/10.1145/3230627

Ge Q; Yarom Y; Cock D; Heiser G, 2018, 'A survey of microarchitectural timing attacks and countermeasures on contemporary hardware', Journal of Cryptographic Engineering, 8, pp. 1 - 27, http://dx.doi.org/10.1007/s13389-016-0141-6

Heiser G, 2018, 'For Safety's Sake: We Need a New Hardware-Software Contract!', IEEE Design and Test, 35, pp. 27 - 30, http://dx.doi.org/10.1109/MDAT.2017.2766559

Sewell T; Kam F; Heiser G, 2017, 'High-assurance timing analysis for a high-assurance real-time operating system', Real-Time Systems, 53, pp. 812 - 853, http://dx.doi.org/10.1007/s11241-017-9286-3

Heiser G, 2017, 'Technical perspective proving file systems meet expectations', Communications of the ACM, 60, pp. 74, http://dx.doi.org/10.1145/3051090

Ge Q; Yarom Y; Li F; Heiser G, 2016, 'Your Processor Leaks Information - and There's Nothing You Can Do About It', Your Processor Leaks Information - and There's Nothing You Can Do About It, http://arxiv.org/abs/1612.04474v6

Elphinstone K; Zarrabi A; Danis A; Shen Y; Heiser G, 2016, 'An Evaluation of Coarse-Grained Locking for Multicore Microkernels', ArXiv, https://pdfs.semanticscholar.org/762a/284bd8b6ace609285f72f22dc1e03b004f33.pdf

Amani S; Hixon A; Chen Z; Rizkallah C; Chubb P; O'Connor L; Beeren J; Nagashima Y; Lim J; Sewell T; Tuong J; Keller G; Murray T; Klein G; Heiser G, 2016, 'Cogent', ACM SIGARCH Computer Architecture News, 44, pp. 175 - 188, http://dx.doi.org/10.1145/2980024.2872404

Lyons A; Heiser G, 2016, 'It's Time: OS Mechanisms for Enforcing Asymmetric Temporal Integrity', It's Time: OS Mechanisms for Enforcing Asymmetric Temporal Integrity, http://arxiv.org/abs/1606.00111v2

Heiser G; Elphinstone K, 2016, 'L4 microkernels: The lessons from 20 years of research and deployment', ACM Transactions on Computer Systems, 34, http://dx.doi.org/10.1145/2893177

Amani S; Sewell T; Tuong J; Keller G; Murray T; Klein G; Heiser G; Hixon A; Chen Z; Rizkallah C; Chubb P; O'Connor L; Beeren J; Nagashima Y; Lim J, 2016, 'CoGENT', ACM SIGOPS Operating Systems Review, 50, pp. 175 - 188, http://dx.doi.org/10.1145/2954680.2872404

Jung H; Han H; Fekete A; Heiser G; Yeom HY, 2014, 'A scalable lock manager for multicores', ACM Transactions on Database Systems, 39, http://dx.doi.org/10.1145/2691190.2691192

Klein G; Andronick J; Elphinstone K; Murray T; Sewell T; Kolanski R; Heiser G, 2014, 'Comprehensive Formal Verification of an OS Microkernel', ACM Transactions on Computer Systems, 32, http://dx.doi.org/10.1145/2560537

Heiser GA; Murray TC; Klein G, 2012, 'It's time for trustworthy systems', IEEE Security and Privacy, 10, pp. 67 - 70, http://dx.doi.org/10.1109/MSP.2012.41

Ryzhyk L; Keys J; Mirla B; Raghunath A; Vij M; Heiser G, 2011, 'Improved device driver reliability through hardware verification reuse', ACM SIGARCH Computer Architecture News, 39, pp. 133 - 144, http://dx.doi.org/10.1145/1961295.1950383

Heiser G, 2010, 'Security and mobility the future is now', Electronics World, 116, pp. 31 - 32

Heiser G, 2010, 'Virtualizing embedded linux', Electronics World, 116, pp. 34 - 37

Heiser G, 2010, 'Virtualizing embedded linux', Electronics World, 116, pp. 34 - 37

Klein G; Andronick J; Elphinstone KJ; Heiser GA; Cock D; Philip D; Elkaduwe D; Engelhardt K; Kolanski R; Norrish M; Sewell T; Tuch H; Winwood S, 2010, 'seL4: formal verification of an operating-system kernel', Communications of the ACM, 53, pp. 107 - 115, http://dx.doi.org/10.1145/1743546.1743574

Heiser G, 2007, 'Mobile maladies [4]', Scientific American, 296, pp. 14

Kuz I; Liu Y; Gorton I; Heiser GA, 2007, 'CAmkES: A component model for secure microkernel-based embedded systems', Journal of Systems and Software, 80, pp. 687 - 699, http://dx.doi.org/10.1016/j.jss.2006.08.039

Heiser GA; Elphinstone KJ; Kuz I; Klein G; Petters S, 2007, 'Towards trustworthy computing systems: taking microkernels to the next level', ACM Sigops Operating Systems Review, 41, pp. 3 - 11, http://dx.doi.org/10.1145/1278901.1278904

Heiser G; Uhlig V; LeVasseur J, 2006, 'Are virtual-machine monitors microkernels done right?', Operating Systems Review (ACM), 40, pp. 95 - 99, http://dx.doi.org/10.1145/1113361.1113363

Altermatt P; Schenk A; Heiser GA, 2006, 'A simulation model for the density of states and for incomplete ionization in crystalline silicon. I. Establishing the model in Si : P', Journal of Applied Physics, 100, http://dx.doi.org/10.1063/1.2386934

Altermatt P; Schenk A; Schmithuesen B; Heiser GA, 2006, 'A simulation model for the density of states and for incomplete ionization in crystalline silicon. II. Investigation of Si : As and Si : B and usage in device simulation', Journal of Applied Physics, 100, http://dx.doi.org/10.1063/1.2386935

Leslie BJ; Chubb P; Fitzroy-Dale NJ; Gotz S; Gray CE; Macpherson LD; Potts DP; Elphinstone KJ; Heiser GA; Shen Y, 2005, 'User-level device drivers: Achieved performance', Journal of Computer Science and Technology, 20, pp. 654 - 664, http://dx.doi.org/10.1007/s11390-005-0654-4

Rizos C; Mumford P; Parkinson KJ; Engel F; Heiser GA, 2004, 'An open GNSS receiver platform architecture', Positioning, 3, pp. 63 - 69

Altermatt P; Schenk A; Geelhaar F; Heiser GA, 2003, 'Reassessment of the intrinsic carrier density in crystalline silicon in view of band-gap narrowing', Journal of Applied Physics, 93,, pp. 1598 - 1604, http://dx.doi.org/10.1063/1.1529297

Altermatt P; Aberle AG; Zhao J; Wang A; Heiser GA, 2002, 'A numerical model of p n junctions bordering on surfaces', Solar Energy Materials and Solar Cells, 74, pp. 165 - 174, http://dx.doi.org/10.1016/S0927-0248(02)00061-2

Altermatt P; Heiser GA, 2002, 'Development of a three-dimensional numerical model of grain boundaries in highly doped polycrystalline silicon and applications to solar cells', Journal of Applied Physics, 91, pp. 4271 - 4274, http://dx.doi.org/10.1063/1.1456962

Altermatt P; Schumacher JJ; Cuevas A; Kerr M; Glunz S; King RR; Heiser GA; Schenk A, 2002, 'Numerical modeling of highly doped Si:P emitters based of Fermi-Dirac statistics and self-consistent material parameters', Journal of Applied Physics, 92, pp. 3187 - 3197, http://dx.doi.org/10.1063/1.1501743

Altermatt P; Heiser GA, 2002, 'Predicted electronic properties of polycrystalline silicon from three-dimensional device modeling combined with defect-pool model', Journal of Applied Physics, 92, pp. 2561 - 2574, http://dx.doi.org/10.1063/1.1498961

Schumacher JJ; Altermatt P; Heiser GA; Aberle AG, 2001, 'Application of an improved bandgap narrowing model to the numerical simulation of recombination properties of phosphorus doped silicon emitters', Solar Energy Materials and Solar Cells, 65, pp. 95 - 103, http://dx.doi.org/10.1016/S0927-0248(00)00082-9

Altermatt P; Sinton R; Heiser GA, 2001, 'Improvements in the numerical modeling of highly injected crystalline silicon solar cells', Solar Energy Materials and Solar Cells, pp. 149 - 155

Corkish RP; Altermatt P; Heiser GA, 2001, 'Numerical simulation of electron-beam-induced current near a silicon grain boundary and impact of a p-n junction space charge region', Solar Energy Materials and Solar Cells, 65, pp. 63 - 69, http://dx.doi.org/10.1016/S0927-0248(00)00078-7

Kuhlmann B; Aberle AG; Hezel R; Heiser GA, 2000, 'Simulation and optimization of metal-insulator-semiconductor inversion-layer silicon solar cells', IEEE Transactions on Electron Devices, 47, pp. 2167 - 2178, http://dx.doi.org/10.1109/16.877180

Bradley PT; Rozenfeld A; Lee KT; Jamieson DD; Heiser GA; Satoh S, 1998, 'Charge Collection and Radiation Hardness of a SOI Microdosimeter for Medical and Space Applications', IEEE Transactions on Nuclear Science, 45, pp. 2700 - 2710

Heiser GA; Elphinstone KJ; Vochteloo J; Russell SM; Liedtke J, 1998, 'The Mungi Single-Address-Space Operating System', Software-Practice and Experience, 28, pp. 901 - 928, http://dx.doi.org/10.1002/(SICI)1097-024X(19980725)28:9<901::AID-SPE181>3.0.CO;2-7


Back to profile page