Mex+Sync: Software Covert Channels Exploiting Mutual Exclusion and Synchronization | IEEE Journals & Magazine | IEEE Xplore