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

Erinnerung: Vortrag am 24.02.2017, 10:00 Uhr
by Informatik-Kolloquium 23 Feb '17

23 Feb '17

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein. Stefan Brunthaler, Universität Paderborn: Large-scale Automated Software Diversity Using Programming Language Technology to Enhance Software and System Security Beginn: 24.02.2017, 10:00 Uhr Ort: TU Braunschweig, BRICS, Rebenring 56, Raum 46 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2017-02-24-brunthaler.html Kontakt: Prof. Dr. Konrad Rieck Security is among the most pressing problems in computing today, with high profile breaches receiving notable media coverage and increasingly also impact in daily life. Recently, for example, hackers stole 500 million (sic!) passwords from Yahoo's email service. After briefly talking about the current state of cyber-security, I will be analyzing the current software ecosystem and identify a fundamental flaw: the software monoculture. I will then illustrate return-oriented programming (ROP) and show how software diversity effectively mitigates this attack vector. In addtion I will cover important next steps: adaptive diversification to reduce performance impact and active defenses as a new capability.

1 0

Erinnerung: Vortrag am 21.02.2017, 13:30 Uhr
by Informatik-Kolloquium 20 Feb '17

20 Feb '17

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein. Jan Jürjens, Universität Koblenz-Landau: Software-Sicherheitsanalyse bei Systemänderungen Beginn: 21.02.2017, 13:30 Uhr Ort: TU Braunschweig, BRICS, Rebenring 56, Raum 46 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2017-02-21-juerjens.html Kontakt: Prof. Dr. Konrad Rieck Sicherheitszertifizierungen großer und komplexer Systeme sind mit großem Aufwand verbunden. Eine besondere Herausforderung ist, dass IT-Systeme heutzutage sehr langlebig und ständig Änderungen unterworfen sind. Nach jeder Änderung muss die Zertifizierung eigentlich vollständig wiederholt werden, um die Vertrauenswürdigkeit der Systeme aufrechtzuerhalten, was aber viel zu aufwendig ist. Der Vortrag präsentiert einen werkzeuggestützten Ansatz für Software-Sicherheitsanalysen, der bei Änderungen den Aufwand für die erneute Zertifizierung minimiert. Dabei wird die Auswirkung von Evolution auf die Einhaltung von Anforderungen mit automatischen Werkzeugen analysiert (z.B. bei Einsatz von Designtechniken wie Verfeinerung und Architekturprinzipien wie Modularisierung). Damit wird ein werkzeuggestützter Ansatz für evolutionsbasierte Softwareanalyse vorgestellt, der den Aufwand für die erneute Analyse minimiert. Er erlaubt eine automatische änderungsbasierte Sicherheitsanalyse, zum einen auf der Spezifikationsebene und zum anderen auf der Implementierungsebene. Dabei wird die Nachverfolgbarkeit der Anforderungen von der Modellierungs- zur Implementierungsebene sichergestellt und die Einhaltung der Anforderungen durch die Implementierung mittels statischer Analyse und Runtime-Verification überwacht.

1 0

Erinnerung: Vortrag am 21.02.2017, 16:00 Uhr
by Informatik-Kolloquium 20 Feb '17

20 Feb '17

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein. Sebastian Faust, Ruhr-Universität Bochum: Practice-oriented foundations of cryptography Beginn: 21.02.2017, 16:00 Uhr Ort: TU Braunschweig, BRICS, Rebenring 56, Raum 46 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2017-02-21-faust.html Kontakt: Prof. Dr. Konrad Rieck In the last 40 years cryptography has matured from an art of secret writing to a science where virtually anything that one wishes to do can be done securely. An important driver of this evolution is the development of strong foundations on which the design and the analysis of cryptographic algorithms is based. But foundations not only play a major role in offering a formal framework for a mathematical rigorous security analysis; they also can introduce new concepts and ideas for (i) simplifying the security analysis of complex systems, (ii) building real-world systems that achieve stronger security and (iii) enabling entirely novel applications. In this talk, I will give an overview of my work on building practice-oriented foundations of cryptography. Examples will include a simplified security analysis of side-channel countermeasures and new technology for building scalable blockchain protocols.

