Effective verification of confidentiality for multi-threaded programs. - Ngo, Tri Minh; Stoelinga, Mariëlle; Huisman, Marieke (Journal of Computer Security, 2014)