Check the Piazza page for more info: http://piazza.com/virginia/fall2014/cs6501004/home

or see the attachment for the syllabus.

This is an advanced introduction to foundations of cryptography. We will go over basic tasks in cryptography (e.g., encryption, authentication) as well as more advanced and sophisticated tasks (e.g., zero-knowledge proofs, secure computation) and will end the course by going over some of the most recent developments (homomorphic encryption, obfuscation, etc.) The course will be proof based and will approach cryptography from a "constructive" perspective using rigorous mathematical proofs.