Text this: Black-Box Models of Computation in Cryptology