
Cryptography That Is Provably Secure
The Quanta Podcast
00:00
Using a Cryptographic Library
cryptographic libraries are innately mathematical. They involve arithmetic with prime numbers and operations on geometric objects like elliptic curves. Computer scientists began working on ever in two thousand 16 as a part of project everist, an initiative led by microsoft research. It's practically impossible to formally specify the function of complex softwar like a web browser.
Transcript
Play full episode