Foundations of Security and Privacy

---

Faculty

• Anupam Datta

Projects

• Foundations of Privacy
• Theory of Secure Systems
• Protocol Composition Logic

PhD Students

• Jeremiah Blocki (CSD)
• Jason Franklin (CSD)
• Divya Sharma (ECE)
• Arunesh Sinha (ECE)
• Michael Tschantz (CSD)

Postdoctoral Researchers

• Deepak Garg
• Limin Jia
• Dilsun Kaynar

Alumni

• Kumar Avijit (CSD MS 2010)

---