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
Springer Berlin Heidelberg
Berlin, Heidelberg
Pages 152-168
2012
Note(s): symbolic execution, non-interference, KLEE verifier