Undergraduate level – Bachelor Informatik, University of Bern
Two yearly courses that introduce students to relevant areas in computer science and prepare for the advanced courses. Undergraduate courses are taught in German.
Diskrete Mathematik (Fall)
Algorithmen, Wahrscheinlichkeit und Information (Spring)
Graduate level – University of Bern and Joint Master in Computer Science
Topics span cryptology, security, distributed computing, privacy, and more.
Diskrete Mathematik (in German)
Diese Vorlesung führt in diskrete Mathematik ein und behandelt eine Reihe von zentralen Methoden und Konzepten, welche wichtig sind für das tiefere Verständnis der Informatik. Diskrete Mathematik ist ein Teilgebiet der Mathematik, das sich hauptsächlich mit endlichen und abzählbaren Strukturen beschäftigt. Zuerst werden Grundlagen der Logik eingeführt, insbesondere Aussagenlogik und Prädikatenlogik. Wichtige Themen sind danach Mengen, Relationen und Funktionen. Es folgen Themen aus Algebra und Zahlentheorie, welche auch für kryptographische Verfahren oder Codierungstheorie die Basis bilden. Darüber hinaus werden Konzepte aus der Graphentheorie vorgestellt. Die Vorlesung dient der Vorbereitung auf weitergehende Themen der theoretischen Informatik, wie Berechenbarkeit, Komplexität, Effizienz und probabilistische Algorithmen.
Kurssprache ist Deutsch. Unterlagen sind in Englisch.
Cryptography addresses the protection of data in the digital world; it has become a crucial technology for the information society, with influence to public policy and questions of privacy. This course presents an introduction to modern cryptography. Based on mathematical models for reasoning about the security of information systems, the course explains the fundamental concepts of cryptography and discusses the most important cryptographic algorithms that are in everyday use on the Internet. It covers security proofs, computational security, pseudorandomness, block ciphers, hash functions, and message authentication. Public-key cryptosystems and public-key signature schemes that rely on number-theoretic primitives are also introduced and some elementary cryptographic protocols will be presented.
Seminar: Cryptography and Data Security
The seminar in cryptography and data security covers various relevant topics in the area and its contents will change from one semester to another. Typical subjects are cryptographic protocols, secure computation, privacy, distributed trust and blockchains. A seminar will start with an overview of the topic, where some basic principles are introduced. The main content will typically consist of interactive presentations by the participants, on the basis of the existing literature, ranging from classic research papers to recently developed systems. In addition, students as well as members of the cryptology and data security research group will present their own current work.
Theme of the seminar in Fall 2022 (Details are available in ILIAS)
E-Voting, from cryptographic protocols to usable systems
Cryptographic protocols for secure voting, in particular so-called end-to-end verifiable election schemes, have been the subject of extensive research efforts during the last four decades. Electronic voting poses many challenges: the precise characterization of subtle security properties including verifiability and coercion resistance, the design and implementation of cryptographic protocols satisfying them, the verification of implemented systems against their specifications, and, last but not least, the usability of practical systems.
The seminar explores some of the cryptographic primitives used in modern e-voting protocols and several practical systems.
Algorithmen, Wahrscheinlichkeit und Information (in German)
Diese Vorlesung führt das Gebiet der randomisierten Algorithmen und probabilistischen Verfahren ein, welche heute in der Informatik eine grosse Rolle spielen. Darüber hinaus werden auch die Grundlagen der Informationstheorie und der Begriff der Entropie vorgestellt. Probabilistische Methoden und Analysen treten in vielen Gebieten auf, in der Kommunikation, in Machine Learning, zur Datenanalyse und in der Kryptologie. Nach einer Einführung in die Wahrscheinlichkeitsrechnung mit diskreten Ereignissen werden wichtige probabilistische Methoden und deren Analyse behandelt, so zum Beispiel Abschätzungen mittels Chernoff-Bounds und die probabilistische Methode. Randomisierte Algorithmen auf Graphen und in der Zahlentheorie werden diskutiert. Entropie als Informationsmass wird eingeführt und Methoden für Codierung und Datenkompression behandelt.
Kurssprache ist Deutsch. Unterlagen sind in Englisch.
This course provides an introduction to computing in a distributed environment without a central coordinator. It presents fundamental programming abstractions for distributed systems and fault-tolerant, highly available, and secure protocols that implement them. Important problems of distributed computing are discussed and influential impossibility results are shown. The central question of the course is how to tolerate uncertainty and adversarial influence, which may arise from network delays, faults, or malicious attacks in a distributed system. Topics include replication, quorums, reliable broadcast, distributed storage, consensus, Byzantine agreement, atomic broadcast, and notions of consistency arising in this setting. Applications to real-world systems will be presented, in the domain of cloud computing, cryptocurrencies, and blockchain systems.
Seminar: Cryptography and Data Security
The seminar in cryptology and data security covers various relevant topics in the area and its contents will change from one semester to another. Typical subjects are cryptographic protocols, secure computation, privacy, distributed trust and blockchains. A seminar will start with an overview of the topic, where some basic principles are introduced. The main content will typically consist of interactive presentations by the participants, on the basis of the existing literature, ranging from classic research papers to recently developed systems. In addition, students as well as members of the cryptology and data security research group will present their own current work.
Theme of the seminar in Spring 2022 (Details are available in ILIAS)
It is commonly known that data on the permissionless blockchain is publicly visible. Prominent blockchains like Bitcoin and Ethereum disclose the amount, fee, senders, and receivers of a transaction. As a result, users of these blockchains can be tracked and deanonymized based on their transaction history. Only the link between the users and the cryptographic keys that they control may be hidden.
Apart from the public transaction data, also the underlying peer-to-peer network used by blockchain nodes reveals information and may be a target for attacking the privacy of users. In fact, several works have shown how a network adversary can successfully link users’ cryptocurrency addresses to their IP addresses.
Practitioners and researchers alike have offered multiple privacy-enhancing solutions to address such limitations regarding privacy. These solutions often target one of the layers of a blockchain network, that is, either the *blockchain layer* dealing with transactions or the *network layer* dealing with sending messages, respectively.
This seminar explores attacks on the privacy of blockchains and (proposed or implemented) solutions for enhancing privacy. These either address the network layer or the blockchain layer of cryptocurrencies, smart-contract platforms, and blockchain networks.
- Choose one topic or system;
- Develop a sample application with the system or describe the topic or system in a report;
- Present their work.
Seminar Law and Computer Science: Distributed Trust in Finance
This interdisciplinary seminar is offered jointly by the Institute for Civil Law and the Institute of Computer Science. Students of computer science and law will work closely together on questions that arise from tensions between the progressing digitalization of the world and the existing law. Participants will work in interdisciplinary groups, and each group addresses one specific problem from a legal perspective and from a technical perspective. The goal is to provide assessments and to develop solutions for the problem from both perspectives.
The topic of the seminar in Spring 2022 will be distributed trust in finance. Recent progress in blockchain technology and cryptocurrencies has led to new forms of financial instruments, markets, exchanges, and services. Those structures are realized only through open-source protocols on public networks, without real-world or legal intermediaries. This field is often summarized as Decentralized Finance (DeFi). Dozens of billions (in CHF) have been invested into Decentralized Finance so far.
Information event: 15 December 2021, 17:30h, online. Please register to participate.
See the information sheet for details.
- Information Session: 15.12.2021, 17.30h
- Start of the registration period: 15.12.2021, 18.00h
- Seminar days: 25.02.2022, 13.00h - 16.00h and 13.05.2022, ca. 08.30 - 17.00h
There are still some free slots available for students in Computer Science. If you are interested to participate, please contact Christian Cachin by email until 21 February 2022.
Information about courses in earlier semesters can be found in the archive.