What's up in
Researchers have just released hacker-proof cryptographic code — programs with the same level of invincibility as a mathematical proof.
A new paper claims that a common digital security system could be tweaked to withstand attacks even from a powerful quantum computer.
Computer scientists can prove certain programs to be error-free with the same certainty that mathematicians prove theorems.
In the drive to safeguard data from future quantum computers, cryptographers have stumbled upon a thin red line between security and efficiency.
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.
In a watershed moment for cryptography, computer scientists have proposed a solution to a fundamental problem called “program obfuscation.”
A mathematical technique called “differential privacy” gives researchers access to vast repositories of personal data while meeting a high standard for privacy protection.