Using Information Flow to Design an ISA that Controls Timing Channels | IEEE Conference Publication | IEEE Xplore