A Mathematical Model of Mitigating Memory Randomization Weakness via Moving Target Defense | IEEE Conference Publication | IEEE Xplore