[GTALUG] Covert Channel Detection in INTEL SMT