Scientia Professor Gernot Heiser

Professor

BSc'82 physics (Freiburg)
MSc'84 physics (Brock)
PhD'91 computer engineering (ETH Zurich)

Engineering

Computer Science and Engineering

I have been an academic at 91ɫ��Ƭ since completing my PhD in 1991. I am a full professor since 2002. Since 2009 I hold the John Lions Chair of Operating systems, and since 2011 the title of Scientia Professor.

Since its creation in 2003 I was a research program leader at NICTA, where I created what is now the Trustworthy Systems group, spanning NICTA and 91ɫ��Ƭ. NICTA got absorbed into CSIRO in 2017, and since 2021 the group is wholly back at 91ɫ��Ƭ.

I have co-founded Open Kernel Labs in 2006 for commercialising my microkernel research outcomes. This has led to the L4-embedded microkernel being deployed on billions of mobile devices, including the secure enclave of all recent iOS devices, where it protects security-critical operations. OK Labs was sold to General Dynamics in 2012. Since 2009 my work has focussed on the seL4 microkernel and trustworthy systems built on it. This has led to further commercial deployment, including defence systems and mass-produced electric cars.

Phone

+61-2-9065-5346

E-mail

gernot@unsw.edu.au

Location

Level 3, K17 Building

Book Chapters | 2025

Wistoff N; Heiser G; Benini L, 2025, 'fence.t.s: Closing Timing Channels in High-Performance Out-of-Order Cores Through ISA-Supported Temporal Partitioning', in , pp. 269 - 276,

Book Chapters | 2023

Sison R; Buckley S; Murray T; Klein G; Heiser G, 2023, 'Formalising the Prevention of Microarchitectural Timing Channels by Operating Systems', in , pp. 103 - 121,

Book Chapters | 2018

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

Book Chapters | 2015

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,

Book Chapters | 2012

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,

Book Chapters | 1993

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,
Journal articles | 2023

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,

Journal articles | 2020

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,

Journal articles | 2020

Heiser G; Murray T; Klein G, 2020, 'Towards Provable Timing-Channel Prevention', Operating Systems Review ACM, 54, pp. 1 - 7,

Journal articles | 2020

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,

Journal articles | 2020

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,

Journal articles | 2018

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,

Journal articles | 2018

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,

Journal articles | 2018

Heiser G, 2018, 'For Safety's Sake: We Need a New Hardware-Software Contract!', IEEE Design and Test, 35, pp. 27 - 30,

Journal articles | 2018

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,

Journal articles | 2018

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,

Journal articles | 2017

Heiser G, 2017, 'Technical perspective proving file systems meet expectations', Communications of the ACM, 60, pp. 74,

Journal articles | 2017

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,

Journal articles | 2016

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,

Journal articles | 2016

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,

Journal articles | 2016

Elphinstone K; Zarrabi A; Danis A; Shen Y; Heiser G, 2016, 'An Evaluation of Coarse-Grained Locking for Multicore Microkernels', ArXiv,

Journal articles | 2016

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,

Journal articles | 2016

Heiser G; Elphinstone K, 2016, 'L4 microkernels: The lessons from 20 years of research and deployment', ACM Transactions on Computer Systems, 34,

Journal articles | 2016

Lyons A; Heiser G, 2016, 'It's Time: OS Mechanisms for Enforcing Asymmetric Temporal Integrity', ,

Journal articles | 2014

Jung H; Han H; Fekete A; Heiser G; Yeom HY, 2014, 'A scalable lock manager for multicores', ACM Transactions on Database Systems, 39,

Journal articles | 2014

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,

Journal articles | 2012

Heiser GA; Murray TC; Klein G, 2012, 'It's time for trustworthy systems', IEEE Security and Privacy, 10, pp. 67 - 70,

Journal articles | 2011

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,

Journal articles | 2010

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

Journal articles | 2010

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

Journal articles | 2010

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

Journal articles | 2010

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,

Journal articles | 2007

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

Journal articles | 2007

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

Journal articles | 2007

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

Journal articles | 2006

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

Journal articles | 2006

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

Journal articles | 2006

Heiser G; Uhlig V; LeVasseur J, 2006, 'Are virtual-machine monitors microkernels done right?', Operating Systems Review ACM, 40, pp. 95 - 99,

Journal articles | 2005

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

Journal articles | 2004

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

Journal articles | 2003

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

Journal articles | 2002

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

Journal articles | 2002

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

Journal articles | 2002

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

Journal articles | 2002

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

Journal articles | 2001

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

Journal articles | 2001

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

Journal articles | 2001

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

Journal articles | 2000

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

Journal articles | 1998

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

Journal articles | 1998

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

Journal articles | 1997

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

Journal articles | 1997

Schenk A; Heiser GA, 1997, 'Modeling and Simulation of Tunneling through Ultra-Thin Gate Dielectrics', Journal of Applied Physics, pp. 7900 - 7908

Journal articles | 1996

Altermatt P; Heiser GA; Aberle AG; Wang AL; Zhao J; Robinson J; Bowden SJ; Green MA, 1996, 'Spatially resolved analysis and minimisation of resistive losses in high-efficiency Si solar cells', Progress in Photovoltaics, pp. 399 - 414

Journal articles | 1996

Altermatt P; Heiser GA; Dai X; Jurgens J; Aberle AG; Robinson S; Young TR; Wenham SR; Green MA, 1996, 'Rear serface passivation of high-efficiency silicon solar cells by a floating junction', Journal of Applied Physics, pp. 3574 - 3586

Journal articles | 1996

Altermatt P; Heiser GA; Green MA, 1996, 'Numerical quantification and minimisation of perimeter losses in high-efficiency silicon solar cells', Progress in Photovoltaics, pp. 355 - 367

Journal articles | 1996

Edminston SA; Heiser GA; Sproul AB; Green MA, 1996, 'Improved modelling of grain boundary recombination in bulk and p-n junction regions of polycrystalline silicon solar cells', Journal of Applied Physics, pp. 6783 - 6795

Journal articles | 1995

Aberle AG; Altermatt P; Heiser GA; Robinson S; Wang AL; Zhao J; Krumbein U; Green MA, 1995, 'Limiting loss mechanisms in 23% efficient silicon solar cells', Journal of Applied Physics, pp. 3491 - 3501

Journal articles | 1995

Heiser GA; Aberle AG; Wenham SR; Green MA, 1995, 'Two-dimensional numerical simulations of high-efficiency silicon solar cells', Microelectronics Journal, pp. 273 - 286

Journal articles | 1995

Robinson S; Wenham SR; Altermatt P; Aberle AG; Heiser GA; Green MA, 1995, 'Recombination rate saturation mechanisms at oxidized surfaces of high-efficiency silicon solar cells', Journal of Applied Physics, pp. 4740 - 4754

Journal articles | 1994

Aberle AG; Heiser G; Green MA, 1994, 'Two-dimensional minority carrier flow in high-efficiency silicon solar cells at short-circuit, open-circuit and maximum power point operating conditions', Solar Energy Materials and Solar Cells, 34, pp. 149 - 160,

Journal articles | 1994

Aberle AG; Heiser G; Green MA, 1994, 'Two-dimensional numerical optimization study of the rear contact geometry of high-efficiency silicon solar cells', Journal of Applied Physics, 75, pp. 5391 - 5405,

Journal articles | 1994

Aberle AG; Wenham SR; Green MA; Heiser G, 1994, 'Decreased emitter sheet resistivity loss in high‐eficiency silicon solar cells', Progress in Photovoltaics Research and Applications, 2, pp. 3 - 17,

Journal articles | 1994

