TurboCC: A Practical Frequency-Based Covert Channel With Intel Turbo Boost. - Manuel Kalmbach; Mathias Gottschlag; Tim Schmidt; Frank Bellosa (CoRR, 2020)