Oleksandr Bazhaniuk, John Loucaides, Lee Rosenbaum, Mark R. Tuttle, Vincent Zimmer. Symbolic Execution for BIOS Security. In 9th USENIX Workshop on Offensive Technologies, WOOT '15, Washington, DC, USA, August 10-11, 2014. USENIX Association, 2015. [doi]
Abstract is missing.