MicroWalk is a microarchitectural leakage detection framework, that uses dynamic instrumentation to compare a given program’s behaviour for a random set of test cases; if these execution traces differ, it tries to quantify the amount of leaked information.
