Article

Getting Started: Intel® System Studio

This document provides a general overview of Intel® System Studio for Microcontrollers 2015 and information about how to use it for developing and debugging your applications for the Intel® Quark™ microcontroller D1000 on Linux* platforms. The overview will cover using how to do this from the command line and from Eclipse* IDE and provides a list of compiler options, additional product...
作者: JON J K. (Intel) 最后更新时间: 2019/05/29 - 16:13
Article

Finding BIOS Vulnerabilities with Symbolic Execution and Virtual Platforms

Intel’s Excite project uses a combination of symbolic execution, fuzzing, and concrete testing to find vulnerabilities in sensitive code.
作者: Engblom, Jakob (Intel) 最后更新时间: 2019/08/02 - 15:51