Gernot Heiser

Results: 93



#Item
1Are Virtual-Machine Monitors Microkernels Done Right? Gernot Heiser National ICT Australia∗ and University of New South Wales Sydney, Australia Volkmar Uhlig

Are Virtual-Machine Monitors Microkernels Done Right? Gernot Heiser National ICT Australia∗ and University of New South Wales Sydney, Australia Volkmar Uhlig

Add to Reading List

Source URL: cgi.di.uoa.gr

- Date: 2010-10-21 06:12:58
    2Static Analysis of Device Drivers: We Can Do Better! Sidney Amani‡§ Leonid Ryzhyk‡§ Alastair F. Donaldson¶ Gernot Heiser‡§ Alexander Legg‡k Yanjin Zhu‡§ ‡ NICTA∗

    Static Analysis of Device Drivers: We Can Do Better! Sidney Amani‡§ Leonid Ryzhyk‡§ Alastair F. Donaldson¶ Gernot Heiser‡§ Alexander Legg‡k Yanjin Zhu‡§ ‡ NICTA∗

    Add to Reading List

    Source URL: www.doc.ic.ac.uk

    - Date: 2012-08-31 08:16:46
      3White Paper∗ Protecting e-Government Against Attacks Gernot Heiser University of New South Wales Sydney, Australia

      White Paper∗ Protecting e-Government Against Attacks Gernot Heiser University of New South Wales Sydney, Australia

      Add to Reading List

      Source URL: www.itas.kit.edu

      Language: English - Date: 2013-09-10 11:50:52
      4CALL FOR PAPERS: ACM SIGOPS Conference on Timely Results in Operating Systems (TRIOS) Important Dates Submission deadline (direct submissions) Submission deadline (SOSP transfers) Acceptance notification

      CALL FOR PAPERS: ACM SIGOPS Conference on Timely Results in Operating Systems (TRIOS) Important Dates Submission deadline (direct submissions) Submission deadline (SOSP transfers) Acceptance notification

      Add to Reading List

      Source URL: sigops.org

      Language: English - Date: 2014-02-27 16:45:31
      5Timing Analysis of a Protected Operating System Kernel Bernard Blackham† , Yao Shi† , Sudipta Chattopadhyay‡ , Abhik Roychoudhury‡ and Gernot Heiser† † NICTA and University of New South Wales, Sydney, Austral

      Timing Analysis of a Protected Operating System Kernel Bernard Blackham† , Yao Shi† , Sudipta Chattopadhyay‡ , Abhik Roychoudhury‡ and Gernot Heiser† † NICTA and University of New South Wales, Sydney, Austral

      Add to Reading List

      Source URL: www.comp.nus.edu.sg

      Language: English - Date: 2011-10-10 06:05:28
        6The Last Mile An Empirical Study of Timing Channels on seL4 David Cock, Qian Ge, Toby Murray, Gernot Heiser NICTA and UNSW, Sydney, Australia , , , gern

        The Last Mile An Empirical Study of Timing Channels on seL4 David Cock, Qian Ge, Toby Murray, Gernot Heiser NICTA and UNSW, Sydney, Australia , , , gern

        Add to Reading List

        Source URL: research.davidcock.fastmail.fm

        Language: English - Date: 2014-11-20 18:54:22
          7From L3 to seL4: What Have We Learnt in 20 Years of L4 Microkernels? Kevin Elphinstone, Gernot Heiser NICTA and University of New South Wales

          From L3 to seL4: What Have We Learnt in 20 Years of L4 Microkernels? Kevin Elphinstone, Gernot Heiser NICTA and University of New South Wales

          Add to Reading List

          Source URL: sigops.org

          Language: English - Date: 2014-02-27 16:46:20
          8November 3 - 6, 2013 Farmington, PA, USA SOSP’13 Proceedings of the Twenty-Fourth ACM

          November 3 - 6, 2013 Farmington, PA, USA SOSP’13 Proceedings of the Twenty-Fourth ACM

          Add to Reading List

          Source URL: portalparts.acm.org

          Language: English - Date: 2013-10-04 09:26:29
          9Last-level cache side channel attacks are practical Fangfei Liu, Yuval Yarom, Qian Ge, Gernot Heiser and Ruby B. Lee NICTA Copyright 2014

          Last-level cache side channel attacks are practical Fangfei Liu, Yuval Yarom, Qian Ge, Gernot Heiser and Ruby B. Lee NICTA Copyright 2014

          Add to Reading List

          Source URL: ecewp.ece.wpi.edu

          Language: English - Date: 2015-06-03 15:06:30
            10APSYS2011 STEERING COMMITTEE • Gernot Heiser (NICTA, UNSW, Open Kernel Labs) • Doug Terry (MSR, USA)

            APSYS2011 STEERING COMMITTEE • Gernot Heiser (NICTA, UNSW, Open Kernel Labs) • Doug Terry (MSR, USA)

            Add to Reading List

            Source URL: apsys11.ucsd.edu

            Language: English - Date: 2011-05-31 00:19:58