A graduate student recently harnessed the complexity of mathematical proofs to create a powerful new tool in cryptography. [quantamagazine.org] Continue reading...