Algorithms & Theory

Algorithms, data structures, computational complexity, cryptography, formal verification, logic, and type theory.

13 courses · 77 standalone talks · 370 total lectures

All Theory & Algos Algorithms & Data Structures (203)Computational Complexity (88)Cryptography (41)Probability & Information Theory (28)Neuroscience & Cognition (26)Calculus & Analysis (24)Complex Systems & Scaling (16)Computer Architecture (14)Signal Processing & Robotics (13)Dynamic Programming (13)

Showing 20 of 41 lectures

Lecturej/k navigate · c chapters · s save · x watched

Scholar · University

Chapters · Duration

Man-in-the-Middle Attacks, Certificates, and PKI

Man-in-the-Middle Attacks, Certificates, and PKI

Theory & Algos·Standalone Lecture · Christof Paar · Ruhr University Bochum

Christof Paar Ruhr University Bochum

1:10:02

Post-Quantum Cryptography: Merkle Signature Schemes

Post-Quantum Cryptography: Merkle Signature Schemes

Theory & Algos·Standalone Lecture · Christof Paar · Ruhr University Bochum

Christof Paar Ruhr University Bochum

1:32:41

Introduction to Hash-based Post-quantum Cryptography (PQC)

Introduction to Hash-based Post-quantum Cryptography (PQC)

Theory & Algos·Standalone Lecture · Christof Paar · Ruhr University Bochum

Christof Paar Ruhr University Bochum

1:40:59

Proofs, Knowledge, and Computation: Zero-Knowledge Interactive Systems

Proofs, Knowledge, and Computation: Zero-Knowledge Interactive Systems

Theory & Algos·Public Colloquium · Silvio Micali · MIT

Silvio Micali MIT

1:03:26

What Can the Theory of Cryptography Tell Us About AI Verification?

What Can the Theory of Cryptography Tell Us About AI Verification?

Theory & Algos·Research Seminar · Shafi Goldwasser · Simons Institute (UC Berkeley)

Shafi Goldwasser Simons Institute (UC Berkeley)

1:02:15

Lecture 1: Introduction to Cryptography by Christof Paar

Lecture 1: Introduction to Cryptography by Christof Paar

CRYPTO-101 · Lec 1 · Christof Paar · Ruhr University Bochum

Christof Paar Ruhr University Bochum

1:17:24

Red Points and Blue Points (SIMONS-TCS-ML)

Red Points and Blue Points (SIMONS-TCS-ML)

SIMONS-TCS-ML · Lec 17 · Santosh Vempala · UC Berkeley / Simons Institute

Santosh Vempala UC Berkeley / Simons Institute

38:15

Secure Computation and Low-Complexity Cryptography

Secure Computation and Low-Complexity Cryptography

Theory & Algos·Research Seminar · Complexity Cryptography · UC Berkeley / Simons Institute

Complexity Cryptography UC Berkeley / Simons Institute

1:06:15

Differential Privacy: Fundamentals to Forefront

Differential Privacy: Fundamentals to Forefront

Theory & Algos·Research Seminar · Cynthia Dwork · Simons Institute

Cynthia Dwork Simons Institute

59:33

Cryptocurrency: An Overview and Critique (UC Berkeley CS 161)

Cryptocurrency: An Overview and Critique (UC Berkeley CS 161)

Systems & CS·Standalone Lecture · Nicholas Weaver · UC Berkeley

Nicholas Weaver UC Berkeley

1:06:36

How Hard is too Hard? An Introduction to Complexity

How Hard is too Hard? An Introduction to Complexity

Theory & Algos·Public Colloquium · Colva Roney-Dougal · Gresham College

Colva Roney-Dougal Gresham College

44:23

Yael Tauman Kalai & Daniele Micciancio | Polylogues

Yael Tauman Kalai & Daniele Micciancio | Polylogues

Philosophy·Research Seminar · Yael Tauman Kalai & Daniele Micciancio · UC Berkeley / Simons Institute

Yael Tauman Kalai & Daniele Micciancio UC Berkeley / Simons Institute

56:17

The Future of Quantum Computing with Michele Mosca

The Future of Quantum Computing with Michele Mosca

Theory & Algos·Research Seminar · Michele Mosca · Perimeter Institute

Michele Mosca Perimeter Institute

22:59

Lecture 22: SHA-3 Hash Function (CRYPTO-101)

Lecture 22: SHA-3 Hash Function (CRYPTO-101)

CRYPTO-101 · Lec 22 · Christof Paar · Ruhr University Bochum

Christof Paar Ruhr University Bochum

1:38:17

Lecture 17: Elliptic Curve Cryptography (ECC) (CRYPTO-101)

Lecture 17: Elliptic Curve Cryptography (ECC) (CRYPTO-101)

CRYPTO-101 · Lec 17 · Christof Paar · Ruhr University Bochum

Christof Paar Ruhr University Bochum

1:26:31

Cybersecurity (CS50)

Cybersecurity (CS50)

CS50 · Lec 12 · David J. Malan · Harvard University

David J. Malan Harvard University

1:31:17

Lecture 8: Advanced Encryption Standard (AES) by Christof Paar

Lecture 8: Advanced Encryption Standard (AES) by Christof Paar

CRYPTO-101 · Lec 8 · Christof Paar · Ruhr University Bochum

Christof Paar Ruhr University Bochum

1:33:19

Lecture 6: Data Encryption Standard (DES): Key Schedule and Decryption by Christof Paar

Lecture 6: Data Encryption Standard (DES): Key Schedule and Decryption by Christof Paar

CRYPTO-101 · Lec 6 · Christof Paar · Ruhr University Bochum

Christof Paar Ruhr University Bochum

1:07:06

Lecture 5: Data Encryption Standard (DES): Encryption by Christof Paar

Lecture 5: Data Encryption Standard (DES): Encryption by Christof Paar

CRYPTO-101 · Lec 5 · Christof Paar · Ruhr University Bochum

Christof Paar Ruhr University Bochum

1:33:36

Lecture 4: Stream Ciphers and Linear Feedback Shift Registers by Christof Paar

Lecture 4: Stream Ciphers and Linear Feedback Shift Registers by Christof Paar

CRYPTO-101 · Lec 4 · Christof Paar · Ruhr University Bochum

Christof Paar Ruhr University Bochum

1:29:39

More categories

Systems & CS (504)Mathematics (518)Physics & Cosmology (366)AI & Machine Learning (283)History & Humanities (371)Philosophy & Ethics (286)Biology & Neuroscience (332)Economics & Finance (323)Engineering & Robotics (333)