Using model checking tools to triage the severity of security bugs in the Xen hypervisor.

Byron Cook, Bjrn Dbel, Daniel Kroening, Norbert Manthey, Martin Pohlack, Elizabeth Polgreen, Michael Tautschnig, Pawel Wieczorkiewicz

Browse the full FMCAD paper archive.