Computer Science

CS 227r: Topics In Cryptograph and Privacy

Semester: 

Fall

Offered: 

2014

Co-Instructors:  Kobbi Nissim & Or Sheffet

Meets: Tuesday/Thursday 11:30AM - 1:00PM in MD 119

Course Description: This course will cover topics in cryptography and data privacy drawn from the theoretical computer science research literature with particular focus on differential privacy -- a mathematical framework for privacy-preserving analysis of datasets, which enables aggregate computations while preventing the leakage of individual-level information.

CS 127: Introduction to Cryptography

Semester: 

Fall

Offered: 

2013

Description:

Algorithms to guarantee privacy and authenticity of data during communication and computation. Proofs of security based on precise definitions and assumptions. Topics may include one-way functions, private-key and public-key encryption, digital signatures, pseudorandom generators, zero-knowledge proofs, fully homomorphic encryption, and the role of cryptography in network and systems security.

Prerequisite: Computer Science 121 or Computer Science 124.

Instructor:

Salil P. Vadhan

CS 105: Privacy and Technology

Semester: 

Fall

Offered: 

2013

Description:

What is privacy, and how is it affected by recent developments in computer technology? Course critically examines popular concepts of privacy and uses a rigorous analysis of technologies to understand the policy and ethical issues at play. Case studies: RFID, database anonymity, research ethics, wiretapping. Course relies on some technical material, but is open and accessible to all students, especially those with interest in economics, engineering, political science, computer science, sociology, biology, law, government, philosophy.

CS 252r: Advanced Topics in Programming Languages

Semester: 

Spring

Offered: 

2012

Description:

This course will focus on language-based information security: using programming language techniques and abstractions to specify, reason about, and enforce, information security. Most of the course will focus on information-flow control: controlling the flow of information within a system to enforce strong security guarantees.

Instructor:

Stephen Chong