What's up in


Illustration of lock with polynomials surrounding it
Abstractions blog

Mathematicians Seal Back Door to Breaking RSA Encryption

Digital security depends on the difficulty of factoring large numbers. A new proof shows why one method for breaking digital encryption won’t work.

Photo of Urmila Mahadev
quantum computing

Graduate Student Solves Quantum Verification Problem

Urmila Mahadev spent eight years in graduate school solving one of the most basic questions in quantum computation: How do you know whether a quantum computer has done anything quantum at all?

Abstractions blog

Why Quantum Computers Might Not Break Cryptography

A new paper claims that a common digital security system could be tweaked to withstand attacks even from a powerful quantum computer.

computer security

Hacker-Proof Code Confirmed

Computer scientists can prove certain programs to be error-free with the same certainty that mathematicians prove theorems.


A Tricky Path to Quantum-Safe Encryption

In the drive to safeguard data from future quantum computers, cryptographers have stumbled upon a thin red line between security and efficiency.

Computer Science

A New Design for Cryptography’s Black Box

A recent cryptographic breakthrough has proven difficult to put into practice. But new advances show how near-perfect computer security might be surprisingly close at hand.

Computer Science

Perfecting the Art of Sensible Nonsense

In a watershed moment for cryptography, computer scientists have proposed a solution to a fundamental problem called “program obfuscation.”

quantum computing

The Proof in the Quantum Pudding

How do you know if a quantum computer is doing what it claims? A new protocol offers a possible solution and a boost to quantum cryptography.

quantum computing

Classical Computing Embraces Quantum Ideas

Computer scientists are finding that “thinking quantumly” can lead to new insights into long-standing problems in classical computer science, mathematics and cryptography, regardless of whether quantum computers ever materialize.