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]
@inproceedings{CookDKMPPTW20,
title = {Using model checking tools to triage the severity of security bugs in the Xen hypervisor},
author = {Byron Cook and Björn Döbel and Daniel Kroening and Norbert Manthey and Martin Pohlack and Elizabeth Polgreen and Michael Tautschnig and Pawel Wieczorkiewicz},
year = {2020},
doi = {10.34727/2020/isbn.978-3-85448-042-6_26},
url = {https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_26},
researchr = {https://researchr.org/publication/CookDKMPPTW20},
cites = {0},
citedby = {0},
pages = {185-193},
booktitle = {2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020},
publisher = {IEEE},
isbn = {978-3-85448-042-6},
}