THE GORY DETAILS
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)
Intel’s Excite project uses a combination of symbolic execution, fuzzing, and concrete testing to find vulnerabilities in sensitive code.