Gernot Heiser - PDFSEARCH.IO - Document Search Engine

Gernot Heiser
Results: 93

#	Item
1	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
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∗ Add to Reading List Source 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 Add to Reading List Source URL: www.itas.kit.edu Language: English - Date: 2013-09-10 11:50:52 Software System software Computing Embedded systems L4 microkernel family Gernot Heiser Hypervisor Microkernel Open Kernel Labs Xen VMware ESXi Virtualization
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 Add to Reading List Source URL: sigops.org Language: English - Date: 2014-02-27 16:45:31 Symposium on Operating Systems Principles Digital media Research Electronic submission Gernot Heiser
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 Add to Reading List Source URL: www.comp.nus.edu.sg Language: 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 Add to Reading List Source URL: research.davidcock.fastmail.fm Language: 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 Add to Reading List Source URL: sigops.org Language: English - Date: 2014-02-27 16:46:20 Computer architecture Software Computing L4 microkernel family Gernot Heiser Open Kernel Labs Microkernel L3 microkernel Heiser Kernel Symposium on Operating Systems Principles Mach
8	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 Computer science Symposium on Operating Systems Principles Association for Computing Machinery Carnegie Mellon University Gernot Heiser Computing
9	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
10	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

UPDATE