Richard Banach Michael Poppleton Czeslaw Jeske Susan Stepney Retrenching the Purse: Hashing Injective CLEAR Codes, and Security Properties. 82-90 2006 ISoLA http://dx.doi.org/10.1109/ISoLA.2006.17 conf/isola/2006 db/conf/isola/isola2006.html#BanachPJS06