Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Computational hardness assumption

Related lectures (19)

Diffie-Hellman Cryptography: Key Exchange and Fields

Explores Diffie-Hellman key exchange, group orders, Z_p field, and cryptographic challenges.

Semantic Security: Stream Ciphers

Explores semantic security in stream ciphers, emphasizing pseudorandom number generators and computational limitations in cryptography.

Cryptographic Security Models: Game Proof Methodology

Explores Cryptographic Security Models through the Game Proof Methodology, RSA Security, Rabin Cryptosystem, and Diffie-Hellman Security.

Cryptography: Ancient Techniques to Modern Systems

Explores ancient cryptography techniques, the Enigma machine, Kirchhoff's principle, scalability in cryptography, Moore's Law, and a thought experiment on breaking a 128-bit key.

Information-Theoretic Cryptography: Partial Secrecy Problem

Explores the Partial Secrecy Problem in Information-Theoretic Cryptography, covering topics like secret communication, computational security, and information leakage.

Cryptographic Security Models

Explores Cryptographic Security Models, including Diffie-Hellman and ElGamal Security, RSA, and practical encryption problems.

Information Theoretic Cryptography

Explores information-theoretic cryptography, focusing on secret communication and key generation.

Cryptanalysis: Public-Key & The Power of Interaction

Explores cryptanalysis in public-key systems and the power of interaction in interactive proofs, covering CO-NP, NP classes, P vs. NP, and more.

Homomorphic Encryption: Cloud and Aggregation

Explores homomorphic encryption for secure cloud computing and data aggregation.

Perfect Secrecy: One-time Pad

Explores perfect secrecy, the one-time pad encryption method, attacks on encryption systems, and the Vigenère cipher.

Privacy: PETs

Explores Privacy-Enhancing Technologies including Tor, secure computation, and homomorphic encryption.

SecChisel: Security Verification of Secure Processor Architectures Log in to Mediaspace to watch this video

Presents the SecChisel framework for verifying security properties of secure processor architectures at design-time.

Homomorphic Encryption Log in to Mediaspace to watch this video

Introduces homomorphic encryption, enabling computation on encrypted data without decryption, covering security, applications, and practical aspects.

Homomorphic Encryption: Fermat FHE Log in to Mediaspace to watch this video

Covers fully homomorphic encryption modulo Fermat numbers and its applications.

Signal: Security Analysis Log in to Mediaspace to watch this video

Explores the formal security analysis of the Signal Messaging Protocol, covering key concepts and highlighting limitations and results.

Homomorphic Encryption Log in to Mediaspace to watch this video

Covers the historical development and key concepts of homomorphic encryption, focusing on the Paillier cryptosystem and the BGV cryptosystem.

Thermalization and Information Loss Log in to Mediaspace to watch this video

Explores thermalization, ETH testing in spin chains, information loss in black holes, and challenges in quantum gravity.

Privacy-preserving authentication Log in to Mediaspace to watch this video

Explores privacy-preserving authentication methods, zero-knowledge proofs, Schnorr's proof of identification, and their real-world applications.

Privacy-Preserving Machine Learning Log in to Mediaspace to watch this video

Explores privacy-preserving techniques like secret sharing and homomorphic encryption for secure computations and data protection in machine learning.