- Kolloq - lists.ibr.cs.tu-bs.de

Erinnerung: Vortrag am 09.02.2015, 11:00 Uhr
by Informatik-Kolloquium 08 Feb '15

08 Feb '15

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein. Prof. Dr.-Ing. Mark Manulis, Technische Universität Darmstadt, Cryptographic Protocols Group / University of Surrey, Department of Computing: Cryptographic Password Authentication with TLS Channel Bindings Beginn: 09.02.2015, 11:00 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 1. OG, Hörsaal M 160 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2015-02-09-manulis.html Kontakt: Prof. Dr. Rüdiger Kapitza Cryptographic password authentication protocols have failed to see wide-spread adoption on the Internet despite of a rich variety of existing protocols. This is due to the fact that most proposals require extensive modifications to the Transport Layer Security (TLS) protocol, which is challenging to realize. In this talk I will present two modular constructions where a cryptographically secure password authentication protocol is run inside a confidential (but not necessarily authenticated) channel such as TLS and is securely linked to this channel to prevent application-layer man-in-the-middle attacks. The proposed approach does not require any modifications to the TLS standard and can be realized on modern desktop and mobile browsers. It relies on two channel binding mechanisms for TLS from RFC 5929 those security is analyzed in the proposed general model for Password-Authenticated and Confidential Channel Establishment (PACCE), a password-based variant of the ACCE model which has been widely used to analyze TLS security. Notably, our results can be generalized and applied to integrate cryptographic password authentication into other communication channels beyond those established through TLS.

1 0

Vortrag am 19.02.2015, 14:00 Uhr
by Informatik-Kolloquium 05 Feb '15

05 Feb '15

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein. Prof. Dr. Lutz Schröder, Friedrich-Alexander-Universität Erlangen-Nürnberg, Chair 8 – Theoretical Computer Science: Deduction in Coalgebraic Modal and Temporal Logics Beginn: 19.02.2015, 14:00 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 1. OG, Hörsaal M 161 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2015-02-19-schroeder.html Kontakt: Prof. Dr.-Ing. Ina Schaefer Modal and temporal logics traditionally play a key role in core areas of computer science such as knowledge representation and specification and verification of reactive systems. Their traditional relational semantics provides a good fit for many applications, but needs to be extended in various directions if one wants to cover additional aspects such as uncertainty, counting (e.g. in redundancy analysis) or agency. This need is witnessed by the emergence of, e.g., probabilistic, graded, alternating-time and neighbourhood-based logics, which all go markedly beyond relational semantics in an effort to enhance the expressivity of verification logics. In this context, coalgebraic logic plays the role of a unifying semantic umbrella for such formalisms. On the basis of my work, coalgebraic logic has evolved from a purely semantic concept into an algorithmic framework offering a wide array of generic reasoning services that can easily be instantiated to individual logics; these results form the basis for the development of the Coalgebraic Ontology Logic Reasoner (COOL). Following an introduction to the basic concepts of coalgebraic logic, I will briefly discuss a key technical tool in coalgebraic logic, so-called one-step rules, and give an overview of generic reasoning procedures for coalgebraic logics based on one-step rules, with a particular focus on tractable reasoning in conjunctive fixpoint logics modelled on the description logic EL.

1 0

Vortrag am 19.02.2015, 08:30 Uhr
by Informatik-Kolloquium 05 Feb '15

05 Feb '15

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein. Prof. Dr. Henning Fernau, Universität Trier: Warum ist das nur so schwer? Beginn: 19.02.2015, 08:30 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 1. OG, Hörsaal M 161 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2015-02-19-fernau.html Kontakt: Prof. Dr.-Ing. Ina Schaefer In meinem Vortrag gehe ich dieser Frage anhand zweier NP-harter Probleme für deterministische endliche Automaten (DEA) nach. (1) Wir betrachten wir die Aufgabe, ein möglichst kurzes synchronisierendes Wort für einen DEA zu finden, also ein Wort, nach dessen Abarbeitung der Automat in einen eindeutig bestimmten Zustand gelangt ist, unabhängig von seinem Startzustand. (2) Wir fragen bei Eingabe zweier disjunkter Wortmengen X und Y nach einem DEA kleinstmöglicher Zustandsanzahl, der alle Wörter aus X akzeptiert, aber keines der Wörter aus Y. Für diese Probleme beantworten wir die Eingangsfrage durch eine mehrparametrische Analyse.

1 0

