CS 5830

CS 5830

Course information provided by the 2026-2027 Catalog.

A rigorous introduction to the theoretical foundations of the cryptography that powers much of the modern world. Topics include one-way functions, secret-key encryption, zero-knowledge proofs, signatures, public-key encryption etc. As this is a theoretical class, the emphasis will be on formal definitions and proofs.


Prerequisites background equivalent to: CS 2800; CS 4810; or permission of instructor.

Enrollment Information Enrollment limited to: Computer Science (CS) Master of Engineering (M.Eng.) students.

Last 4 Terms Offered 2025FA, 2024FA, 2023SP, 2022FA

Learning Outcomes

  • Describe the definitions of various cryptographic primitives (e.g., one-way functions, public-key encryption, pseuodrandom generators, etc.) and explain why they are defined the way that they are.
  • Prove the security of a basic cryptographic construction via a reduction.
  • Identify common flaws in security proofs.

View Enrollment Information

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

  • 3 Credits Graded

  •  7117 CS 5830   LEC 001

    • TR
    • Jan 25 - May 11, 2027
    • 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/