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

Erinnerung: Vortrag am 30.11.2012, 15:00 Uhr
by Informatik-Kolloquium 29 Nov '12

29 Nov '12

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Dr. Peter R. Pietzuch, Large-Scale Distributed Systems Group, Department of Computing, Imperial College London: Secure Distributed Applications using Information Flow Control Beginn: 30.11.2012, 15: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/2012-11-30-pietzuch.html Kontakt: Prof. Dr. Rüdiger Kapitza Ensuring the confidentiality and integrity of data in distributed healthcare or financial applications is challenging. Developers may introduce unintended or deliberate security flaws in different parts of an application, which may lead to the disclosure of sensitive data. While access control mechanisms and source code auditing are used in practice to avoid security flaws, security violations nevertheless remain a frequent occurrence. Instead of trying to avoid all security flaws, I introduce our research on providing a "safety net" to distributed applications, which prevents sensitive data disclosure from happening. Our approach is to use information flow control (IFC) to track the flow of data through a complex, heterogeneous distributed application and constrain undesirable flows, which could violate data protection policy. I illustrate this idea with two prototype systems for runtime data flow tracking: (1) the DEFCon middleware that applies the IFC model to event-based systems implemented in Java, after adding support for strong isolation between objects to the Java runtime; and (2) PHP Aspis, a tool that uses partial data flow tracking to protect PHP web applications against cross-site scripting and SQL injection vulnerabilities. Bio: Dr Peter Pietzuch is a Senior Lecturer (Associate Professor), leading the Large-scale Distributed Systems (LSDS) group in the Department of Computing at Imperial College London. His research focuses on the design and engineering of scalable, reliable and secure large-scale software systems, including event processing, peer-to-peer and cloud computing applications. Dr Pietzuch has published over fifty research papers in peer-reviewed venues, including USENIX ATC, NSDI, ICDE, ICDCS, ACM/USENIX Middleware and DEBS. He has co-authored a book on Distributed Event-based Systems published by Springer. Before joining Imperial College, he was a post-doctoral fellow at Harvard University. He holds Ph.D. and M.A. degrees from the University of Cambridge.

1 0

Erinnerung: Vortrag am 23.11.2012, 15:00 Uhr
by Informatik-Kolloquium 22 Nov '12

22 Nov '12

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Prof. R. Koschke, Universität Bremen: Evolution von Softwarevarianten Beginn: 23.11.2012, 15: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/2012-11-23-koschke.html Kontakt: Prof. Dr.-Ing. Ina Schäfer Softwarevarianten sind verschiedene Ausprägungen eines Softwareprodukts oder einer Softwarekomponente. Sie entstehen beispielsweise, wenn Software eines Zulieferers angepasst wird oder wenn Teile aus Open-Source-Code kopiert und modifiziert werden. Sie entstehen im Kontext eingebetteter Software auch häufig innerhalb derselben Entwicklungsorganisation durch die Notwendigkeit, vielfältige Hardware unterstützen zu müssen. Softwarevarianten durch Copy&Paste im großen Stil sind ein einfaches Mittel der Wiederverwendung. Sie stellen jedoch eine Form von Redundanz dar, die im Falle von Änderungen besonders behandelt werden muss. Neuerungen des Originals müssen in der Variante nachgezogen werden, ohne dass die Anpassungen der Variante verloren gehen. Fehler im Original müssen gegebenenfalls in allen Varianten behoben werden. In diesem Vortrag wird beschrieben, wie man den Grad der Varianz auf Code-Ebene zwischen Varianten bestimmen und vermessen kann. Darüber hinaus wird aufgezeigt, wie man automatisiert abstraktere Sichten aus den Varianten extrahieren kann. Diese Sichten können helfen, die Varianten in geordnete Produktlinien zu konsolidieren. Abgerundet wird der Beitrag mit einer Diskussion der Möglichkeiten, die Varianten effektiv zu managen, um den Problemen, die sich durch deren Redundanz ergeben, zu begegnen. Zum Beispiel ist es möglich, automatisiert aufzuzeigen, an welchen Stellen man Änderungen auch im varianten Code nachziehen muss.

1 0

Erinnerung: Vortrag am 14.11.2012, 13:30 Uhr
by Informatik-Kolloquium 13 Nov '12

