ORCID as entered in ROS

Select Publications
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
Wistoff N; Schneider M; Gurkaynak FK; Heiser G; Benini L, 2022, 'Systematic Prevention of On-Core Timing Channels by Full Temporal Partitioning', IEEE Transactions on Computers, pp. 1 - 11, 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), vol. 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, vol. 18, pp. 48 - 57, http://dx.doi.org/10.1109/MSEC.2020.2969862
Heiser G; Klein G; Andronick J, 2020, 'SeL4 in Australia: From Research to Real-World Trustworthy Systems', Communications of the ACM, vol. 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, vol. 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, vol. 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, vol. 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, vol. 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, vol. 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, vol. 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, vol. 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, vol. 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, vol. 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, vol. 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, vol. 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, vol. 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, vol. 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, vol. 39, pp. 133 - 144, http://dx.doi.org/10.1145/1961295.1950383
Heiser G, 2010, 'Security and mobility the future is now', Electronics World, vol. 116, pp. 31 - 32
Heiser G, 2010, 'Virtualizing embedded linux', Electronics World, vol. 116, pp. 34 - 37
Heiser G, 2010, 'Virtualizing embedded linux', Electronics World, vol. 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, vol. 53, pp. 107 - 115, http://dx.doi.org/10.1145/1743546.1743574
Heiser G, 2007, 'Mobile maladies [4]', Scientific American, vol. 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, vol. 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, vol. 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), vol. 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, vol. 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, vol. 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, vol. 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, vol. 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, vol. 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, vol. 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, vol. 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, vol. 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, vol. 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, vol. 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, vol. 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, vol. 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, vol. 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, vol. 28, pp. 901 - 928, http://dx.doi.org/10.1002/(SICI)1097-024X(19980725)28:9<901::AID-SPE181>3.0.CO;2-7
Altermatt P; Schmidt J; Heiser GA; Aberle AG, 1997, 'Assessment and Parameterisation of Coulomb-Enhanced Auger Recombination Coefficients in Lowly Injected Crystalline Silicon', Journal of Applied Physics, vol. 82, pp. 4938 - 4944, http://dx.doi.org/10.1063/1.366360