Efficient Information-Flow Verification Under Speculative Execution.

Roderick Bloem, Swen Jacobs, Yakir Vizel

Browse the full ATVA paper archive.