Cryptography in the age of quantum computers