Detecting Speculative Data Flow Vulnerabilities Using Weakest Precondition Reasoning.

Graeme Smith

Browse the full TASE paper archive.