What does the timing code use? rdtsc ? cpuid ?
Jan 5, 2018, 7:13:40 AM
Posted to Reading privileged memory with a side-channel