13 Nov '12

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Habib N. Najm, PhD, Sandia National Laboratories, Livermore, CA, USA: Challenges in Uncertainty Quantification Beginn: 14.11.2012, 13:30 Uhr Ort: TU Braunschweig, Hans-Sommer-Str. 65, Raum HS 65.4 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2012-11-14-najm.html Kontakt: Prof. Hermann G. Matthies, PhD This talk will focus on uncertainty quantification in computational models, and specifically on the range of challenges in this field. These challenges include, to begin with, characterization of uncertain inputs given disparate and imperfect sources of information. They also include efficient sparse representation of random variables in a high-dimensional setting. Moreover, high dimensionality is a significant challenge for forward propagation of uncertainty, global sensitivity analysis, and surrogate construction over ranges of parameter variability, in complex computational models. Another key challenge, in particular for smooth polynomial representaitons of random variables, is the presence of discontinuous/bifurcative model behavior over parametric space. Finally, significant challenges are also present in the representation of uncertain quantities in dynamical systems with oscillatory behavior over long time horizons. I will range over these challenges, outlining our work in various elements of the picture, and describing promising research directions.

1 0

Vortrag am 14.11.2012, 13:30 Uhr
by Informatik-Kolloquium 13 Nov '12

13 Nov '12

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Habib N. Najm, PhD, Sandia National Laboratories, Livermore, CA, USA: Challenges in Uncertainty Quantification Beginn: 14.11.2012, 13:30 Uhr Ort: TU Braunschweig, Hans-Sommer-Str. 65, Raum HS 65.4 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2012-11-14-najm.html Kontakt: Prof. Hermann G. Matthies, PhD This talk will focus on uncertainty quantification in computational models, and specifically on the range of challenges in this field. These challenges include, to begin with, characterization of uncertain inputs given disparate and imperfect sources of information. They also include efficient sparse representation of random variables in a high-dimensional setting. Moreover, high dimensionality is a significant challenge for forward propagation of uncertainty, global sensitivity analysis, and surrogate construction over ranges of parameter variability, in complex computational models. Another key challenge, in particular for smooth polynomial representaitons of random variables, is the presence of discontinuous/bifurcative model behavior over parametric space. Finally, significant challenges are also present in the representation of uncertain quantities in dynamical systems with oscillatory behavior over long time horizons. I will range over these challenges, outlining our work in various elements of the picture, and describing promising research directions.

1 0

Erinnerung: Vortrag am 08.11.2012, 18:00 Uhr
by Informatik-Kolloquium 07 Nov '12

07 Nov '12

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig machen auf folgenden Vortrag der GI Regionalgruppe Braunschweig aufmerksam: Professor Dr. Martin Korte, Institutsleiter und Professor für Zelluläre Neurobiologie, TU Braunschweig: GI-Vortrag: Neue Einsichten der Hirnforschung in Lernen, Denken und Vergessen Beginn: 08.11.2012, 18:00 Uhr Ort: Haus der Wissenschaft, Raum Veolia, Pockelsstraße 11 Webseite: http://www.lineas.de/gi-bs/ Kontakt: Anja Schaar-Goldapp, Sprecherin der GI Regionalgruppe BS Je älter wir werden, desto mehr lässt uns unser Gedächtnis im Stich? Stimmt nicht, meint Professor Martin Korte, mit dem richtigen Gedächtnistraining werden wir in vielen Dingen sogar besser. Wie wir den Alterungsprozess positiv beeinflussen und jung im Kopf bleiben können - das verrät der Experte für Neurobiologie beim Vortrag des Jahres, der in diesem Jahr von der Braunschweiger Regionalgruppe der Gesellschaft für Informatik mit Sprecherin Anja Schaar-Goldapp organisiert wird. Martin Korte, bekannt als viel gelesener Buchautor und durch seine TV-Auftritte, geht darin der Frage nach, warum wir vieles vergessen, wie wir Neues lernen können - und warum es uns manchmal so schwer fällt, alte Routinen zu verlassen und andersartige Lern- und Denkwege zu betreten. Der Lernexperte und Institutsleiter des Zoologischen Instituts der TU Braunschweig wird seinen Zuhörern erstaunliche und unterhaltsame Einsichten der Hirnforschung in das Älterwerden präsentieren - und auch einige Tipps und Tricks, wie wir unsere geistige Leistungsfähigkeit trainieren und lebenslang lernen können.

