Reliable Hashing without Collision Detection (1993)

by P Wolper, D Leroy
Venue:In Proc. of CAV’93, volume 697 of LNCS