Sproul AB; Edmiston S; Wenham SR; Heiser GH; Green MA, 1994, 'Innovative structures for thin film crystalline silicon solar cells to give high efficiencies from low quality silicon', Conference Record of the IEEE Photovoltaic Specialists Conference, 2, pp. 1563 - 1566

Journal articles | 1991

Heiser G; Pommerell C; Weis J; Fichtner W, 1991, 'Three-Dimensional Numerical Semiconductor Device Simulation: Algorithms, Architectures, Results', IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems, 10, pp. 1218 - 1230,

Journal articles | 1986

Biagioni E; Hinrichs K; Heiser G; Muller C, 1986, 'A Portable Operating System Interface and Utility Library', IEEE Software, 3, pp. 18 - 26,
Working Papers | 2018

Kouwe EVD; Andriesse D; Bos H; Giuffrida C; Heiser G, 2018, Benchmarking Crimes: An Emerging Threat in Systems Security, ,
Preprints | 2025

Heiser G; Velickovic I; Chubb P; Joshy A; Ganesh A; Nguyen B; Li C; Darville C; Zhu G; Archer J; Zhou J; Winter K; Parker L; Duchniewicz S; Bai T, 2025, Fast, Secure, Adaptable: LionsOS Design, Implementation and Performance,

Conference Papers | 2025

Heiser G, 2025, 'Will We Ever Have Truly Secure Operating Systems?', in PROCEEDINGS OF THE 30TH ACM INTERNATIONAL CONFERENCE ON ARCHITECTURAL SUPPORT FOR PROGRAMMING LANGUAGES AND OPERATING SYSTEMS, VOL 3, ASPLOS 2025, ASSOC COMPUTING MACHINERY, NETHERLANDS, Rotterdam, pp. 1 - 2, presented at 30th International Conference on Architectural Support for Programming Languages and Operating Systems-ASPLOS, NETHERLANDS, Rotterdam, 30 March 2025 - 03 April 2025,

Conference Papers | 2025

Murphy L; Rizaldi A; Rossouw L; George C; Treloar J; Pearce H; Tanaka M; Heiser G, 2025, 'High-Fidelity Specification of Real-World Devices', in Plos 2025 Proceedings of the 13th Workshop on Programming Languages and Operating Systems, pp. 60 - 67,

Preprints | 2025

Wistoff N; Schneider M; GÃ¼rkaynak FK; Heiser G; Benini L, 2025, Systematic Prevention of On-Core Timing Channels by Full Temporal Partitioning,

Preprints | 2025

Zhao J; Tanaka M; Pohjola JÅ; Legnani A; Ung TT; Truong H; Sau TW; Sewell T; Sison R; Syeda H; Myreen M; Norrish M; Heiser G, 2025, Verifying Device Drivers with Pancake,

Reports | 2024

Bennett Moses L; Gauravaram P; Heiser G; Jha S; Lloyd-Jones S; Manwaring K; Ruj S, 2024, Submission to Department of Home Affairs on the Consultation Paper 2023-2030 Australian Cyber Security Strategy: Legislative Reforms,

Preprints | 2024

Wistoff N; Heiser G; Benini L, 2024, fence.t.s: Closing Timing Channels in High-Performance Out-of-Order Cores through ISA-Supported Temporal Partitioning

Preprints | 2023

Buckley S; Sison R; Wistoff N; Millar C; Murray T; Klein G; Heiser G, 2023, Proving the Absence of Microarchitectural Timing Channels,

Conference Papers | 2023

Heiser G; Velickovic I, 2023, 'Tutorial: Using the seL4 Microkernel', in 2023 53RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS - SUPPLEMENTAL VOLUME, DSN-S, IEEE COMPUTER SOC, PORTUGAL, Porto, pp. 4 - 4, presented at 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), PORTUGAL, Porto, 27 June 2023 - 30 June 2023,

Conference Papers | 2023

Orenes-Vera M; Yun H; Wistoff N; Heiser G; Benini L; Wentzlaff D; Martonosi M, 2023, 'AutoCC: Automatic Discovery of Covert Channels in Time-Shared Hardware', in Proceedings of the 56th Annual IEEE ACM International Symposium on Microarchitecture Micro 2023, pp. 871 - 885,

Conference Papers | 2023

Paturel M; Subasinghe I; Heiser G, 2023, 'First steps in verifying the seL4 Core Platform', in Apsys 2023 Proceedings of the 14th ACM Sigops Asia Pacific Workshop on Systems, pp. 9 - 15,

Conference Papers | 2023

Pohjola JÅ; Syeda HT; Tanaka M; Winter K; Sau TW; Nott B; Ung TJT; McLaughlin C; Seassau R; Myreen MO; Norrish M; Heiser G, 2023, 'Pancake: Verified Systems Programming Made Sweeter.', in PLOS@SOSP, ACM, pp. 1 - 9,

Conference Papers | 2023

Pohjola JÅ; Syeda HT; Tanaka M; Winter K; Sau TW; Nott B; Ung TT; McLaughlin C; Seassau R; Myreen MO; Norrish M; Heiser G, 2023, 'Pancake: Verified Systems Programming Made Sweeter', in Plos 2023 Proceedings of the 12th Workshop on Programming Languages and Operating Systems Part of Sosp 2023, pp. 1 - 9,

Conference Papers | 2023

