Using model checking tools to triage the severity of security bugs in the Xen hypervisor - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Byron Cook, Björn Döbel, Daniel Kroening, Norbert Manthey, Martin Pohlack, Elizabeth Polgreen, Michael Tautschnig, Pawel Wieczorkiewicz. Using model checking tools to triage the severity of security bugs in the Xen hypervisor. In 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020. pages 185-193, IEEE, 2020. [doi]

This author has not been identified. Look up 'Byron Cook' in GoogleThis author has not been identified. Look up 'Björn Döbel' in GoogleThis author has not been identified. Look up 'Daniel Kroening' in GoogleThis author has not been identified. Look up 'Norbert Manthey' in GoogleThis author has not been identified. It may be one of the following persons:

Martin Pohlack

Look up 'Martin Pohlack' in GoogleThis author has not been identified. Look up 'Elizabeth Polgreen' in GoogleThis author has not been identified. It may be one of the following persons:

Michael Tautschnig

Look up 'Michael Tautschnig' in GoogleThis author has not been identified. Look up 'Pawel Wieczorkiewicz' in Google

runs on WebDSL