Blog post

The Right Mindset for Testing (Testing Theory Part 1)

Authored by Engblom, Jakob (Intel) Last updated on 07/13/2018 - 14:32
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