CS 6830

CS 6830

Course information provided by the 2025-2026 Catalog.

A rigorous introduction to the theoretical foundations of the cryptography that powers much of the modern world. As this is a theoretical class, the emphasis will be on formal definitions and proofs. E.g., what does it mean to communicate securely? Can I prove that I am who I claim to be without revealing additional information (such as information that allows others to impersonate me)?Topics include one-way functions, pseudorandom number generators, public-key encryption, zero-knowledge proofs, digital signatures, etc. We will also see some more exotic primitives, such as fully homomorphic encryption, and we might briefly discuss program obfuscation and/or cryptocurrency.


Prerequisites REF-FA25/Corequisites REF-FA25 general ease with algorithms and elementary probability theory, maturity with mathematical proofs (ability to read and write mathematical proofs). Corequisites: None.

Last 4 terms offered (None)

View Enrollment Information

Syllabi: none
  •   Regular Academic Session.  Combined with: CS 4830CS 5830

  • 3 Credits Graded

  •  8769 CS 6830   LEC 001

    • TR
    • Aug 25 - Dec 8, 2025
    • Stephens-Davidowitz, N

  • Instruction Mode: In Person

    For Bowers Computer and Information Science (CIS) Course Enrollment Help, please see: https://tdx.cornell.edu/TDClient/193/Portal/Home/