@inproceedings {191950, author = {Oleksandr Bazhaniuk and John Loucaides and Lee Rosenbaum and Mark R. Tuttle and Vincent Zimmer}, title = {Symbolic Execution for {BIOS} Security}, booktitle = {9th USENIX Workshop on Offensive Technologies (WOOT 15)}, year = {2015}, address = {Washington, D.C.}, url = {https://www.usenix.org/conference/woot15/workshop-program/presentation/bazhaniuk}, publisher = {USENIX Association}, month = aug }