Improving Thomlinson-Walker's Software Patching Scheme Using Standard Cryptographic and Statistical Tools. - Michel Abdalla; Hervé Chabanne; Houda Ferradi; Julien Jainski; David Naccache (ISPEC, 2014)