AutoCC : Automatic discovery of Covert Channels in Time-shared Hardware | IEEE Conference Publication | IEEE Xplore