Black-Box Models Of Computation In Cryptology by Tibor Jager