News

Diplomanden- und Doktorandenseminar am 13.12.2011, 13 Uhr s.t in Raum 106

Diplomanden- und Doktorandenseminar am 23.11.2011, 16:30 Uhr in Raum 106

Dagstuhl Seminar Approved

A Dagstuhl seminar on "Belief Change and Argumentation in Multi-Agent Scenarios" by Jürgen Dix, Sven Ove Hansson, Gabriele Kern-Isberner and Guillermo R. Simari, has been approved for June 2013.

Dr. Christian Bartelt erhält Preis für Familie und Wissenschaft

Der Vizepräsident für Informationsmanagement und Infrastruktur, Prof. Andreas Rausch überreichte, seitens der Universität, die seit 2007 als familiengerechte Hochschule zertifiziert ist, die Förderpreise für herausragende studentische oder wissenschaftliche Leistungen in einer Familienphase. Die Auszeichnung, jeweils dotiert mit 1000 Euro, erhielten Dr. Christian Bartelt vom Institut für Informatik und Dipl.-Ing. Gabriel Dechant. Beide haben ihre Doktor- bzw. Diplomarbeit mit der Note "Sehr gut" abgeschlossen, während sie sich zugleich, jeweils mit ihrer berufstätigen Partnerin, um drei kleine Kinder gekümmert haben. Näheres siehe hier.

Dr. Nils Bulling mit dem "Förderpreis des Vereins von Freunden" ausgezeichnet

Für seine Dissertation "Modelling and Verifying Abilities of Rational Agents" wurde Dr. Nils Bulling mit dem "Förderpreis des Vereins von Freunden" der TU Clausthal ausgezeichnet. Die Preisübergabe hat am 28.10.2011 im Rahmen der Akademischen Feierstunde stattgefunden.

Dies ist bereits der zweite Preis für seine Dissertation. Vor wenigen Monaten wurde sie mit dem "E.W. Beth Dissertation Award" ausgezeichnet. Siehe hier.

Jürgen in Berlin

Jürgen attends the Abschiedssymposium for Prof. Gerhard Roth, the president of the Studenstiftung, in Berlin Gendarmenmarkt.

http://www.studienstiftung.de/pressemitteilungen.html?user_press[uid]=219&cHash=ed1463179aca51c54ad2c8b9644022de

Diplomanden- und Doktorandenseminar am 25.10.2011, 13 Uhr s.t. in Raum 106

Vorlesungsankündigung: "Einführung in die Modellierung und Analyse von Sicherheitsprotokollen"

Liebe Studierende,

bitte beachten Sie, dass am IfI dieses Semester erstmalig die Lehrveranstaltung

    "Einführung in die Modellierung und Analyse von Sicherheitsprotokollen" (3V/1Ü)

von Dr. Nils Bulling angeboten wird. Die Veranstaltung richtet sich hauptsächlich an Studierende der Informatik im Master, kann jedoch auch im Bachelor gehört werden.

In der Vorlesung werden unter anderem folgende Themen behandelt:

- Grundlagen der Computersicherheit und Kryptographie (z.B. Public-key Kryptosysteme, RSA, Digitale Signaturen)
- Analyse von Sicherheitsprotokollen: Was sind Sicherheitsprotokolle und typische Attacken/Schwachstellen? (z.B. Needham-Schroeder und Diffie-Hellman Schlüsselprotokolle, Man-in-the-middle Attacke)
- Verifikation von Sicherheitsprotokollen: Wie kann gezeigt werden, dass ein Protokoll sicher ist?

Weitere Informationen erhalten Sie direkt beim Dozenten und im StudIP-System.

Bitte registrieren Sie sich für die Vorlesung im StudIP-System!