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

	Muen An x86/64 Separation Kernel for High Assurance Reto Buerki Adrian-Ken Rueegsegger DocID: 1vdaw - View Document
	Analysis of Efficient Techniques for Fast Elliptic Curve Cryptography on x86-64 based Processors Patrick Longa, and Catherine Gebotys Department of Electrical and Computer Engineering, University of Waterloo, Canada, {pl DocID: 1vaTL - View Document
	State of the Port to x86_64 April 2017 April 3 , 2017 Update Topics DocID: 1uUIP - View Document
	State of the Port to x86_64 July 2017 July 7, 2017 Update Topics DocID: 1uQVe - View Document
	x86-64 Machine-Level Programming∗ Randal E. Bryant David R. O’Hallaron September 9, 2005 Intel’s IA32 instruction set architecture (ISA), colloquially known as “x86”, is the dominant instruction DocID: 1toW9 - View Document