Left invertibility of output-quantized systems: An application to cryptography