Title: Theory of Hash Functions and Random Oracles