%0 Journal Article
%T Information-flow control on ARM and POWER multicore processors
%A Smith, Graeme
%A Coughlin, Nicholas
%A Murray, Toby
%J Formal Methods in System Design
%V 58
%N 1-2
%P 251-293
%@ 0925-9856
%D 2021-10-01
%I Springer US
%~ DeepDyve