Automatic derivation of platform noninterference properties

Oliver Schwarz, Mads Dam
[doi] [Google Scholar] [DBLP] [Citeseer]

Proceedings Software Engineering and Formal Methods - 14th International Conference, SEFM 2016
Pages 27-44
2016
Note(s): non-interference, ARM architecture