Efficient Information-Flow Verification Under Speculative Execution.

Roderick Bloem Swen Jacobs Yakir Vizel

Published in: ATVA (2019)

Keyphrases

information flow
social networks
flow graph
supply chain
general purpose
model checking
communication networks
object oriented
random walk