Select Publications

Book Chapters

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, pp. 92 - 113

Kirksey E; Heiser G, 2015, 'Forward', in Macleod J (ed.), Merdeka and the Morning Star Civil Resistance in West Papua, Univ. of Queensland Press, pp. 7 - 8, http://dx.doi.org/10.7202/1018397ar

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 JP, 2020, 'Secure IT without vulnerabilities and back doors', Zeitschrift fur Technikfolgenabschatzung in Theorie und Praxis / Journal for Technology Assessment in Theory and Practice, 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', , 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

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

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

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

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

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

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

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

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

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

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, pp. 95 - 103

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, pp. 63 - 69

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, pp. 2167 - 2178

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, 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, pp. 901 - 928

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, pp. 4938 - 4944


Back to profile page