Many cryptographic protocols will be rendered insecure if sufficiently powerful quantum computers are built. While this remains at least a few decades away, there is another, more immediate, problem: many widely-used security analysis techniques rely on properties of classical information that do not hold in the quantum setting, rendering the security of many schemes unclear even against today’s quantum computers. In this talk I will present techniques I have developed to address both of these challenges.