Handling Information Release and Erasure in Multi-Threaded Programs | IEEE Conference Publication | IEEE Xplore