The Theory of Hash Functions and Random Oracles