DeepMind researchers were able to formally verify that the widely used encryption protocol works as intended. Their stretch ...