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

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

15 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

Erinnerung: Vortrag am 13.02.2015, 11:30 Uhr
by Informatik-Kolloquium 12 Feb '15

12 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 Birk, Robotics Group, Jacobs University, Bremen: Maschinelle Wahrnehmung und Weltmodellierung als Grundlage Experimenteller Robotik Beginn: 13.02.2015, 11: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-13-birk.html Kontakt: Prof. Dr. Reinhold Haux

1 0

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

10 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

Erinnerung: Vortrag am 10.02.2015, 16:00 Uhr
by Informatik-Kolloquium 09 Feb '15

09 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. Tim Güneysu, Institut für IT-Sicherheit, Ruhr-Universität Bochum: Generic Countermeasures against Side-Channel Attacks for Cryptographic Hardware Beginn: 10.02.2015, 16: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-10-gueneysu.html Kontakt: Prof. Dr. Rüdiger Kapitza The core of a solid system security concept is built on robust cryptography rendering its cryptographic implementations in the system or devices as a primary target for attacks. In this context, a powerful physical attack is known as side-channel analysis (SCA). SCA is capable to extract the secret key from a system by exploiting data-dependent leakages from side-channel information such as power consumption or electromagnetic emanations - even if the cryptographic primitive is immune against cryptanalysis. As a remedy against this threat, all cryptographic instances need to implement countermeasures against SCA what involves a significant additional cost with respect to runtime and resources. Apparently, the availability of generic and lightweight solutions would be highly appreciated. This talk discusses suitable design proposals for generic countermeasures that are specifically tailored for reconfigurable hardware devices – a commonly used platform in high-security systems.

1 0

Erinnerung: Vortrag am 09.02.2015, 08:30 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. Frederik Armknecht, Juniorprofessur für Kryptographie, Universität Mannheim: Sicherheit im Großen und im Kleinen Beginn: 09.02.2015, 08:30 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-armknecht.html Kontakt: Prof. Dr. Rüdiger Kapitza So zahlreich die Gefährdungen eines Systems sind, so vielfältig sind auch die eingesetzten Schutzmechanismen. Hierbei hat sich die Kryptographie seit Jahrzehnten als ein wichtiger, notwendiger Baustein etabliert und es steht zu erwarten, dass sie auch in zukünftigen Systemen eine entscheidende Rolle spielen wird. Allerdings erfordern neue Entwicklungen oftmals neuartige Verfahren, die teilweise sehr unterschiedliche Bedingungen aus oftmals mehreren Disziplinen erfüllen müssen. Das Hauptrisiko bei Cloud Computing ist, dass sensitive Daten in die falschen Hände geraten können. Da die Erfahrung zeigt, dass ein System niemals umfassend gegen unbefugte Zugriffe abgesichert werden kann, müsste man idealerweise versuchen, die Daten intrinsisch gegen unerlaubtes Auslesen zu schützen. Die Standardlösung wäre eine Verschlüsselung der Daten, was aber bei üblichen Verschlüsselungsverfahren verhindern würde, dass Berechnungen auf den Daten ausgelagert werden können, und somit dem Grundgedanken des Cloud Computings widersprechen würde. Innerhalb der Arbeitsgruppe beschäftigen wir uns daher mit sogenannten homomorphen Verschlüsselungsverfahren, welche das Operieren auf verschlüsselten Daten erlauben, ohne dass diese hierfür entschlüsselt werden müssen. Das zweitgrößte Risiko ist der Verlust der Daten. Wir forschen daher an beweisbar sicheren Protokollen, welche die Verfügbarkeit ausgelagerter Daten effizient überprüfen. Insbesondere gehen wir hierbei der Frage nach, ob und wie diese sicher durch eine dritte Partei, einem Auditor, ausgeführt werden könnten. Die immer stärkere Verbreitung von kleinen, eingebetteten Systemen und deren Einsatz bei sicherheitskritischen Anwendungen macht dedizierte Sicherheitsverfahren notwendig. Diese müssen einerseits ein hinreichendes Sicherheitsniveau bieten und andererseits praktische Anforderungen erfüllen. In unserer Arbeitsgruppe untersuchen wir einerseits praktische RFID-basierte Authentifikationsprotokolle und andererseits neue Ansätze zur Realisierung effizienter symmetrischer Verschlüsselungsverfahren.

1 0

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