idw – Informationsdienst Wissenschaft
Nachrichten, Termine, Experten
Nachrichten, Termine, Experten
Es findet von 18. bis 20. Juli an der Saar-Uni statt, wird vom Kompetenzzentrum für IT-Sicherheit (CISPA) organisiert und steht auch Praktikern aus der Industrie und Journalisten offen.
„Nirgendwo sonst finden Sie mehr Spitzenforscher zu Software-Test und Analyse auf engstem Raum versammelt. Nirgendwo sonst erhalten Sie einen besseren Überblick über die neuesten und vielversprechendsten Forschungsergebnisse, vorgestellt nicht nur von Wissenschaftlern, sondern auch in Form von unmittelbar einsetzbaren Werkzeugen, mit denen sich in einer Vielzahl von Programmen Fehler finden lassen“, erklärt Andreas Zeller. Der Professor für Softwaretechnik an der Universität des Saarlandes hat das Symposium federführend organisiert.
Der Bedarf für die Themen des Symposiums wird im Alltag immer offensichtlicher, da auch die Medien inzwischen immer öfter über Programmfehler berichten. Erst vor wenigen Wochen verursachte eine Softwarepanne bei der Deutschen Bank bei zahlreichen Kunden schlagartig Bauchschmerzen. Auf Kontoauszügen waren Abbuchungen vom 1. Juni doppelt erschienen. Etliche Konten rutschten ins Minus, da gerade zu Monatswechsel höhere Zahlungen für Miete, Strom und Versicherungen fällig sind. Während die Kunden sich zu recht beklagten und nach der Ursache fragten, konnte ein Sprecher der Bank nur darauf hinweisen, dass die Fehleranalyse noch nicht abgeschlossen sei. Und erst letzte Woche legte eine Rechner-Panne bei Vodafone Internet und Telefon bei 1,8 Millionen Kunden lahm.
Solche spektakulären Pannen wollen die rund 100 nach Saarbrücken eingeladenen Experten verhindern.
Auf dem dreitägigen Programm des „International Symposium on Software Testing and Analysis“ stehen ebenso Vorträge über das bessere Verständnis von komplexem Programmcode wie Vorträge zu neuartigen Testverfahren und der Analyse von Android-Apps. Weitere Themen sind paralleles Programmieren und die Herausforderung, Programmierfehler zu finden, die erst dann sichtbar werden, wenn Tausende von Anwendern die entsprechende Software gleichzeitig nutzen.
Große Aufmerksamkeit in den sozialen Netzwerken erhalten schon jetzt die veröffentlichten Interviews, die vorab mit den Programmrednern geführt wurden.
* Professor Lionel Brand von der Universität Luxemburg, aktueller Gewinner des „Advanced Research Grants“ des europäischen Forschungsrates und einer der produktivsten und meist zitierten Forscher in der Softwaretechnik, stellt am Montag, den 18. Juli ab 8:50 Uhr vor, wie man den Betrieb cyber-physikalischer Systeme (vernetzte Industrieanlagen, intelligente Stromnetze) durch Testen absichern kann.
* Am darauffolgenden Tag erklärt zur gleichen Zeit Professor Martin Vechev von der Eidgenössischen Technischen Hochschule Zürich, wie sich durch die Analyse riesiger Datenmengen Programmcodes (Big Code) künftige Programmierfehler vorhersagen und verschleierte Programme entschlüsseln lassen.
* Christian Holler fand bereits als Student an der Universität des Saarlandes im Rahmen seiner Abschlussarbeit mehr als 150 Programmierfehler im Webbrowser Firefox und wurde dafür von der gemeinnützigen Mozilla-Stiftung mit 53.000 US-Dollar belohnt. Am Mittwoch wird er, inzwischen Sicherheitsingenieur bei Mozilla, ab 15:15 Uhr erklären, wie er für eine Software wie Firefox, die mehr als neun Millionen Codezeilen umfasst, das Testen auf Sicherheitslücken im großen Maßstab organisiert.
Alle drei Programmredner stehen auf Anfrage für Interviews und Hintergrundgespräche mit Medienvertretern zur Verfügung.
Hintergrund: Das Kompetenzzentrum für IT-Sicherheit (CISPA) an der Universität des Saarlandes
IT-Sicherheit ist ein Schwerpunkt der Informatik-Institute auf dem Campus der Universität des Saarlandes. Bereits 2011 richtete das Bundesministerium für Bildung und Forschung (BMBF) drei Kompetenzzentren für IT-Sicherheit ein. Eines davon ist das Center for IT-Security, Privacy and Accountability (CISPA) an der Universität des Saarlandes. Nach einer ersten Förderphase mit insgesamt rund 5,6 Millionen Euro, erhält das CISPA vom BMBF in der zweiten Förderphase bis zum Jahr 2019 rund 16 Millionen Euro. Inzwischen ist CISPA zu einem Forschungsstandort mit internationaler Sichtbarkeit geworden ist. 33 Gruppen mit 210 Forschern arbeiten dort. Größter Erfolg bis dato: Zusammen mit dem Max-Planck-Institut für Informatik und dem Max-Planck-Institut für Softwaresysteme gewann CISPA den „ERC Synergy Grant“ des Europäischen Forschungsrates (ERC). Damit erhielten Michael Backes und drei weitere Informatik-Professoren rund zehn Millionen Euro, um zu erforschen, wie man im Internet Anwender gegen Ausspähung und Betrug schützen und Täter entlarven kann, ohne dabei den Handel, die freie Meinungsäußerung sowie den Zugang zu Informationen im Internet einzuschränken.
Weitere Informationen:
Website des International Symposium on Software Testing and Analysis 2016
https://issta2016.cispa.saarland/
Interview mit Lionel Brand
https://issta2016.cispa.saarland/interview-with-lionel-c-briand/
Interview mit Martin Vechev
https://issta2016.cispa.saarland/interview-with-martin-vechev/
Interview mit Christian Holler
https://issta2016.cispa.saarland/interview-with-christian-holler/
Fragen beantwortet:
Prof. Dr. Andreas Zeller
Universität des Saarlandes
Center for IT-Security, Privacy and Accountability (CISPA)
Telefon: +49 681 302-70971
E-Mail: zeller@cs.uni-saarland.de
Redaktion:
Gordon Bolduan
Kompetenzzentrum Informatik Saarland
Telefon: +49 681 302-70741
E-Mail: bolduan@mmci.uni-saarland.de
Hinweise zur Teilnahme:
Termin:
18.07.2016 ab 08:30 - 20.07.2016 16:00
Veranstaltungsort:
Campus Saarbrücken, Aula (Geb. A33),
66123 Saarbrücken
Saarland
Deutschland
Zielgruppe:
Wirtschaftsvertreter, Wissenschaftler
E-Mail-Adresse:
Relevanz:
regional
Sachgebiete:
Informationstechnik
Arten:
Konferenz / Symposion / (Jahres-)Tagung
Eintrag:
07.07.2016
Absender:
Thorsten Mohr
Abteilung:
Pressestelle der Universität des Saarlandes
Veranstaltung ist kostenlos:
nein
Textsprache:
Deutsch
URL dieser Veranstaltung: http://idw-online.de/de/event54824
Sie können Suchbegriffe mit und, oder und / oder nicht verknüpfen, z. B. Philo nicht logie.
Verknüpfungen können Sie mit Klammern voneinander trennen, z. B. (Philo nicht logie) oder (Psycho und logie).
Zusammenhängende Worte werden als Wortgruppe gesucht, wenn Sie sie in Anführungsstriche setzen, z. B. „Bundesrepublik Deutschland“.
Die Erweiterte Suche können Sie auch nutzen, ohne Suchbegriffe einzugeben. Sie orientiert sich dann an den Kriterien, die Sie ausgewählt haben (z. B. nach dem Land oder dem Sachgebiet).
Haben Sie in einer Kategorie kein Kriterium ausgewählt, wird die gesamte Kategorie durchsucht (z.B. alle Sachgebiete oder alle Länder).
