Security and Privacy

This course covers some of the most important, typically advanced topics in information security and privacy. The selection of topics can vary from course to course, depending on the development of the field and the focus of the information security group.

Possible topics include:

• Zero-Knowledge Protocols: a fundamental concept in many advanced secure and privacy preserving systems
• Verification of cryptographic protocols: What does it mean for protocols, such as TLS, to be secure? How can we prove security? Can we prove security using automated tools?
• Secure Multi-Party Computation: how can multiple parties compute a common function without revealing their input? E.g., how can two millionaires figure out who earns more without revealing their income to each other?
• E-Voting: Can we have a system where voters can make sure that their votes were actually counted even when the voting servers are completely malicious?
• Bitcoin and cryptocurrencies
• Web-based security protocols, such as web-based single-sign on protocols
• Advanced attacks and defenses in as well as models of web security