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

First Page		Document Content
Date: 2016-02-21 20:25:08 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 Source URL: www.usenix.org Download Document from Source Website File Size: 400,47 KB Share Document on Facebook

	Advanced x86: BIOS and System Management Mode Internals SMM Conclusion Xeno Kovah && Corey Kallenberg LegbaCore, LLC DocID: 1tQiw - View Document
	2015 IEEE Symposium on Security and Privacy Using Hardware Features for Increased Debugging Transparency Fengwei Zhang1 , Kevin Leach2 , Angelos Stavrou1 , Haining Wang3 , and Kun Sun1 1 DocID: 1rcGO - View Document
	Use of Sense-Making Methodology in a Requirement Process Georg Strom Gormsvej 1 DK-4320 Lejre, Denmark + DocID: 1qDCv - View Document
	Microsoft PowerPoint - JulyCompatibility Mode] DocID: 1qgnz - View Document