DENVER — An urgent call comes in from the White House. But the recipient is skeptical: They need a way to verify that the message comes from the purported location. Quantum physics has a solution.

CISPA-Faculty Prof. Dr. Cas Cremers has been awarded the Levchin Prize for Real-World Cryptography. Cremers receives this honor together with his collaborators Prof. Dr. David Basin (ETH Zurich), Prof ...

Great minds go off on odd tangents. In 1930, John Maynard Keynes took time out from thinking about the Great Depression, which was throwing millions out of work, to write a charming essay about the ...

AI could soon spew out hundreds of mathematical proofs that look "right" but contain hidden flaws, or proofs so complex we can't verify them. How will we know if they're right? When you purchase ...

For most of its history, artillery testing has been the core mission at U.S. Army Yuma Proving Ground (YPG). As artillery technology evolved across previous decades, YPG was on the cutting-edge ...

As artificial intelligence reshapes software development, a small startup is betting that the industry's next big bottleneck won't be writing code — it will be trusting it. "We're already there," said ...

Imagine this scenario. The year is 2030; deepfakes and artificial-intelligence-generated content are everywhere, and you are a member of a new profession—a reality notary. From your office, clients ...

Samir Abboud, chief of emergency radiology for Northwestern Medicine, thought he was already working at maximum speed. In a carefully honed routine, aided by voice dictation, he could finish writing ...

Theorem proving is a fundamental aspect of mathematics, spanning from informal reasoning in natural language to rigorous derivations in formal systems. In recent years, the advancement of deep ...

Large language models (LLMs) have astounded the world with their capabilities, yet they remain plagued by unpredictability and hallucinations – confidently outputting incorrect information. In ...

“Proving Up” doesn’t start like most operas. The first thing we hear is a baritone, alone, singing a real 19th-century ditty with the line, “For Uncle Sam is rich enough to give us all a farm.” ...