Blog post

Why P scales as C*V^2*f is so obvious (pt 2)


Let’s continue from where we left off last time. Let’s figure out the why of the equation,

P = C * V^2 * (a * f)

Authored by Last updated on 05/09/2019 - 22:55

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