Finish covert-channels

[dbosk]

There are leftovers of the sidechannels lecture in covert-channels. The slides must be revised to focus on covert-channels (side-channels are in crypto). Then we must record a lecture.