Black-box models of computation in cryptology (2012)