Model-Checking Secure Information Flow for Multi-threaded Programs. - Marieke Huisman; Henri-Charles Blondeel (TOSCA, 2011)