| Title: | Using Model Checking Tools to Triage the Severity of Security Bugs in the Xen Hypervisor |
|---|---|
| Links: | Homepage Document as PDF |
| Authors: | Byron Cook |
| Bjoern Doebel | |
| Daniel Kroening EMail | |
| Norbert Manthey | |
| Martin Pohlack | |
| Elizabeth Polgreen | |
| Michael Tautschnig | |
| Pawel Wieczorkiewicz | |
| Remarks: | |
| Topics: |
Bibtex:
@inproceedings{cdkmpptw2020,
AUTHOR = { Cook, Byron
and Doebel, Bjoern
and Kroening, Daniel
and Manthey, Norbert
and Pohlack, Martin
and Polgreen, Elizabeth
and Tautschnig, Michael
and Wieczorkiewicz, Pawel },
TITLE = { Using Model Checking Tools to Triage the Severity of Security Bugs in the {Xen} Hypervisor },
BOOKTITLE = { Formal Methods in Computer-Aided Design (FMCAD) },
YEAR = { 2020 },
PUBLISHER = { IEEE },
PAGES = { 185--193 },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.