Noninterference via symbolic execution

Dimiter Milushev, Wim Beck, Dave Clarke
[ISBN] [Google Scholar] [DBLP] [Citeseer]

Formal Techniques for Distributed Systems
Springer Berlin Heidelberg
Berlin, Heidelberg
Pages 152-168
2012
Note(s): symbolic execution, non-interference, KLEE verifier