Workshop Report: NSF WORKSHOP ON SIDE AND COVERT CHANNELS IN COMPUTING SYSTEMS Book uri icon