1 0

Vortrag am 21.02.2017, 13:30 Uhr
by Informatik-Kolloquium 17 Feb '17

17 Feb '17

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein. Jan Jürjens, Universität Koblenz-Landau: Software-Sicherheitsanalyse bei Systemänderungen Beginn: 21.02.2017, 13:30 Uhr Ort: TU Braunschweig, BRICS, Rebenring 56, Raum 46 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2017-02-21-juerjens.html Kontakt: Prof. Dr. Konrad Rieck Sicherheitszertifizierungen großer und komplexer Systeme sind mit großem Aufwand verbunden. Eine besondere Herausforderung ist, dass IT-Systeme heutzutage sehr langlebig und ständig Änderungen unterworfen sind. Nach jeder Änderung muss die Zertifizierung eigentlich vollständig wiederholt werden, um die Vertrauenswürdigkeit der Systeme aufrechtzuerhalten, was aber viel zu aufwendig ist. Der Vortrag präsentiert einen werkzeuggestützten Ansatz für Software-Sicherheitsanalysen, der bei Änderungen den Aufwand für die erneute Zertifizierung minimiert. Dabei wird die Auswirkung von Evolution auf die Einhaltung von Anforderungen mit automatischen Werkzeugen analysiert (z.B. bei Einsatz von Designtechniken wie Verfeinerung und Architekturprinzipien wie Modularisierung). Damit wird ein werkzeuggestützter Ansatz für evolutionsbasierte Softwareanalyse vorgestellt, der den Aufwand für die erneute Analyse minimiert. Er erlaubt eine automatische änderungsbasierte Sicherheitsanalyse, zum einen auf der Spezifikationsebene und zum anderen auf der Implementierungsebene. Dabei wird die Nachverfolgbarkeit der Anforderungen von der Modellierungs- zur Implementierungsebene sichergestellt und die Einhaltung der Anforderungen durch die Implementierung mittels statischer Analyse und Runtime-Verification überwacht.

1 0

Vortrag am 24.02.2017, 10:00 Uhr
by Informatik-Kolloquium 17 Feb '17

17 Feb '17

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein. Stefan Brunthaler, Universität Paderborn: Large-scale Automated Software Diversity Using Programming Language Technology to Enhance Software and System Security Beginn: 24.02.2017, 10:00 Uhr Ort: TU Braunschweig, BRICS, Rebenring 56, Raum 46 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2017-02-24-brunthaler.html Kontakt: Prof. Dr. Konrad Rieck Security is among the most pressing problems in computing today, with high profile breaches receiving notable media coverage and increasingly also impact in daily life. Recently, for example, hackers stole 500 million (sic!) passwords from Yahoo's email service. After briefly talking about the current state of cyber-security, I will be analyzing the current software ecosystem and identify a fundamental flaw: the software monoculture. I will then illustrate return-oriented programming (ROP) and show how software diversity effectively mitigates this attack vector. In addtion I will cover important next steps: adaptive diversification to reduce performance impact and active defenses as a new capability.

1 0

Vortrag am 21.02.2017, 16:00 Uhr
by Informatik-Kolloquium 17 Feb '17

17 Feb '17

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein. Sebastian Faust, Ruhr-Universität Bochum: Practice-oriented foundations of cryptography Beginn: 21.02.2017, 16:00 Uhr Ort: TU Braunschweig, BRICS, Rebenring 56, Raum 46 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2017-02-21-faust.html Kontakt: Prof. Dr. Konrad Rieck In the last 40 years cryptography has matured from an art of secret writing to a science where virtually anything that one wishes to do can be done securely. An important driver of this evolution is the development of strong foundations on which the design and the analysis of cryptographic algorithms is based. But foundations not only play a major role in offering a formal framework for a mathematical rigorous security analysis; they also can introduce new concepts and ideas for (i) simplifying the security analysis of complex systems, (ii) building real-world systems that achieve stronger security and (iii) enabling entirely novel applications. In this talk, I will give an overview of my work on building practice-oriented foundations of cryptography. Examples will include a simplified security analysis of side-channel countermeasures and new technology for building scalable blockchain protocols.

