Jager, T. (2012). On black-box models of computation in cryptology. Ruhr University Bochum.