Reliable Hashing without Collosion Detection. - Pierre Wolper; Denis Leroy (CAV, 1993)