Vortrag am 18.02.2015, 11:00 Uhr
by Informatik-Kolloquium 04 Feb '15

04 Feb '15

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein. Prof. Dr. Barbara Hammer, Theoretische Informatik, Universität Bielefeld: Relevanzen und Rejects in Prototyp-basierten Lernverfahren Beginn: 18.02.2015, 11:00 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 1. OG, Hörsaal M 161 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2015-02-18-hammer.html Kontakt: Prof. Dr.-Ing. Ina Schaefer Prototyp-basierte Klassifikationsverfahren modellieren Daten durch geeignete Repräsentanten der einzelnen Klassen, und ermöglichen dadurch sehr intuitive, aber dennoch hoch performante Lernverfahren, die besonders für das lebenslange Lernen geeignet sind. Der Vortrag stellt zunächst die mathematischen Grundlagen und beispielhafte Anwendungen vor und widmet sich dann zwei Fragen: - Klassische Prototyp-basierte Verfahren bewerten jede Eingabedimension als gleich wichtig. Was kann man tun, wenn die Dimensionen eine unbekannte, unterschiedliche Relevanz haben? - Klassische Prototyp-basierte Verfahren klassifizieren Punkte, auch wenn sie sehr unsicher sind. Wie findet man optimale Rejects für die Klassifikation?

1 0

Vortrag am 18.02.2015, 14:00 Uhr
by Informatik-Kolloquium 04 Feb '15

04 Feb '15

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein. Dr. Markus Kroetzsch, Technische Universität Dresden: P ≠ P: Warum einige P-vollständige Probleme härter sind als andere Beginn: 18.02.2015, 14:00 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 1. OG, Hörsaal M 161 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2015-02-18-kroetzsch.html Kontakt: Prof. Dr.-Ing. Ina Schaefer Die mit polynomiellem Zeitaufwand lösbaren Probleme der Klasse P(Time) gelten oft als gut handhabbar und nahezu beliebig skalierbar. In der Praxis sieht das meist anders aus. Während einige P-vollständige Probleme in linearer Zeit gelöst werden können, sind für andere nur Algorithmen mit sehr viel schlechterem Skalierungsverhalten bekannt. Dabei ist schon ein kubisches Zeitverhalten in vielen Anwendungen nicht praktikabel. Leider kann die klassische Komplexitätstheorie nicht erklären, warum manche P-vollständige Probleme härter zu sein scheinen als andere. In diesem Vortrag untersuchen wir diese Frage konkret für Probleme des logischen Schließens. Deren Besonderheit ist es, dass Berechnungen meist durch ein System von Inferenzregeln (Kalkül) beschrieben werden. Überraschenderweise lässt sich zeigen, dass die Lösung verschiedener P-vollständiger Probleme zum Teil unterschiedlich ausdrucksstarke Kalküle verlangt. Dadurch erhalten wir einen alternativen Begriff der "Härte" eines Problems, bei dem wir die Ausdrucksstärke von Kalkülen vergleichen, ähnlich zu (aber nicht identisch mit) Ansätzen aus der deskriptiven Komplexität. Wir diskutieren die praktische Bedeutung dieser Einsichten anhand von konkreten Problemen aus Wissensrepräsentation und Semantic Web, mit teils überraschenden Ergebnissen.

1 0

Vortrag am 18.02.2015, 08:30 Uhr
by Informatik-Kolloquium 04 Feb '15

04 Feb '15

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein. Prof. Dr. Bernd Finkbeiner, Universität des Saarlandes: Logics and Algorithms for the Synthesis of Distributed Systems Beginn: 18.02.2015, 08:30 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 1. OG, Hörsaal M 161 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2015-02-18-finkbeiner.html Kontakt: Prof. Dr.-Ing. Ina Schaefer More than fifty years after its introduction by Alonzo Church, the synthesis problem is still one of the most intriguing challenges in the theory of discrete systems. On the one hand, synthesis algorithms have found game-changing applications in many areas of computer science and systems engineering, from the automatic construction of control strategies for robots and manufacturing plants to the computer-aided design of coordination protocols and human-computer interfaces. On the other hand, the logical and algorithmic foundations of the synthesis problem are far from complete. Synthesis is particularly challenging in the setting of distributed systems, where we try to find a combination of process implementations that jointly guarantee that a given specification is satisfied. A reduction from multi-player games shows that the problem is in general undecidable. Despite this negative result, there is a long history of discoveries where the decidability of the synthesis problem was established for distributed systems with specific architectures, such as pipelines and rings, or other restrictions on the problem, such as local specifications. Encouraged by these findings, new specification languages like Coordination Logic aim for a comprehensive logical representation and a uniform algorithmic treatment of the decidable synthesis problems. In this talk, I will trace the progress from isolated decidability results towards universal synthesis logics and algorithms. I will demonstrate how the logical representation of the synthesis problem simplifies the identification of decidable cases and give an overview on the state of the art in decision procedures and strategy construction algorithms for the synthesis of distributed systems.

