ICE: circumventing meltdown with an advanced binary analysis framework. - Dean Pucsek; Jonah Wall; Celina Gibbs; Jennifer Baldwin; Martin Salois; Yvonne Coady (TOPI@ICSE, 2011)