![Software / Computing / System software / Boot loaders / BIOS / Rootkits / System Management Mode / Concolic testing / Symbolic execution / Unified Extensible Firmware Interface / QEMU / Software testing Software / Computing / System software / Boot loaders / BIOS / Rootkits / System Management Mode / Concolic testing / Symbolic execution / Unified Extensible Firmware Interface / QEMU / Software testing](https://www.pdfsearch.io/img/870775f0c042d2a3b72a81f5963db335.jpg) Date: 2016-02-21 20:25:08Software 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 toAdd to Reading ListSource URL: www.usenix.orgDownload Document from Source Website File Size: 400,47 KBShare Document on Facebook
|