Back to Results
First PageMeta Content
Software / Computing / System software / Boot loaders / BIOS / Rootkits / System Management Mode / Concolic testing / Symbolic execution / Unified Extensible Firmware Interface / QEMU / Software testing


Symbolic execution for BIOS security1 Oleksandr Bazhaniuk, John Loucaides, Lee Rosenbaum, Mark R. Tuttle, Vincent Zimmer2 Intel Corporation May 25, 2015 Abstract We are building a tool that uses symbolic execution to
Add to Reading List

Document Date: 2016-02-21 20:25:08


Open Document

File Size: 400,47 KB

Share Result on Facebook