A generic approach to the security of multi-threaded programs | IEEE Conference Publication | IEEE Xplore