Value-Dependent Information-Flow Security on Weak Memory Models.

Graeme Smith, Nicholas Coughlin, Toby Murray

Browse the full FM paper archive.