Master-, Diplom- und Semesterarbeiten
Vorlesungen FS 2012
- Information Security (V: Mo 13-15, Do 13-15; Ü: Mi 15-18, Do 15-18)
- Cryptographic Protocols (V: Mi 13-15; Ü: Mi 15-17)
Vorlesungen HS 2011
- Diskrete Mathematik (V: Mo 09-12 & Mi 13-15, Ü: Do 10-12, 15-17, oder 16-18)
- Cryptography (V: Do 13-16, Ü: Mo 10-12 oder Fr 15-17)
- Algorithms, Probability, and Computing (V: Mo 13-15, Di 14-16, Ü: Mi 13-15, 15-17 oder Fr 14-16)
Vorlesungen FS 2011
- Information Security (V: Mo 13-15, Do 13-15; Ü: Mi 15-18, Do 15-18)
- Cryptographic Protocols (V: Mi 13-15; Ü: Mi 15-17)
Vorlesungsinhalte
251-0211-00L Information Security
Dozent: Maurer, Basin; Sprache: Englisch; Umfang: 4V3U; Literatur: SkriptDiese Vorlesung bietet eine Einführung in die Informationssicherheit. Im Zentrum stehen grundlegende Konzepte und Modelle, elementare Kryptographie, Protokolle, Systemsicherheit und Datenschutz. Der Schwerpunkt wird auf die Grundlagen gelegt, welche anhand von Fallstudien aus der Praxis veranschaulicht werden.
"Information Security": This course provides an introduction to Information Security. The focus is on fundamental concepts and models, basic cryptography, protocol and system security, and privacy and data protection. While the emphasis is on foundations, case studies will be given that examine different realizations of these ideas in practice.
251-0408-00L Cryptographic Protocols
Dozent: Hirt, Maurer; Sprache: Englisch; Umfang: 2V2U; Literatur: SkriptDiese Vorlesung gibt einen genauen Einblick in hochaktuelle Themen des Forschungsgebietes Kryptographie. Die Themenwahl richtet sich nach den neuesten Entwicklungen. Mögliche Themen sind beweisbar sichere Verschlüsselung, Secret Sharing, interaktive Beweise, Zero-Knowledge Protokolle, sichere Multi-Party Berechnungen, digitale Abstimmungen, etc.
Ziel: Einblick in ein hochaktuelles Forschungsgebiet mit vielen Rosinen und paradoxen Resultaten. Förderung der Freude an grundlegenden Fragestellungen.
Voraussetzung: Informationssicherheit und Kryptographie, der notwendige Stoff kann aber auch während der Vorlesung aufgearbeitet werden.
"Cryptographic Protocols": The course presents a selection of hot research topics in cryptography. The choice of topics varies and may include provable security, interactive proofs, zero-knowledge protocols, secret sharing, secure multi-party computation, e-voting, etc.
251-0407-00L Cryptography
Dozent: Maurer; Sprache: Englisch; Umfang: 2V2U; Literatur: SkriptFundamentals and applications of cryptography. Topics include: cryptographic thinking (reductions, simulation-based security, composition, security proofs), one-way and hash functions, pseudo-randomness, symmetric encryption and authentication, public-key encryption, digital signature schemes, some cryptographic protocols, and some cryptanalytic techniques. Some applications and case studies.
251-0010-00L Diskrete Mathematik
Dozent: Maurer; Sprache: Deutsch; Umfang: 5V2UHauptziele der Vorlesung sind
- die Einführung der wichtigsten Grundbegriffe der diskreten Mathematik,
- das Verständnis der Wichtigkeit von Abstraktion und von Beweisen und
- die Diskussion einiger Anwendungen, z.B. aus der Kryptographie, Codierungstheorie und Algorithmentheorie.
"Discrete Mathematics": The primary goals of this course are (1) to introduce the most important discrete mathematics concepts, (2) to understand and appreciate the importance of abstraction and mathematical proofs, and (3) to discuss a number of applications, e.g. in cryptography, coding theory, and algorithm theory. The topics include: Mathematical reasoning and proofs, sets, relations (e.g. equivalence and order relations), functions, combinatorics, (un-)countability, graph theory, number theory, algebra (groups, rings, fields, polynomials, subalgebras, morphisms), logic (propositional and predicate logic, proof calculi).
251-4700-00L Research Topics in Cryptography
Dozent: Hirt; Sprache: Englisch; Umfang: 2S (Fachseminar)Dieses Seminar findet unregelmässig statt. Jede(r) Teilnehmer(in) hält einen Vortrag über einen wissenschaftlichen Artikel. Kommentare und Kritik durch die Zuhörer und die Seminarleiter. Übung der Vortragstechnik und der Einarbeitung in wissenschaftliche Literatur. Die angebotenen Artikel sind mehrheitlich theoretischer Natur.
"Research Topics in Cryptography": The seminar takes place irregularly. Each participant reads a scientific paper and presents it in a lecture. The instructor and the audience give feedback on the presentation. Allows to practice presentation techniques and the precise study of (mostly theoretical) scientific articles.
251-0409-00L Current Topics in Information Security
Dozent: Basin, Capkun, Maurer, Plattner; Sprache: Englisch; Umfang: 2S (Fachseminar)Verschiedene Themen der Informationssicherheit: Sicherheitsprotokolle (Modelle, Spezifikation & Verifikation), Vertrauensmanagement, Zugangskontrolle, Non-Interference, Side-Channel Angriffe, Identitätsbasierte Kryptographie, Host-basierte Angriffsdetektion, Anomaliedetektion in Backbone-Netzwerken, Schlüsselmanagement für Sensornetzwerke.
"Current Topics in Information Security": The seminar covers various topics in information security, including network security, cryptography and security protocols. The participants are expected to read a scientific paper and present it in a 35-40 min talk. At the beginning of the semester a short introduction to presentation techniques will be given. Selected Topics
- security protocols: models, specification and verification
- trust management, access control and non-interference
- side-channel attacks
- identity-based cryptography
- host-based attack detection
- anomaly detection in backbone networks
- key-management for sensor networks