1 0

Erinnerung: Vortrag am 17.02.2017, 15:00 Uhr
by Informatik-Kolloquium 16 Feb '17

16 Feb '17

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein. Prof. Dr. Georg Lausen, Universität Freiburg, Technische Fakultät: SQL-on-Hadoop für das Web of Data Beginn: 17.02.2017, 15: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/2017-02-17-lausen.html Kontakt: Prof. Dr. Wolf-Tilo Balke Apache Hadoop bietet eine Reihe von open-source Frameworks für verteilte Speicherung und Auswertung von Daten auf einem Cluster von Maschinen. Es bestehen keine besonderen Anforderungen an die Hardware so dass Hadoop mit vergleichsweise geringen Kosten zuverlässige und hochgradig skalierende verteilte Anwendungen ermöglicht. Hadoop hat sich als Softwarebasis für Big Data Anwendungen etabliert. Bekannte Beispiele hierfür zum Einsatz kommender Systeme sind Mahout (Maschinelles Lernen und Data Mining), Hive (Datawarehouse) und Spark SQL für strukturierte Daten. Das Web of Data besteht aus den im Web durch unterschiedliche Quellen bereitgestellten Daten, üblicherweise genannt Linked Open Data. Das gewählte Datenformat ist der W3C-Standard RDF, mittels dem eine flexible Datenrepräsentation in Form von Subjekt-Prädikat-Objekt-Tripeln vorgenommen wird zu der eine intuitive Darstellung mittels eines kantenbeschrifteten gerichteten Graphen existiert. Um so strukturierte Daten mittels SQL effizient verarbeiten zu können sind in den letzten Jahren eine ganze Reihe von Vorschlägen gemacht worden. Im Vortrag wird der Einsatz von Spark SQL zur Verarbeitung von großen RDF Datenbeständen behandelt. Es wird zunächst gezeigt, wie mittels Vorberechnung von Semi-Verbünden die Effizienz von Anfragen in der RDF-Anfragesprache SPARQL gesteigert werden kann. Es wird argumentiert, dass der zusätzliche Speicheraufwand vertretbar ist. Es wird dann eine Erweiterung von SPARQL um Pfadanfragen vorgestellt, die im Unterschied zu der üblichen existentiellen Semantik auch die Berechnung aller möglichen Pfade eines RDF-Graphen erlaubt.

1 0

Vortrag am 17.02.2017, 15:00 Uhr
by Informatik-Kolloquium 03 Feb '17

03 Feb '17

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein. Prof. Dr. Georg Lausen, Universität Freiburg, Technische Fakultät: SQL-on-Hadoop für das Web of Data Beginn: 17.02.2017, 15: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/2017-02-17-lausen.html Kontakt: Prof. Dr. Wolf-Tilo Balke Apache Hadoop bietet eine Reihe von open-source Frameworks für verteilte Speicherung und Auswertung von Daten auf einem Cluster von Maschinen. Es bestehen keine besonderen Anforderungen an die Hardware so dass Hadoop mit vergleichsweise geringen Kosten zuverlässige und hochgradig skalierende verteilte Anwendungen ermöglicht. Hadoop hat sich als Softwarebasis für Big Data Anwendungen etabliert. Bekannte Beispiele hierfür zum Einsatz kommender Systeme sind Mahout (Maschinelles Lernen und Data Mining), Hive (Datawarehouse) und Spark SQL für strukturierte Daten. Das Web of Data besteht aus den im Web durch unterschiedliche Quellen bereitgestellten Daten, üblicherweise genannt Linked Open Data. Das gewählte Datenformat ist der W3C-Standard RDF, mittels dem eine flexible Datenrepräsentation in Form von Subjekt-Prädikat-Objekt-Tripeln vorgenommen wird zu der eine intuitive Darstellung mittels eines kantenbeschrifteten gerichteten Graphen existiert. Um so strukturierte Daten mittels SQL effizient verarbeiten zu können sind in den letzten Jahren eine ganze Reihe von Vorschlägen gemacht worden. Im Vortrag wird der Einsatz von Spark SQL zur Verarbeitung von großen RDF Datenbeständen behandelt. Es wird zunächst gezeigt, wie mittels Vorberechnung von Semi-Verbünden die Effizienz von Anfragen in der RDF-Anfragesprache SPARQL gesteigert werden kann. Es wird argumentiert, dass der zusätzliche Speicheraufwand vertretbar ist. Es wird dann eine Erweiterung von SPARQL um Pfadanfragen vorgestellt, die im Unterschied zu der üblichen existentiellen Semantik auch die Berechnung aller möglichen Pfade eines RDF-Graphen erlaubt.