1 0

Vortrag am 23.11.2012, 15:00 Uhr
by Informatik-Kolloquium 06 Nov '12

06 Nov '12

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Prof. R. Koschke, Universität Bremen: Evolution von Softwarevarianten Beginn: 23.11.2012, 15: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/2012-11-23-koschke.html Kontakt: Prof. Dr.-Ing. Ina Schäfer Softwarevarianten sind verschiedene Ausprägungen eines Softwareprodukts oder einer Softwarekomponente. Sie entstehen beispielsweise, wenn Software eines Zulieferers angepasst wird oder wenn Teile aus Open-Source-Code kopiert und modifiziert werden. Sie entstehen im Kontext eingebetteter Software auch häufig innerhalb derselben Entwicklungsorganisation durch die Notwendigkeit, vielfältige Hardware unterstützen zu müssen. Softwarevarianten durch Copy&Paste im großen Stil sind ein einfaches Mittel der Wiederverwendung. Sie stellen jedoch eine Form von Redundanz dar, die im Falle von Änderungen besonders behandelt werden muss. Neuerungen des Originals müssen in der Variante nachgezogen werden, ohne dass die Anpassungen der Variante verloren gehen. Fehler im Original müssen gegebenenfalls in allen Varianten behoben werden. In diesem Vortrag wird beschrieben, wie man den Grad der Varianz auf Code-Ebene zwischen Varianten bestimmen und vermessen kann. Darüber hinaus wird aufgezeigt, wie man automatisiert abstraktere Sichten aus den Varianten extrahieren kann. Diese Sichten können helfen, die Varianten in geordnete Produktlinien zu konsolidieren. Abgerundet wird der Beitrag mit einer Diskussion der Möglichkeiten, die Varianten effektiv zu managen, um den Problemen, die sich durch deren Redundanz ergeben, zu begegnen. Zum Beispiel ist es möglich, automatisiert aufzuzeigen, an welchen Stellen man Änderungen auch im varianten Code nachziehen muss.

1 0

Vortrag am 30.11.2012, 15:00 Uhr
by Informatik-Kolloquium 06 Nov '12

06 Nov '12

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Dr. Peter R. Pietzuch, Large-Scale Distributed Systems Group, Department of Computing, Imperial College London: Secure Distributed Applications using Information Flow Control Beginn: 30.11.2012, 15: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/2012-11-30-pietzuch.html Kontakt: kapitza Ensuring the confidentiality and integrity of data in distributed healthcare or financial applications is challenging. Developers may introduce unintended or deliberate security flaws in different parts of an application, which may lead to the disclosure of sensitive data. While access control mechanisms and source code auditing are used in practice to avoid security flaws, security violations nevertheless remain a frequent occurrence. Instead of trying to avoid all security flaws, I introduce our research on providing a "safety net" to distributed applications, which prevents sensitive data disclosure from happening. Our approach is to use information flow control (IFC) to track the flow of data through a complex, heterogeneous distributed application and constrain undesirable flows, which could violate data protection policy. I illustrate this idea with two prototype systems for runtime data flow tracking: (1) the DEFCon middleware that applies the IFC model to event-based systems implemented in Java, after adding support for strong isolation between objects to the Java runtime; and (2) PHP Aspis, a tool that uses partial data flow tracking to protect PHP web applications against cross-site scripting and SQL injection vulnerabilities. Bio: Dr Peter Pietzuch is a Senior Lecturer (Associate Professor), leading the Large-scale Distributed Systems (LSDS) group in the Department of Computing at Imperial College London. His research focuses on the design and engineering of scalable, reliable and secure large-scale software systems, including event processing, peer-to-peer and cloud computing applications. Dr Pietzuch has published over fifty research papers in peer-reviewed venues, including USENIX ATC, NSDI, ICDE, ICDCS, ACM/USENIX Middleware and DEBS. He has co-authored a book on Distributed Event-based Systems published by Springer. Before joining Imperial College, he was a post-doctoral fellow at Harvard University. He holds Ph.D. and M.A. degrees from the University of Cambridge.

1 0