Bernard Blackham, Gernot Heiser. Sequoll: A framework for model checking binaries. In 19th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2013, Philadelphia, PA, USA, April 9-11, 2013. pages 97-106, IEEE Computer Society, 2013. [doi]
@inproceedings{BlackhamH13,
title = {Sequoll: A framework for model checking binaries},
author = {Bernard Blackham and Gernot Heiser},
year = {2013},
doi = {10.1109/RTAS.2013.6531083},
url = {http://doi.ieeecomputersociety.org/10.1109/RTAS.2013.6531083},
researchr = {https://researchr.org/publication/BlackhamH13},
cites = {0},
citedby = {0},
pages = {97-106},
booktitle = {19th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2013, Philadelphia, PA, USA, April 9-11, 2013},
publisher = {IEEE Computer Society},
isbn = {978-1-4799-0186-9},
}