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
PublisherUSENIX Association
Conference LocationWashington, D.C.
URLhttps://www.usenix.org/conference/woot15/workshop-program/presentation/bazhaniuk