Blog post
Blog post

2017: A Summer of Consensus

Authored by Rick Echevarria (Intel) Last updated on 04/17/2018 - 15:58
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