1 0

Erinnerung: Vortrag am 03.02.2017, 15:00 Uhr
by Informatik-Kolloquium 02 Feb '17

02 Feb '17

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein. Prof. Dr. Hermann Maurer, Informatik, TU Graz, Österreich: Warum WWW Server für spezielle Themen als Ergänzung zu Suchmaschinen und Wissenssammlungen wie Wikipedia notwendig sind Beginn: 03.02.2017, 15: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/2017-02-03-maurer.html Kontakt: Prof. Dr. Wolf-Tilo Balke Suchmaschinen und Wissenssammlungen wie Wikipedia reichen für viele Aufgaben nicht aus. Es beginnt mit der Tatsache, dass die Quelle der Informationen meist unbekannt ist und daher die Richtigkeit/ Objektivität oft nicht feststellbar ist. Während uns Suchmaschinen mit repetetiven tausenden Informationsstücken überhäufen, bietet uns Wikipedia zu einem Thema häufig nur einen Beitrag an. Nicht nur kann man sich fragen, wie kontroversielle Themen wie Atomkraft, Gentechnik, Klimaerwärmung usw. in einem Beitrag abgehandlet werden können (ohne mehr oder minder mit Kompromissen zu enden), sondern es berücksichtigen die Beiträge auch den Wissensstand der fragenden Personen nicht: Was sollen z.B. Kinder mit 12 Jahren mit einer Erklärung von kinetischer Energie anfangen, wenn darin Differentialgleichungen enthalten sind, wobei sie den Begriff "Differentialgleichung" gar nicht kennen? Oder umgekehrt, was macht ein Mediziner mit einer Trivalbeschreibung eines Arzneimittel, für das er Nebenwirkungen mit anderen dringend in Erfahrung bringen muss? Warum gibt es nicht mehr Kommunikation zwischen Verfassern von Beiträgen und Lesern? Warum soll nicht wertvolles gedrucktes Material unverändert angeboten werden? Am Wichtigsten ist es aber zu verstehen, dass wir nicht nur eine Sammlung von Multimediaelementen wünschen, sondern ein "Labor", mit dem wir experimentieren können. An Hand eines konkreten großen Systems wird gezeigt, wie man alle Forderungen ganz gut unter einen Hut bringen kann. Der Vortrag wird in mehrerer Hinsicht Neues zeigen und den Beweis erbringen, was man alles erreichen kann. Über 90% der Zeit werden Elemente eines Systems vorgeführt werden, die inhaltlich interessant oder unterhaltsam sind, deren Benutzung und Verwebung miteinander und als Experimentierbasis die wirkliche Mächtigkeit des Systems zeigen wird. Der Vortrag ist auf einer technischer Ebene so ausgelegt, dass er für Interessierte aller Fachgebiete, auch wenn diese kaum Informatikkenntnisse jenseits der Bedienung des WWW besitzen, verständlich und verblüffend sein wird.

1 0