When checking that solutions to certain problems are correct, it turns out, you can’t get around the inherent complexity of ...

The original version of this story appeared in Quanta Magazine. Say you want to send a private message, cast a secret vote, or sign a document securely. If you do any of these tasks on a computer, you ...