Hide and Seek with Spectres - Efficient Discovery of Speculative Vulnerabilities with Random Testing

Explore an innovative approach to discovering speculative vulnerabilities through random testing in this 17-minute IEEE conference talk. Learn about the efficient methods developed by researchers from Microsoft Research, IMDEA Software Institute, and Technion for identifying and addressing potential security risks associated with speculative execution. Gain insights into the challenges of detecting Spectre-like vulnerabilities and understand how this novel technique can enhance cybersecurity measures in modern computing systems.