Danfeng Zhang: Sound and Practical Methods for Full-System Timing Channel Control. Cornell University, USA 2015