Detecting IP covert timing channels by correlating packet timing with memory content | IEEE Conference Publication | IEEE Xplore