Reliable Hashing without Collision Detection (1993)

Cached

Download Links

by Pierre Wolper , Denis Leroy
Venue:IN COMPUTER AIDED VERIFICATION. 5TH INTERNATIONAL CONFERENCE
Citations:63 - 1 self

Document Versions

Reliable Hashing without Collision Detection –Pierre Wolper, Denis Leroy — 1993 — IN COMPUTER AIDED VERIFICATION. 5TH INTERNATIONAL CONFERENCE