| Title: | Using model checking tools to triage the severity of security bugs in the Xen hypervisor | Authors: | Cook, Byron Döbel, Björn Kroening, Daniel Manthey, Norbert Pohlack, Martin Polgreen, Elizabeth Tautschnig, Michael Wieczorkiewicz, Pawel |
Editors: | Ivrii, Alexander Strichman, Ofer |
Keywords: | computer-aided system design | Book Title: | Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020 | Series/Report no.: | Conference Series: Formal Methods in Computer-Aided Design | URI: | http://hdl.handle.net/20.500.12708/15522 http://dx.doi.org/10.34727/2020/isbn.978-3-85448-042-6_26 |
DOI: | 10.34727/2020/isbn.978-3-85448-042-6_26 | License: | Creative Commons Namensnennung 4.0 International Creative Commons Attribution 4.0 International |
License Identifier: | CC BY 4.0 CC BY 4.0 |
License URI: | http://creativecommons.org/licenses/by/4.0/ | Publication Type: | Inproceedings |
| Appears in Collections: | Beitrag in Konferenzband | Conference Paper Open-Access-Schriftenreihen | Open Access Series |
Files in this item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 26_Using model checking tools to triage the severity of security bugs in the Xen hypervisor.pdf | Published version | 457.97 kB | Adobe PDF | View/Open |
Google ScholarTM
Check
This item is licensed under a
Creative Commons License
