1![Are 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](https://www.pdfsearch.io/img/454b821ea7b6569dfb6a75ec3fdc786c.jpg) | Add to Reading ListSource URL: cgi.di.uoa.gr- Date: 2010-10-21 06:12:58
|
---|
2![Static 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∗](https://www.pdfsearch.io/img/201de35303cde5d1e84b55522b8a6413.jpg) | Add to Reading ListSource URL: www.doc.ic.ac.uk- Date: 2012-08-31 08:16:46
|
---|
3![White 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](https://www.pdfsearch.io/img/a00b9401b7867b2c9b30573e6d628002.jpg) | Add to Reading ListSource URL: www.itas.kit.eduLanguage: English - Date: 2013-09-10 11:50:52
|
---|
4![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 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](https://www.pdfsearch.io/img/5185b59ef999a43da11bc61a1369589a.jpg) | Add to Reading ListSource URL: sigops.orgLanguage: English - Date: 2014-02-27 16:45:31
|
---|
5![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 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](https://www.pdfsearch.io/img/7ec14d29f7bb36f596bfa7effe5f2d17.jpg) | Add to Reading ListSource URL: www.comp.nus.edu.sgLanguage: English - Date: 2011-10-10 06:05:28
|
---|
6![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 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](https://www.pdfsearch.io/img/b7e79221436a11b3d259b27681fb4687.jpg) | Add to Reading ListSource URL: research.davidcock.fastmail.fmLanguage: English - Date: 2014-11-20 18:54:22
|
---|
7![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 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](https://www.pdfsearch.io/img/5653ffa0f6ce68fc1ac02061418c5f17.jpg) | Add to Reading ListSource URL: sigops.orgLanguage: English - Date: 2014-02-27 16:46:20
|
---|
8![November 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](https://www.pdfsearch.io/img/73c92cfbd0eb7923d7cd7c72f3c67858.jpg) | Add to Reading ListSource URL: portalparts.acm.orgLanguage: English - Date: 2013-10-04 09:26:29
|
---|
9![Last-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](https://www.pdfsearch.io/img/791669738b9a4f95c51c0d69281aead1.jpg) | Add to Reading ListSource URL: ecewp.ece.wpi.eduLanguage: English - Date: 2015-06-03 15:06:30
|
---|
10![APSYS2011 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)](https://www.pdfsearch.io/img/fb8f540a9961d4a42b48821104332d92.jpg) | Add to Reading ListSource URL: apsys11.ucsd.eduLanguage: English - Date: 2011-05-31 00:19:58
|
---|