APA (7th ed.) Citation

Smith, G. (2025). Detecting speculative data flow vulnerabilities using weakest precondition reasoning.

Chicago Style (17th ed.) Citation

Smith, Graeme. Detecting Speculative Data Flow Vulnerabilities Using Weakest Precondition Reasoning. 2025.

MLA (9th ed.) Citation

Smith, Graeme. Detecting Speculative Data Flow Vulnerabilities Using Weakest Precondition Reasoning. 2025.

Warning: These citations may not always be 100% accurate.