1 0

Vortrag am 11.02.2015, 18:00 Uhr
by Informatik-Kolloquium 03 Feb '15

03 Feb '15

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig machen auf folgenden Vortrag der GI Regionalgruppe Braunschweig aufmerksam: Andreas Hestermeyer, ProzessManufaktur, Braunschweig: GI-Vortrag: IT-Verantwortung optimal organisiert Beginn: 11.02.2015, 18:00 Uhr Ort: Haus der Wissenschaft, Raum Veolia und Weitblick, Pockelsstraße 11 Webseite: http://www.lineas.de/gi-bs/ Kontakt: Anja Schaar-Goldapp, Sprecherin der GI Regionalgruppe BS Der Vortrag stellt ein konkretes Beispiel der Organisation einer IT-Abteilung in einem Großkonzern vor, mittels derer die Zusammenarbeit mit ihren Fachbereichen deutlich verbessert wurde. Die der Organisation zugrunde liegenden Prinzipien werden dann verallgemeinert und daraus Ansätze für eine optimierte IT-Organisation unter Berücksichtigung aktueller Trends abgeleitet. Zum Vortragenden: Andreas Hestermeyer hat an der TU Braunschweig Informatik studiert und nach einigen Jahren als Entwicklungsingenieur Verantwortung als IT-Manager getragen. Er war vor seiner Selbstständigkeit zuletzt IT-Leiter der Volkswagen of America, Inc. und ist seit 2007 selbstständiger Organisationsberater. Seit 2009 betreibt er die ProzessManufaktur in Braunschweig.

1 0

Vortrag am 16.02.2015, 08:30 Uhr
by Informatik-Kolloquium 02 Feb '15

02 Feb '15

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein. Prof. Dr. Jan-Michael Frahm, University of North Carolina at Chapel Hill, Department of Computer Science: World-scale 3D Modeling Beginn: 16.02.2015, 08:30 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 1. OG, Hörsaal M 161 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2015-02-16-frahm.html Kontakt: Prof. Dr. Reinhold Haux

1 0

Vortrag am 16.02.2015, 11:00 Uhr
by Informatik-Kolloquium 02 Feb '15

02 Feb '15

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein. Prof. Dr. Andreas Nüchter, Universität Würzburg, Lehrstuhl für Informatik VII: Robotik und Telematik: Optimal 3D Point Clouds from Mobile Laser Scanning Beginn: 16.02.2015, 11:00 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 1. OG, Hörsaal M 161 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2015-02-16-nuechter.html Kontakt: Prof. Dr. Reinhold Haux

1 0

Vortrag am 09.02.2015, 11:00 Uhr
by Informatik-Kolloquium 31 Jan '15

31 Jan '15

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein. Prof. Dr.-Ing. Mark Manulis, Technische Universität Darmstadt, Cryptographic Protocols Group / University of Surrey, Department of Computing: Cryptographic Password Authentication with TLS Channel Bindings Beginn: 09.02.2015, 11:00 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 1. OG, Hörsaal M 160 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2015-02-09-manulis.html Kontakt: Prof. Dr. Rüdiger Kapitza Cryptographic password authentication protocols have failed to see wide-spread adoption on the Internet despite of a rich variety of existing protocols. This is due to the fact that most proposals require extensive modifications to the Transport Layer Security (TLS) protocol, which is challenging to realize. In this talk I will present two modular constructions where a cryptographically secure password authentication protocol is run inside a confidential (but not necessarily authenticated) channel such as TLS and is securely linked to this channel to prevent application-layer man-in-the-middle attacks. The proposed approach does not require any modifications to the TLS standard and can be realized on modern desktop and mobile browsers. It relies on two channel binding mechanisms for TLS from RFC 5929 those security is analyzed in the proposed general model for Password-Authenticated and Confidential Channel Establishment (PACCE), a password-based variant of the ACCE model which has been widely used to analyze TLS security. Notably, our results can be generalized and applied to integrate cryptographic password authentication into other communication channels beyond those established through TLS.

1 0