Tired of Bugs? Find them!
At the next Trustworthy Tuesday session, Lucas Deutschmann will discuss the UPEC method from the field of formal verification, which can be used to systematically identify vulnerabilities in microarchitectures.
At the next Trustworthy Tuesday session, Lucas Deutschmann will discuss the UPEC method from the field of formal verification, which can be used to systematically identify vulnerabilities in microarchitectures.