Hyperkernel: Push-Button Verification of an OS Kernel Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, and Xi Wang University of Washington {lukenels,helgi,kaiyuanz,dgj16,bo

First Page		Document Content
Date: 2018-08-21 17:45:06 Computer architecture Computing Formal methods Logic in computer science Kernel Linux kernel L4 microkernel family Mach Verification X86-64 Formal verification Satisfiability modulo theories		Hyperkernel: Push-Button Verification of an OS Kernel Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, and Xi Wang University of Washington {lukenels,helgi,kaiyuanz,dgj16,bo Add to Reading List Source URL: unsat.cs.washington.edu Download Document from Source Website File Size: 648,62 KB Share Document on Facebook

	Upstreaming hardware support in the Linux kernel: why and how? Thomas Petazzoni - CTO Bootlin DocID: 1vmWS - View Document
	The Implementation of Passive Covert Channels in the Linux Kernel Joanna Rutkowska joanna at invisiblethings.org Chaos Communication Congress December 2004 DocID: 1uBfP - View Document
	Differentiating Communication Styles of Leaders on the Linux Kernel Mailing List Daniel Schneider Scott Spurlock DocID: 1uxk9 - View Document
	P4C-XDP: Programming the Linux Kernel Forwarding Plane using P4 William Tu, VMware NSBU Mihai Budiu, VMware Research {mbudiu,tuc}@vmware.com June 5, 2018 DocID: 1uvHT - View Document
	Copyright © 2009 Red Hat, Inc. “Red Hat,” Red Hat Linux, the Red Hat “Shadowman” logo, and the products listed are trademarks of Red Hat, Inc., registered in the U.S. and other countries. Linux® is the registe DocID: 1uvk2 - View Document