Symbolic Execution for BIOS Security

TitleSymbolic Execution for {BIOS} Security
Publication TypeConference Paper
Year of Publication2015
AuthorsBazhaniuk O, Loucaides J, Rosenbaum L, Tuttle MR, Zimmer V
Conference Name9th {USENIX} Workshop on Offensive Technologies ({WOOT} 15)
Date Published08/2015
Publisher{USENIX} Association
Conference LocationWashington, D.C.
URLhttps://www.usenix.org/conference/woot15/workshop-program/presentation/bazhaniuk