Filters

Content Type

• Article 1

Audience

• Professors 1
• Students 1

Form factor

• Intel® IoT Gateway 1
• Intel® Joule™ Module 1
• Embedded 1
• Intel® Curie™ platform 1
• Intel® Edison platform 1
• Intel® Galileo platform 1
• Laptop 1
• Server 1
• Tablet 1

Language

• English 1

Software Products

• Other Software Tools 1

Programming Language

• C/C++ 1

Subject Matter

• Intel® Evangelists 1
• Research 1
• Case Study 1
• Intel® Innovators 1
• Technical Article 1

Topic

• Security 1
• Academic 1
• Debugging 1
• Development Tools 1
• Open Source 1

You searched for:

Sort by RelevanceDate createdLast updated

Order AscDesc

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.

Authored by Engblom, Jakob (Intel) Last updated on 08/02/2019 - 15:51