Get the app
public
ios_share
The Quanta Podcast
chevron_right
Cryptography That Is Provably Secure
Feb 6, 2020
11:58
forum
Ask episode
play_arrow
Play
view_agenda
Chapters
auto_awesome
Transcript
info_circle
Episode notes
1
Introduction
00:00 • 3min
chevron_right
2
Using a Cryptographic Library
02:42 • 2min
chevron_right
3
Evercrypt - The Future of Cryptography
04:55 • 3min
chevron_right
4
Evercrypt Isn't a Perfectly Secure Soft Ware
08:09 • 2min
chevron_right
5
Project Everist - Cryptography That Is Provably Secure
10:18 • 2min
chevron_right
Researchers have just released hacker-proof cryptographic code — programs with the same level of invincibility as a mathematical proof.
The post
Cryptography That Is Provably Secure
first appeared on
Quanta Magazine