Sison R; Buckley S; Murray T; Klein G; Heiser G, 2023, 'Formalising the Prevention of Microarchitectural Timing Channels by Operating Systems', in Katoen JP; Chechik M; Leucker M (eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, Lübeck, Germany, pp. 103 - 121, presented at Formal Methods (FM 2023), Lübeck, Germany, 06 March 2023 - 10 March 2023,

Conference Papers | 2023

Weber A; Guilley S; Rathfelder R; Stottinger M; Luth C; Malenko M; Grawunder T; Reith S; Puccetti A; Seifert JP; Herfurth N; Sankowski H; Heiser G, 2023, 'Verified Value Chains, Innovation and Competition', in Proceedings of the 2023 IEEE International Conference on Cyber Security and Resilience Csr 2023, pp. 470 - 476,

Conference Papers | 2022

Chen Z; Rizkallah C; O'Connor L; Susarla P; Klein G; Heiser G; Keller G, 2022, 'Property-Based Testing: Climbing the Stairway to Verification', in Sle 2022 Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering Co Located with Splash 2022, pp. 84 - 97,

Conference Papers | 2022

Heiser G; Parker L; Chubb P; Velickovic I; Leslie B, 2022, 'Can We Put the 'S' Into IoT?', in 2022 IEEE 8th World Forum on Internet of Things Wf Iot 2022,

Conference Papers | 2021

Wistoff N; Schneider M; Gurkaynak FK; Benini L; Heiser G, 2021, 'Microarchitectural Timing Channels and their Prevention on an Open-Source 64-bit RISC-V Core', in Proceedings Design Automation and Test in Europe Date, pp. 627 - 632,

Preprints | 2020

Wistoff N; Schneider M; Gürkaynak FK; Benini L; Heiser G, 2020, Prevention of Microarchitectural Covert Channels on an Open-Source 64-bit RISC-V Core,

Conference Papers | 2019

Chapman M; Heiser G, 2019, 'VNUMA: A virtual shared-memory multiprocessor', in Proceedings of the 2009 Usenix Annual Technical Conference, pp. 15 - 28

Conference Papers | 2019

Ge Q; Chothia T; Yarom Y; Heiser G, 2019, 'Time protection: The missing OS abstraction', in Proceedings of the 14th Eurosys Conference 2019,

Conference Papers | 2019

Heiser G; Hsieh W, 2019, 'Message from the 2012 USENIX annual technical conference program co-chairs', in Proceedings of the 2012 USENIX Annual Technical Conference, USENIX ATC 2012, pp. VII

Conference Papers | 2019

Heiser G; Klein G; Murray T, 2019, 'Can We Prove Time Protection?', in Proceedings of the Workshop on Hot Topics in Operating Systems Hotos 2019, pp. 23 - 29,

Preprints | 2019

Heiser G; Klein G; Murray T, 2019, Can We Prove Time Protection?,

Conference Papers | 2019

Shen Y; Heiser G; Elphinstone K, 2019, 'Fault Tolerance Through Redundant Execution on COTS Multicores: Exploring Trade-Offs', in Proceedings 49th Annual IEEE IFIP International Conference on Dependable Systems and Networks Dsn 2019, pp. 188 - 200,

Conference Papers | 2019

Van Der Kouwe E; Heiser G; Andriesse D; Bos H; Giuffrida C, 2019, 'SoK: Benchmarking flaws in systems security', in Proceedings 4th IEEE European Symposium on Security and Privacy Euro S and P 2019, pp. 310 - 325,

Conference Papers | 2018

Biggs S; Lee D; Heiser G, 2018, 'The Jury is in: Monolithic OS design is flawed: Microkernel-based designs improve security', in Proceedings of the 9th Asia Pacific Workshop on Systems Apsys 2018,

Preprints | 2018

Ge Q; Yarom Y; Chothia T; Heiser G, 2018, Time Protection: the Missing OS Abstraction,

Conference Papers | 2018

Ge Q; Yarom Y; Heiser G, 2018, 'No security without time protection: We need a new hardware-software contract', in Proceedings of the 9th Asia Pacific Workshop on Systems Apsys 2018,

Conference Papers | 2018

Lyons AM; McLeod K; Almatary H; Heiser G, 2018, 'Scheduling-Context Capabilities: A Principled, Light-Weight Operating-System Mechanism for Managing Time', in EuroSys '18: Thirteenth EuroSys Conference 2018, April 23--26, 2018, Porto, Portugal, Portugal, presented at Thirteenth EuroSys Conference 2018, Portugal, 23 April 2018 - 26 March 2018,

Preprints | 2018

van der Kouwe E; Andriesse D; Bos H; Giuffrida C; Heiser G, 2018, Benchmarking Crimes: An Emerging Threat in Systems Security,

Conference Papers | 2017

Chen Z; O'Connor L; Keller G; Klein G; Heiser G, 2017, 'The COGENT case for property-based testing', in Proceedings of the 9th Workshop on Programming Languages and Operating Systems, PLOS 2017, Shanghai, China, pp. 1 - 7, presented at 9th Workshop on Programming Languages and Operating Systems, Shanghai, China, 28 October 2017 - 28 October 2017,

Conference Papers | 2017

Elphinstone K; Zarrabi A; McLeod K; Heiser G, 2017, 'A performance evaluation of rump kernels as a multi-server OS building block on seL4', in Proceedings of the 8th Asia-Pacific Workshop on Systems, APSys 2017, Mumbai, India, presented at APSys '17 Proceedings of the 8th Asia-Pacific Workshop on Systems, Mumbai, India, 02 September 2017 - 02 September 2017,

Conference Papers | 2016

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: Verifying high-assurance file system implementations', in International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS, Association for Computing Machinery (ACM), Atlanta, GA, USA, pp. 175 - 188, presented at 21st International Conference on Architectural Support for Programming Languages and Operating Systems, Atlanta, GA, USA, 02 April 2016 - 06 April 2016,

Preprints | 2016

Elphinstone K; Zarrabi A; Danis A; Shen Y; Heiser G, 2016, An Evaluation of Coarse-Grained Locking for Multicore Microkernels,

Preprints | 2016

Ge Q; Yarom Y; Li F; Heiser G, 2016, Your Processor Leaks Information - and There's Nothing You Can Do About It,

Reports | 2016

Heiser G; Kono K; Park K; Van Renesse R, 2016, Report on the Asia-Pacific systems workshop 2015 (APSys'15),

Conference Papers | 2016

Liu F; Ge Q; Yarom Y; McKeen F; Rozas C; Heiser G; Lee RB, 2016, 'CATalyst: Defeating last-level cache side channel attacks in cloud computing', in Proceedings - International Symposium on High-Performance Computer Architecture, Barcelona, SPAIN, pp. 406 - 418, presented at 22nd IEEE International Symposium on High-Performance Computer Architecture (HPCA), Barcelona, SPAIN, 12 March 2016 - 16 March 2016,

Preprints | 2016

Lyons A; Heiser G, 2016, It's Time: OS Mechanisms for Enforcing Asymmetric Temporal Integrity,

Conference Papers | 2016

Sewell T; Kam F; Heiser G, 2016, 'Complete, High-Assurance Determination of Loop Bounds and Infeasible Paths for WCET Analysis', in 2016 IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2016 - Proceedings, Vienna, AUSTRIA, presented at 22nd IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Vienna, AUSTRIA, 11 April 2016 - 14 April 2016,

Conference Papers | 2015

Heiser G; Kono K; Park K; van Renesse R, 2015, 'Report on the Asia-Pacific Systems Workshop 2015 (APSys'15)', in OPERATING SYSTEMS REVIEW, ASSOC COMPUTING MACHINERY, JAPAN, Tokyo, pp. 1 - 2, presented at 6th Asia-Pacific Systems Workshop (APSys), JAPAN, Tokyo, 27 July 2015 - 28 July 2015,

Conference Papers | 2015

Liu F; Yarom Y; Ge Q; Heiser G; Lee RB, 2015, 'Last-level cache side-channel attacks are practical', in Proceedings IEEE Symposium on Security and Privacy, Institute of Electrical and Electronics Engineers (IEEE), CA, San Jose, pp. 605 - 622, presented at 2015 IEEE Symposium on Security and Privacy, CA, San Jose, 18 May 2015 - 20 May 2015,

Conference Papers | 2015

Peters S; Danis A; Elphinstone K; Heiser G, 2015, 'For a Microkernel, a Big Lock Is Fine', in APSys '15 Proceedings of the 6th Asia-Pacific Workshop on Systems, ACM, Tokyo, Japan, presented at ACM Asia-Pacific Workshop on Systems (APSys), Tokyo, Japan, 27 July 2015 - 28 July 2015,

Conference Papers | 2014

Blackham B; Liffiton M; Heiser GA, 2014, 'Trickle: Automated infeasible path detection using all minimal unsatisfiable subsets', in Real-Time and Embedded Technology and Applications Symposium - Proceedings, Berlin, presented at Real-Time and Embedded Technology and Applications Symposium, Berlin, 15 April 2014 - 17 April 2014

Conference Papers | 2014

Carroll A; Heiser G, 2014, 'Mobile multicores: Use them or waste them', in Operating Systems Review ACM, pp. 44 - 48,

Conference Papers | 2014

Carroll A; Heiser GA, 2014, 'Unifying DVFS and offlining in mobile multicores', in Real-Time and Embedded Technology and Applications - Proceedings, Berlin, presented at Real-Time and Embedded Technology and Applications, Berlin, 15 April 2014 - 17 April 2014

Conference Papers | 2014

Cock D; Ge Q; Murray T; Heiser G, 2014, 'The last mile: An empirical study of timing channels on seL4', in Proceedings of the ACM Conference on Computer and Communications Security, pp. 570 - 581,

Conference Papers | 2014

Keller G; Murray T; Amani S; O'Connor L; Chen Z; Ryzhyk L; Klein G; Heiser G, 2014, 'File systems deserve verification too!', in Operating Systems Review ACM, pp. 58 - 64,

Conference Papers | 2014

Lyons AM; Heiser GA, 2014, 'Mixed-Criticality Support in a High-Assurance, General-Purpose Microkernel', in Davis R; Cucu-Grosjean L (ed.), 2nd International Workshop on Mixed Criticality Systems, 2nd Workshop on Mixed Criticality Systems, Rome, Italy, pp. 9 - 14, presented at 2nd Workshop on Mixed Criticality Systems, Rome, Italy, 01 December 2014 - 01 December 2014,

Conference Papers | 2013

Bernard B; Heiser GA, 2013, 'Correct, fast, maintainable - choose any three!', in Proceedings of the 4th Asia-Pacific Workshop on Systems, ACM, New York, NY, presented at APSys'13 Asia-Pacific Workshop on Systems, Singapore, 29 July 2013 - 30 July 2013,

Conference Papers | 2013

Bernard B; Heiser GA, 2013, 'Sequoll: A framework for model checking binaries', in Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium, IEEE, Philadelphia, USA, presented at 19th IEEE Real-Time and Embedded Technology and Applications Symposium, Philadelphia, USA, 09 April 2013 - 11 April 2013

Conference Papers | 2013

Bernard B; Tang V; Heiser GA, 2013, 'Preempt or Not Preempt - That is the Question', in Proceedings of the 4th Asia-Pacific Workshop on Systems, ACM, New York, NY, presented at APSys'13 Asia-Pacific Workshop on Systems, Singapore, 29 July 2013 - 30 July 2013,

Conference Papers | 2013

Budzynowski A; Heiser G, 2013, 'The von Neumann architecture is due for retirement', USENIX, Santa Ana Pueblo, New Mexico, presented at 14th Workshop on Hot Topics in Operating Systems (HotOS XIV), Santa Ana Pueblo, New Mexico, 13 May 2013 - 15 May 2013

Conference Papers | 2013

Carroll A; Heiser G, 2013, 'Mobile Multicores: Use Them or Waste Them', in Proceedings of the 5th Workshop on Power-Aware Computing and Systems, ACM, Farmington, PA, USA, presented at 5th Workshop on Power-Aware Computing and Systems, Farmington, PA, USA, 03 November 2013 - 03 November 2013

Conference Papers | 2013

Carroll A; Heiser GA, 2013, 'The Systems Hacker's Guide to the Galaxy: Energy Usage in a Modern Smartphone', in Proceedings of the 4th Asia-Pacific Workshop on Systems, ACM, New York, NY, presented at APSys'13 Asia-Pacific Workshop on Systems, Singapore, 29 July 2013 - 30 July 2013,

Conference Papers | 2013

Elphinstone K; Heiser G, 2013, 'From L3 to seL4: What have we learnt in 20 years of L4 microkernels?', in Sosp 2013 Proceedings of the 24th ACM Symposium on Operating Systems Principles, pp. 133 - 150,

Conference Papers | 2013

Heiser GA; Lesueur E; Danis AV; Budzynowski A; Salomie T; Alonso G, 2013, 'RapiLog: Reducing system complexity through verification', in Proceedings of the 8th ACM European Conference on Computer Systems, EuroSys 2013, ACM, Prague; Czech Republic, pp. 323 - 336, presented at 8th ACM European Conference on Computer Systems, EuroSys 2013, Prague; Czech Republic, 15 April 2013 - 17 April 2013,

Conference Papers | 2013

Jung H; Han H; Fekete AD; Heiser G; Yeom HY, 2013, 'A scalable lock manager for multicores', in Proceedings of the ACM SIGMOD International Conference on Management of Data, pp. 73 - 84,

Conference Papers | 2013

Keller G; Murray T; Amani S; Connor-Davis LO; Chen Z; Ryzhyk L; Klein G; Heiser G, 2013, 'File Systems Deserve Verification Too!', in Programming Languages and Operating Systems (PLOS), pp. 1 - 7

Conference Papers | 2013

Shi Y; Blackham B; Heiser G, 2013, 'Code optimizations using formally verified properties', in ACM SIGPLAN Notices, pp. 427 - 441,

Conference Papers | 2012

Bernard B; Shi Y; Heiser GA, 2012, 'Improving Interrupt Response Time in a Verifiable Protected Microkernel', in Proceedings of the 7th ACM European Conference on Computer Systems, ACM, New York, NY, USA, pp. 323 - 336, presented at 7th ACM European Conference on Computer Systems, EuroSys'12, Bern, Switzerland, 10 April 2012 - 13 April 2012,

Conference Papers | 2012

Heiser G; Hsieh W, 2012, 'Message from the 2012 USENIX annual technical conference program co-chairs', in Proceedings of the 2012 USENIX Annual Technical Conference, USENIX ATC 2012, Boston, MA, pp. VII - VII, presented at USENIX ATC, Boston, MA, 12 June 2012 - 15 June 2012

Conference Papers | 2011

Amani S; Ryzhyk L; Donaldson A; Heiser GA; Legg A; Zhu Y, 2011, 'Static Analysis of Device Drivers: We Can Do Better!', in Proceedings of the Second Asia-Pacific Workshop on Systems (APSys'11), ACM, New York, NY, USA, pp. 1 - 5, presented at APSys'11: 2nd ACM SIGOPS Asia-Pacific Workshop on Systems, Shanghai, China, 11 July 2011 - 12 July 2011,

Conference Papers | 2011

Bernard B; Shi Y; Chattopadhyay S; Roychoudhury A; Heiser GA, 2011, 'Timing Analysis of a Protected Operating System Kernel', in Proceedings of the 32nd Real Time Systems Symposium, IEEE Computer Society, Los Alamitos, USA, pp. 339 - 348, presented at 2011 32nd IEEE Real-Time Systems Symposium, RTSS 2011, Vienna, Austria, 29 November 2011 - 02 December 2011,

Conference Papers | 2011

Bernard B; Shi Y; Heiser GA, 2011, 'Protected Hard Real-time: The Next Frontier', in Proceedings of the Second Asia-Pacific Workshop on Systems (APSys'11), ACM, New York, NY, USA, pp. 1 - 5, presented at APSys'11: 2nd ACM SIGOPS Asia-Pacific Workshop on Systems, Shanghai, China, 11 July 2011 - 12 July 2011,

Conference Papers | 2011

Heiser G, 2011, 'Low-Overhead Vlrtualization of Mobile Platforms', in PROCEEDINGS OF THE PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON COMPILERS, ARCHITECTURES AND SYNTHESIS FOR EMBEDDED SYSTEMS (CASES '11), ASSOC COMPUTING MACHINERY, TAIWAN, Taipei, pp. 3 - 3, presented at 14th Confernece on Compilers, Architectures and Synthesis for Embedded Systems (CASES), TAIWAN, Taipei, 09 October 2011 - 14 October 2011,

Conference Papers | 2011

Heiser GA; Ryzhyk L; Michael VT; Budzynowski A, 2011, 'What If You Could Actually Trust Your Kernel?', in HotOS XIII: Proceedings of the 13th Workshop on Hot Topics in Operating Systems, USENIX, http://static.usenix.org/events/hotos11/tech/, pp. 1 - 5, presented at 13th Workshop on Hot Topics in Operating Systems, Napa, CA, USA, 09 May 2011,

Conference Papers | 2011

Heiser GA, 2011, 'Virtualizing embedded systems - Why bother?', in Proceedings - Design Automation Conference, Institute of Electrical and Electronics Engineers Inc.,, San Diego, CA, United states, pp. 901 - 905, presented at 2011 48th ACM/EDAC/IEEE Design Automation Conference, DAC 2011, San Diego, CA, United States, 05 June 2011 - 09 June 2011

Conference Papers | 2011

Ryzhyk L; Keys J; Mirla B; Raghunath A; Viji M; Heiser GA, 2011, 'Improved device driver reliability through hardware verification reuse', in Proceedings of the 16th International Conference on Architectural Support for Programming, Association for Computing Machinery, New York, NY, United States, pp. 133 - 144, presented at 16th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2011, Newport Beach, CA, United States, 05 March 2011 - 11 March 2011,

Conference Papers | 2011

Varanasi P; Heiser GA, 2011, 'Hardware-Supported Virtualization on ARM', in Proceedings of the Second Asia-Pacific Workshop on Systems (APSys'11), ACM, New York, NY, USA, pp. 1 - 5, presented at APSys'11: 2nd ACM SIGOPS Asia-Pacific Workshop on Systems, Shanghai, China, 11 July 2011 - 12 July 2011,

Conference Papers | 2010

Carroll A; Heiser GA, 2010, 'An Analysis of Power Consumption in a Smartphone', in Proceedings of the 2010 USENIX Annual Technical Conference, The USENIX Association, Boston, MA, USA, presented at USENIX Annual Technical Conference 2010, Boston, MA, USA, 14 June 2010 - 17 June 2010,

Conference Papers | 2010

Fitzroy-Dale NJ; Kuz I; Heiser GA, 2010, 'Architecture Optimisation with Currawong', in APSys 2010: First ACM Asia-Pacific Workshop on Systems, ACM, New York, NY, USA, presented at APSys2010: 1st ACM Asia-Pacific Workshop on Systems, New Delhi, India, 30 August 2010

Conference Papers | 2010

Heiser GA; Andronick J; Elphinstone KJ; Klein G; Kuz I; Ryzhyk L, 2010, 'The road to trustworthy systems', in Proceedings of the ACM Conference on Computer and Communications Security 2010, ACM, New York, pp. 3 - 9, Chicago, IL, 04 October 2010 - 08 October 2010,

Conference Papers | 2010

Heiser GA; Leslie BJ, 2010, 'The OKL4 Microvisor: Convergence Point of Microkernels and Hypervisors', in APSys 2010: First ACM Asia-Pacific Workshop on Systems, ACM, New York, NY, USA, pp. 19 - 24, presented at APSys2010: 1st ACM Asia-Pacific Workshop on Systems, New Delhi, India, 30 August 2010,

Conference Papers | 2010

Lesueur E; Heiser GA, 2010, 'Dynamic Voltage and Frequency Scaling: The Laws of Diminishing Returns', ACM Digital Library, Vancouver, Canada, presented at HotPower, Vancouver, Canada, 03 October 2010,

Conference Papers | 2010

Lesueur E; Heiser GA, 2010, 'Slow down or sleep, that is the question', in Proceedings of the 2011 USENIX Annual Technical Conference, ISBN 978931971850, USENIX Association, Portland, OR, USA, pp. 217 - 222, presented at USENIX Annual Technical Conference 2011, Portland, OR, USA, 14 June 2010 - 17 June 2010,

Conference Papers | 2010

Ryzhyk L; Keys J; Mirla B; Raghunath A; Vij M; Heiser GA, 2010, 'Improvded device driver reliability through verification reuse', in Proceedings of the Sixth international conference on Hot topics in system dependability, ACM, ACM digital library, pp. 1 - 6, presented at Sixth workshop on hot topics in system dependability, Vancouver, BC, Canada, 03 October 2010,

Conference Papers | 2010

Ryzhyk L; Zhu Y; Heiser GA, 2010, 'The case for active device drivers', in APSys 2010: First ACM Asia-Pacific Workshop on Systems, ACM, New York, NY, USA, presented at APSys2010: 1st ACM Asia-Pacific Workshop on Systems, New Delhi, India, 30 August 2010

Conference Papers | 2009

Chapman M; Heiser GA, 2009, 'VNUMA: A Virtual Shared Memory Multiprocessor', in Proceedings of the 2009 USENIX Annual Technical Conference, The USENIX Association, Berkeley, CA, USA, pp. 349 - 362, presented at 2009 USENIX Annual Technical Conference, San Diego, CA, USA, 14 June 2009 - 19 June 2009,

Conference Papers | 2009

Heiser G, 2009, 'Trusted ← trustworthy ← proof position paper', pp. 55 - 59,

Conference Papers | 2009

Heiser GA, 2009, 'Hypervisors for consumer electronics', in 2009 6th IEEE Consumer Communications and Networking Conference, CCNC 2009, IEEE, New Jersey, USA, presented at World Summit on Genetic and Evolutionary Computation, GEC Summit - 1st ACM/SIGEVO Summit on Genetic and Evolutionary Computation, GEC`09

Conference Papers | 2009

Klein G; Elphinstone K; Heiser G; Andronick J; Cock D; Derrin P; Elkaduwe D; Engelhardt K; Kolanski R; Norrish M; Sewell T; Tuch H; Winwood S, 2009, 'seL4: formal verification of an OS kernel', in Proceedings of SOSP`09, ACM, New York, NY, USA, presented at SOSP, Big Sky, Montana, USA, 11 October 2009 - 14 October 2009,

Conference Papers | 2009

Snowdon DC; Sueur E; Petters S; Heiser GA, 2009, 'Koala a platform for OS-level power management', in PROCEEDINGS OF EUROSYS 2009, ACM, NEW YORK, presented at 4th ACM European Conference on Computer Systems, EuroSys`09, Nuremberg Germany, 01 April 2009 - 03 April 2009,

Conference Papers | 2008

Heiser G, 2008, 'The role of virtualization in embedded systems', in Iies 2008 Proceedings of the 1st Workshop on Isolation and Integration in Embedded Systems, pp. 11 - 16,

Conference Papers | 2008

Ryzhyk L; Kuz I; Heiser GA, 2008, 'Formalising device driver interfaces', in 4th workshop on programming languages and operating systems, Stevenson, WA, USA, presented at 4th workshop on programming languages and operating systems, Stevenson, WA, USA, 18 October 2008

Conference Papers | 2008

Vasseur JL; Uhlig V; Yang Y; Chapman M; Chubb P; Leslie B; Heiser G, 2008, 'Pre-virtualization: Soft layering for virtual machines', in 13th IEEE Asia Pacific Computer Systems Architecture Conference Acsac 2008,

Conference Papers | 2007

Baumann AA; Appavoo J; Wisniewski RW; Da Silva D; Krieger O; Heiser GA, 2007, 'Reboots are for hardware: challenges and solutions to updating an operating system on the fly', in 2007 USENIX annual technical conference, Santa Clara, CA, USA, presented at USENIX annual technical conference 2007, Santa Clara, CA, USA, 17 June 2007 - 22 June 2007

Conference Papers | 2007

Elphinstone KJ; Klein G; Derrin PG; Roscoe T; Heiser GA, 2007, 'Towards a practical, verified kernel', in 11th Workshop on Hot Topics in Operating Systems Proceedings - HotOS X1, San Diego, Californa, USA, presented at 11th workshop on hot topics in operating systems proceedings - HotOS X1, San Diego, Californa, USA, 07 May 2007 - 09 May 2007

Conference Papers | 2007

Elphinstone KJ; Roscoe T; Heiser GA, 2007, 'Hype and Virtue', in 11th Workshop on Hot Topics in Operating Systems Proceedings - HotOS X1, San Diego, Californa, USA, presented at 11th workshop on hot topics in operating systems proceedings - HotOS X1, San Diego, Californa, USA, 07 May 2007 - 09 May 2007

Conference Papers | 2007

Snowdon DC; Petters S; Heiser GA; Van Der Linden GM, 2007, 'Accurate run-time prediction of performance degradation under frequency scaling', in National ICT Australia Technical Reports, OSPERT 2007 workshop on operating systems platforms for embedded real-time applications, Pisa, Italy, presented at OSPERT 2007 workshop on operating systems platforms for embedded real-time applications, Pisa, Italy, 03 June 2007

Conference Papers | 2007

Snowdon DC; Petters SM; Heiser G, 2007, 'Accurate on-line prediction of processor and memoryenergy usage under voltage scaling', in Emsoft 07 Proceedings of the Seventh ACM and IEEE International Conference on Embedded Software, pp. 84 - 93,

Conference Papers | 2007

Zadarnowski P; Petters S; Heiser GA, 2007, 'Measurements or static analysis or both?', in 7th Workshop on worst-case execution-time analysis, Pisa, Italy, presented at 7th Workshop on worst-case execution-time analysis, Pisa, Italy, 03 June 2007

Conference Papers | 2007

van Schaik C; Heiser GA, 2007, 'High-performance microkernels and virtualisation on ARM and segmented architectures', in National ICT Australia Technical Reports, 1st international workshop on microkernels for embedded systems MIKES 2007, Sydney, presented at 1st international workshop on microkernels for embedded systems MIKES 2007, Sydney, 16 January 2007

Conference Papers | 2005

Baumann AA; Heiser GA; Appavoo J; Da Silva D; Krieger O; Wisniewski RW; Kerr J, 2005, 'Providing dynamic update in an operating system', in 2005 USENIX annual technical conference, Anaheim, California, presented at USENIX annual technical conference 2005, Anaheim, California, 10 April 2005 - 15 April 2005

Conference Papers | 2005

Chapman M; Heiser GA, 2005, 'Implementing transparent shared memory on clusters using virtual machines', in 2005 USENIX annual technical conference, Anaheim, California, presented at USENIX annual technical conference 2005, Anaheim, California, 10 April 2005 - 15 April 2005

Conference Papers | 2005

Gray CE; Chapman M; Mosberger-Tang D; Heiser GA; Chubb P, 2005, 'Itanium - a system implementor`s tale', in 2005 USENIX annual technical conference, Anaheim, California, presented at USENIX annual technical conference 2005, Anaheim, California, 10 April 2005 - 15 April 2005

Conference Papers | 2005

Tuch H; Klein G; Heiser GA, 2005, 'OS verification - now!', in 10th workshop on hot topics in operating systems, Santa Fe, NM, USA, presented at 10th workshop on hot topics in operating systems, Santa Fe, NM, USA, 12 June 2005 - 15 June 2005

Conference Papers | 2004

Engel F; Heiser GA; Mumford P; Parkinson KJ, 2004, 'An Open GNSS Receiver Platfrm Architecture', in Journal of Global Positioning Systems, Electronic, CPGPS, P R China, presented at International Symposium on GNSS/GPS 2004, Sydney, 06 December 2004 - 08 December 2004

Conference Papers | 2004

Leslie BJ; Fitzroy-Dale NJ; Heiser GA, 2004, 'Encapsulated User-Level Device Drivers in the Mungi Operating System', in 1st International Workshop on Object Systems and Software Architectures, 1st International Workshop on Object Systems and Software Architectures, Victor Harbour, South Australia, presented at 1st International Workshop on Object Systems and Software Architectures, Victor Harbour, South Australia, 11 January 2004 - 14 January 2004

Conference Papers | 2004

Potts DP; Gray CE; Leslie BJ; Heiser GA, 2004, 'A Secure, Language Independent, High Performance Component Interface', in 1st International Workshop on Object Systems and Software Architectures, 1st International Workshop on Object Systems and Software Architectures, Victor Harbour, South Australia, presented at 1st International Workshop on Object Systems and Software Architectures, Victor Harbour, South Australia, 11 January 2004 - 14 January 2004

Conference Papers | 2003

Szmajda C; Heiser GA, 2003, 'Variable Radix Page Table: A Page for Modern Architecture', in 8th Asia-Pacific Conference, ACSAC 2003, 8th Asia-Pacific Conference, ACSAC 2003, Aizu-Wakamatsu, Japan, pp. 291 - 304, presented at 8th Asia-Pacific Conference, ACSAC 2003, Aizu-Wakamatsu, Japan, 23 September 2003 - 26 September 2003

Conference Papers | 2003

Wiggins AG; Tuch H; Uhlig V; Heiser GA, 2003, 'Implementation of Fast Address-Space Switching and TLB Sharing on the Strong ARM Processor', in 8th Asia-Pacific Conference, ACSAC 2003, Aizu-Wakamatsu, Japan, presented at 8th Asia-Pacific Conference, ACSAC 2003, Aizu-Wakamatsu, Japan, 23 September 2003 - 26 September 2003

Conference Papers | 2003

Wiggins AG; Winwood SJ; Tuch H; Heiser GA, 2003, 'Legba: Fast Hardware Support for Fine-Grained Protection', in 8th Asia-Pacific Conference, ACSAC 2003, Aizu-Wakamatsu, Japan, presented at 8th Asia-Pacific Conference, ACSAC 2003, Aizu-Wakamatsu, Japan, 23 September 2003 - 26 September 2003

Conference Papers | 2002

Stephens S; Heiser G, 2002, 'Fault tolerance and avoidance in biomedical systems', in Proceedings of the 10th Workshop on ACM Sigops European Workshop Ew 10, pp. 198 - 200,

Conference Papers | 2001

Edwards A; Heiser G, 2001, 'Secure OS extensibility needn't cost an arm and a leg', in Proceedings of the Workshop on Hot Topics in Operating Systems HOTOS, pp. 168

Conference Papers | 2001

Edwards A; Heiser GA, 2001, 'Position Summary: Secure OS Extensibiliy Needn`t Cost an Arm and a Leg', in Denise Williams A (ed.), 8th Workshop on Hot Topics in Operating Systems (HotOS-VIII), Elmau, Germany, pp. 168 - 168, presented at 8th Workshop on Hot Topics in Operating Systems (HotOS-VIII), Elmau, Germany, 20 May 2001

Conference Papers | 2001

Heiser GA; Edwards A, 2001, 'Components + Security = OS Extensibility', in 6th Australasian Computer Systems Architecture Conference, Gold Coast, Qld, presented at 6th Australasian Computer Systems Architecture Conference, Gold Coast, Qld, 29 January 2001 - 30 January 2001

Conference Papers | 2000

Altermatt P; Schmit JT; Kerr M; Heiser GA; Aberle AG, 2000, 'Exciton-enhanced auger recombination in crystalline silicon under intermediate and high injection conditions', in Scheer H; McNelis B; Ossenbrink H; Dunlop E; Helm P (eds.), 16th European Photovoltaic Solar Energy Conference and Exhibition, 16th European Photovoltaic Solar Energy Conference and Exhibition, Glasgow, Scotland, pp. CD-Rom, presented at 16th European Photovoltaic Solar Energy Conference and Exhibition, Glasgow, Scotland, 01 May 2000 - 05 May 2000

Conference Papers | 2000

Altermatt P; Schumacher JJ; Cuevas A; Glunz S; King RL; Heiser GA; Schenk A, 2000, 'The extraction of the surface recombination velocity of Si:P emitters using advanced silicon models', in Scheer H; McNelis B; Ossenbrink H; Dunlop E; Helm P (eds.), 16th European Photovoltaic Solar Energy Conference and Exhibition, 16th European Photovoltaic Solar Energy Conference and Exhibition, Glasgow, Scotland, pp. CD-Rom, presented at 16th European Photovoltaic Solar Energy Conference and Exhibition, Glasgow, Scotland, 01 May 2000 - 05 May 2000

Conference Papers | 2000

Corkish RP; Altermatt P; Heiser GA, 2000, 'Simulating electron-beam-induced current across p-n junctions', in Scheer H; McNelis B; Ossenbrink H; Dunlop E; Helm P (eds.), 16th European Photovoltaic Solar Energy Conference and Exhibition, Glasgow, Scotland, pp. CD-Rom, presented at 16th European Photovoltaic Solar Energy Conference and Exhibition, Glasgow, Scotland, 01 May 2000 - 05 May 2000

Conference Papers | 2000

McIntosh KR; Altermatt P; Heiser GA, 2000, 'Depletion-region recombination in silicon solar cells. When does mDR = 2?', in Scheer H; McNelis B; Ossenbrink H; Dunlop E; Helm P (eds.), 16th European Photovoltaic Solar Energy Conference and Exhibition, 16th European Photovoltaic Solar Energy Conference and Exhibition, Glasgow, Scotland, pp. CD-Rom, presented at 16th European Photovoltaic Solar Energy Conference and Exhibition, Glasgow, Scotland, 01 May 2000 - 05 May 2000

Conference Papers | 2000

Wiggins AG; Heiser GA, 2000, 'Fast Address-Space Switching on the StrongARM SA-1100 Processor', in 5th Australasian Computer Architecture Conference, Canberra, presented at 5th Australasian Computer Architecture Conference, Canberra, 03 January 2000

Conference Proceedings (Editor of) | 2000

Heiser GA, (ed.), 2000, '5th Australasian Computer Architecture Conference', Canberra, presented at 5th Australasian Computer Architecture Conference, Canberra, 03 January 2000

Conference Papers | 1999

Altermatt P; Schenk A; Heiser GA; Green MA, 1999, 'The influence of a new bandgap narrowing model on measurements of the intrinsic carrier density in crystalline silicon', in 11th International photovoltaic science and engineering conference, 11th International photovoltaic science and engineering conference, Hokkaido, Japan, presented at 11th International photovoltaic science and engineering conference, Hokkaido, Japan, 20 September 1999 - 24 September 1999

Conference Papers | 1999

Altermatt P; Sinton R; Heiser GA, 1999, 'Improvements in numerical modelling of highly injected crystalline silicon solar cells', in 11th International photovoltaic science and engineering conference, Hokkaido, Japan, presented at 11th International photovoltaic science and engineering conference, Hokkaido, Japan, 20 September 1999 - 24 September 1999

Conference Papers | 1999

Deller L; Heiser G, 1999, 'Linking programs in a single address space', in Proceedings of the 1999 Usenix Annual Technical Conference

Conference Papers | 1999

Deller L; Heiser GA, 1999, 'Linking Programs in Mungi', in 22nd Australasian Computer Science Conference, 22nd Australasian Computer Science Conference, Auckland, New Zealand, presented at 22nd Australasian Computer Science Conference, Auckland, New Zealand, 18 January 1999 - 21 January 1999

Conference Papers | 1999

Deller L; Heiser GA, 1999, 'Linking Programs in a Single Address Space', in Avi Rubin (ed.), USENIX Annual Technical Conference 1999, Monterey, California, pp. 283 - 294, presented at USENIX Annual Technical Conference 1999, Monterey, California, 06 June 1999 - 11 June 1999

Conference Papers | 1999

Elpinstone K; Heiser GA; Liedtke J, 1999, 'Page Tables for 64-bit Computer Systems', in 4th Australasian Computer Architecture Conference, 4th Australasian Computer Architecture Conference, Auckland, New Zealand, presented at 4th Australasian Computer Architecture Conference, Auckland, New Zealand, 18 January 1999 - 21 January 1999

Conference Papers | 1999

Heiser GA; Altermatt PP, 1999, 'Numerical simulation of electron-beam-induced current Near a Silicon Grain Boundary and Impact of a pn-junction space charge region', in Tadashi Saitoh (ed.), 11th Photovoltaic Science and Engineering Conference, 11th Photovoltaic Science and Engineering Conference, Sapporo, Japan, pp. 289 - 290, presented at 11th Photovoltaic Science and Engineering Conference, Sapporo, Japan, 21 September 1999 - 24 September 1999

Conference Papers | 1999

Schumacher JJ; Altermatt P; Heiser GA; Aberle AG, 1999, 'Application of a new bandgap narrowing model to the numerical simulation of saturation current densities of phosphorus doped silicon emitters', in 11th International photovoltaic science and engineering conference, 11th International photovoltaic science and engineering conference, Hokkaido, Japan, presented at 11th International photovoltaic science and engineering conference, Hokkaido, Japan, 20 September 1999 - 24 September 1999

Conference Papers | 1999

Schumacher JJ; Altermatt PP; Heiser GA, 1999, 'Application of an improved band gap narrowing model to the numerical simulation of recombination properties of phosphorus doped silicon emitters', in Tadashi Saitoh (ed.), 11th Photovoltaic Science and Engineering Conference, 11th Photovoltaic Science and Engineering Conference, Sapporo, Japan, pp. 289 - 290, presented at 11th Photovoltaic Science and Engineering Conference, Sapporo, Japan, 21 September 1999 - 24 September 1999

Conference Papers | 1998

Corkish RP; Sproul AB; Puzzer T; Altermatt P; Heiser GA; Luke KL, 1998, 'Quantitative analysis of electron-beam-induced-current profiles of grain boundariesin multicrystalline solar cells', in Schmid J (ed.), Photovoltaic Solar Conversion, Vienna, Austria, pp. 1298 - 1301, presented at 2nd World Conference On Solar Energy Conversion, Vienna, Austria

Conference Papers | 1998

Heiser GA; Lam F; Russell SM; Lam F, 1998, 'Resource Management in the Mungi Single-Address-Space Operating System', in 21st Australasian Computer Science Conference, University of Western Australia, Perth, presented at 21st Australasian Computer Science Conference, University of Western Australia, Perth, 04 February 1998 - 06 February 1998

Conference Papers | 1997

Altermatt P; Heiser GA; Kiesewetter TF; McIntosh KR; Honsberg C; Wenham SR; Green MA, 1997, 'Establishing an Accurate Numerical Model for the 2D Simulation of Buried Contact Cells', in Meakin JD (ed.), IEEE 1997: 26th Photovoltaic Specialists Converence, Anaheim, California, pp. 179 - 182, presented at IEEE 1997: 26th Photovoltaic Specialists Converence, Anaheim, California, 29 September 1997 - 03 October 1997

Conference Papers | 1997

Corkish RP; Puzzer T; Sproul AB; Luke KL; Heiser GA, 1997, 'Electron-Beam-Induced Current Studies of Grain Boundaries in Solar Cells', in ANZSES Solar 1997: Sustainable Energy, Canberra, Australian National University, presented at ANZSES Solar `97: Sustainable Energy, Canberra, Australian National University, 01 December 1997 - 03 December 1997

Conference Papers | 1997

Elphinstone KJ; Russell SM; Heiser GA; Liedtke J, 1997, 'Supporting Persistent Object Systems in a Single Address Space', in 7th International Workshop on Persistent Object Systems, San Francisco, California USA, presented at 7th International Workshop on Persistent Object Systems, San Francisco, California USA, 29 May 1997 - 31 May 1997

Conference Papers | 1997

Kuhlman B; Grauvogi M; Meyer RG; Hezel R; Heiser GA; Aberle AG, 1997, 'Fill Factor Losses in Inversion-layer Silicon Solar Cells due to Current Crowding Effects below the MIS Contact', in Ossenbrink HA (ed.), 14th IEEE Photovoltaic Solar Energy Conference, 14th IEEE Photovoltaic Solar Energy Conference, Barcelona, Spain, pp. 2465 - 2468, presented at 14th IEEE Photovoltaic Solar Energy Conference, Barcelona, Spain, 30 June 1997 - 04 July 1997

Conference Papers | 1997

Kuhlmann B; Aberle AG; Hezel R; Heiser GA, 1997, 'Characterisation and Optimisation of the Al/SiOx/p-Si MIS Contact in MIS-IL Silicon Solar Cells', in Meakin JD (ed.), IEEE 1997: 26th Photovoltaic Specialists Converence, Anaheim, California, pp. 79 - 82, presented at IEEE 1997: 26th Photovoltaic Specialists Converence, Anaheim, California, 29 September 1997 - 03 October 1997

Conference Papers | 1997

Liedtke J; Elphinstone K; Schonberg S; Hartig H; Heiser G; Islam N; Jaeger T, 1997, 'Achieved IPC performance', in Proceedings of the Workshop on Hot Topics in Operating Systems HOTOS, pp. 28 - 31

Conference Papers | 1997

Liedtke J; Elphinstone KJ; Schonberg S; Hartig H; Heiser GA; Islam N; Jaeger T, 1997, 'Achieved IPC Performance (Still the Foundation for Efficiency)', in 6th Workshop on Hot Topics in Operating Systems (HotOS), Cape Cod, MA, USA, presented at 6th Workshop on Hot Topics in Operating Systems (HotOS), Cape Cod, MA, USA

Conference Papers | 1996

Ouyang J; Heiser GA, 1996, 'LIBRA: a library for reliable distributed applications', in International Conference on Parallel and Distributed Processing Techniques and s, International Conference on Parallel and Distributed Processing Techniques and Applications 1996, Sunnyvale, CA, USA, presented at International Conference on Parallel and Distributed Processing Techniques and Applications 1996, Sunnyvale, CA, USA

Conference Papers | 1996

Sproul AB; Edminston SA; Puzzer T; Heiser GA; Wenham SR; Green MA; Young TR, 1996, 'Grain boundary modelling and characterization of thin-film silicon solar cell', in Photovoltaic Specialists Conference, Washington DC, USA, presented at Photovoltaic Specialists Conference, Washington DC, USA, 13 May 1996 - 17 May 1996

Conference Papers | 1996

Vochteloo J; Elphinstone KJ; Russell SJ; Heiser GA, 1996, 'Protection domain extensions in Mungi', in International Workshop on Object Orientation in Operating Systems 1996, Seattle, Washington, USA, presented at International Workshop on Object Orientation in Operating Systems 1996, Seattle, Washington, USA

Conference Papers | 1996

Wenham SR; Green MA; Edminston SA; Campbell PR; Koschier L; Thorpe D; Honsberg C; Shi Z; Heiser GA; Sproul AB, 1996, 'Limits to the efficiency of silicon multilayer thin film solar cells', in Solar Energy Materials and Solar Cells, Elsevier Science BV, pp. 3 - 17

Conference Papers | 1995

Altermatt P; Heiser GA; Zhao J; Wang AL; Wenham SR; Green MA, 1995, 'Analysis and minimisation of resistive losses in high-efficiency Si solar cells by combining measurements with numerical modelling', in European Photovolt Solar Energy Conference 1996, European Photovolt Solar Energy Conference 1996, Nice, France, presented at European Photovolt Solar Energy Conference 1996, Nice, France, 23 October 1995

Conference Papers | 1995

Heiser GA; Altermatt P; Litsios J, 1995, 'Combining 2D and 3D device simulation with circuit simulation for optimising high-efficiency silicon solar cells', in International Conference on Simulation of Semi Conductor Devices and Processes, Erlangen Germany, presented at International Conference on Simulation of Semi Conductor Devices and Processes, Erlangen Germany

Conference Papers | 1995

Heiser GA; Altermatt P; Williams A; Sproul AB; Green MA, 1995, 'Optimisation of rear contact geometry of high efficiency silicon solar cells using three dimensional numerical modelling', in European Photovolt Solar Energy Conference 1995, European Photovolt Solar Energy Conference 1995, Nice, France, presented at European Photovolt Solar Energy Conference 1995, Nice, France, 23 October 1995 - 27 October 1995

Conference Papers | 1995

Ouyang J; Heiser GA, 1995, 'Checkpointing and recovery for distributed shared memory applications', in International Workshop on Object Orientation in Operating Systems 1995, Lund Sweden, presented at International Workshop on Object Orientation in Operating Systems 1995, Lund Sweden

Conference Papers | 1994

Heiser G; Aberle AG, 1994, 'Numerical modelling of non-ideal current-voltage characteristics of high-efficiency silicon solar cells', in 1994 International Workshop on Numerical Modeling of Processes and Devices for Integrated Circuits Nupad 1994, pp. 177 - 180,

Conference Papers | 1994

Wenham SR; Green MA; Edmiston S; Campbell P; Koschier L; Honsberg CB; Sproul AB; Thorpe D; Shi Z; Heiser G, 1994, 'Limits to the efficiency of silicon multilayer thin film solar cells', in Conference Record of the IEEE Photovoltaic Specialists Conference, pp. 1234 - 1241

Conference Papers | 1993

ABERLE AG; GREEN MA; HEISER G, 1993, '2-DIMENSIONAL MINORITY CARRIER FLOW IN HIGH-EFFICIENCY SILICON SOLAR CELLS AT SHORT-CIRCUIT, OPEN-CIRCUIT AND MAXIMUM POWER POINT OPERATING CONDITIONS', in 7TH INTERNATIONAL PHOTOVOLTAIC SCIENCE AND ENGINEERING CONFERENCE, TECHNICAL DIGEST, INTERNATIONAL PVSEC-7, JAPAN, NAGOYA, pp. 543 - 544, presented at 7th International Photovoltaic Science and Engineering Conference (PVSEC-7), JAPAN, NAGOYA, 22 November 1993 - 26 November 1993,

Conference Papers | 1993

Vochteloo J; Russell S; Heiser G, 1993, 'Capability-based protection in the mungi operating system', in Proceedings 3rd International Workshop on Object Orientation in Operating Systems Iwooos 1993, pp. 108 - 115,

Conference Papers | 1992

Russell S; Skea A; Elphinstone K; Heiser G; Burston K; Gorton I; Hellestrand G, 1992, 'Distribution + persistence = global virtual memory', in Proceedings 2nd International Workshop on Object Orientation in Operating Systems Iwooos 1992, pp. 96 - 99,

Conference Papers | 1989

Burgler J; Conti P; Heiser G; Paschedag S; Fichtner W, 1989, 'Three-dimensional simulation of complex semiconductor device structures', in undefined, pp. 106 - 110

I have major research projects funded by:

DARPA
UK's National Cyber Security Centre
German Cyberagentur
US Air Force Research Labs
Foresight Institute (US-based non-profit)

Fellow, 2022
Member of the 2022
2022
2022
(2019) for the paper "" published at SOSP 2009.
IEEE 2016
(SEARC) 2016 ICT Researcher of the Year
��2015��
2014
Engineers Australia ��2014
Vice-Chancellor's Award for Teaching Excellence 2012
Winner (with L4.verified team) NICTA's 2010 A. Richard Newton Excellence in Research Impact Award
Warren Centre , 2010
New South Wales Scientist of the Year 2009, Category Engineering, Mathematics and Computer Science
Winner NICTA's 2008 A. Richard Newton Excellence in Research Impact Award
2007 AIIA iAward, Category Applications and Infrastructure Tools

All my research outcomes are open source, and mostly built around the seL4 Microkernels. I am collaborating with various government, industry as well as the wider open-source community on deploying seL4 in real-world systems.

My Teaching

I teach .

91ɫ��Ƭ

Follow

Scientia Professor Gernot Heiser

Follow me