A graduate student recently harnessed the complexity of mathematical proofs to create a powerful new tool in cryptography.