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

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

17 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

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

17 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 02.03.2015, 09:00 Uhr
by Informatik-Kolloquium 16 Feb '15

16 Feb '15

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein. PD Dr. Edgar Weippl, Technische Universität Wien / SBA Research gGmbH, Wien: Empirische und Angewandte Sicherheitsforschung Beginn: 02.03.2015, 09: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-03-02-weippl.html Kontakt: Prof. Dr. Rüdiger Kapitza In Zukunft wird die Bedeutung von empirischer und angewandter Sicherheitsforschung steigen. Immer komplexere Systeme können von BenutzerInnen nicht oder nur schlecht beobachtet und verstanden werden. Deshalb ist die systematische Beobachtung notwendig, um Erkenntnisse über die inneren Funktionsweisen zu gewinnen und mögliche Sicherheitsrisiken zu entdecken. Anhand von zahlreichen Beispielen zeigen wir Ergebnisse aktueller Forschungsprojekte.

1 0

Vortrag am 02.03.2015, 11:30 Uhr
by Informatik-Kolloquium 16 Feb '15

16 Feb '15

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein. Prof. Dr. Matthew Smith, Rheinische Friedrich-Wilhelms-Universität Bonn: Usable System Security Beginn: 02.03.2015, 11: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-03-02-smith.html Kontakt: Prof. Dr. Rüdiger Kapitza Many aspects of information security combine technical and human factors. If a highly secure system is unusable, users will try to circumvent the secure system or even migrate to a less secure but more user-friendly system. Problems with usability have been a major contributing factor in many recent high-profile security failures. The research domain of usable security and privacy addresses these problems. However, the main focus of researchers in this field has been on the “non-expert” end-user, neglecting the system’s side of the problem. After situating this issue in the context of current research, I will present my work on usable system security. The examples used will include TLS, passwords and secure messaging to illustrate how system security must take the human factor into account if improvements are to be made. I will show how identifying and resolving TLS usability problems, which affect millions of devices, have allowed me, together with my team, to first gain access to and then protect credentials for amongst others: American Express, Diners Club, Paypal, various banks and email providers, Facebook, Twitter, Google, Yahoo, Microsoft Live ID, Box, WordPress, and IBM Sametime servers. I will also describe how API usability problems led all Android password managers to leak the very passwords they were supposed to protect; and how cryptographic protocol design affects the usability of secure messengers. Finally, I will present a roadmap of how to push the frontiers of systems security and establish the centre of usable systems security research at the TU-Braunschweig. Bio: Matthew Smith is a Professor for Usable Security and Privacy at the Rheinische Friedrich-Wilhelms-Universität Bonn, Germany. He completed his studies of Computer Science & Electrical Engineering at the University of Siegen, Germany, with distinction. Subsequently he was a full time researcher at the Philipps Universität Marburg, Germany, where he completed his PhD in 2008, also with distinction. In 2009, he was awarded the PhD Prize for outstanding innovation by the Gesellschaft zur Förderung des Forschungstransfers (GFFT e.V.). From 2009 to 2013 he was a Professor at the Leibniz Universität Hannover. His research is focused on human factors of security and privacy mechanisms with a wide range of application areas, including TLS and network security, authentication, mobile and app security and, most recently, usable security for developers and administrators. His work has been published at top-tier conferences including IEEE S&P, ACM CCS, NDSS, PETS and ACM SIGCHI, as well as specialist conferences such as SOUPS and USEC. He has served on the program committees of IEEE S&P, ACM CCS, SOUPS, USEC and ACM SIGCHI and has held chair positions at ACM CCS, NDSS, WWW, SOUPS, USEC and IEEE Big Data.

1 0

Erinnerung: Vortrag am 16.02.2015, 11:00 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. 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

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