Noninterference via Symbolic Execution. - Dimiter Milushev; Wim Beck; Dave Clarke 001 (FMOODS/FORTE, 2012)