Studierende gesucht – Softwarepraktikum – Virulentes Postscript File

Virulentes Postscript File

Digitale Signaturen sind prinzipiell auf jeder Form von Datei möglich, sichern im Allgemeinen jedoch lediglich die Unverändertheit der Datei an sich, nicht jedoch die Integrität der Inhalte, welche die Datei ggf. bei Anzeige in einem geeigneten Viewer erzeugt.

Postscript ist (ähnlich wie PDF) eine Seitenbeschreibungssprache, welche abhängig vom Kontext ihrer Anzeige durchaus unterschiedliche Texte hervorbringen kann, jenachdem welche Bedinungen der Postscript-Code auf dem System vorfindet, wo er angezeigt wird.

Dies führt zu dem möglichen Angriff, ein digital signiertes Postscript Dokument so zu gestalten, dass der angezeigte Text – trotz Signatur – veränderbar ist, da er dynamisch während der Anzeige erzeugt wird, die signatur sich jedoch nur auf den anzeigenden Code, und nicht auf dessen Ausgabe bezieht.

Ziel des Software-Praktikums ist die Schaffung eines Demonstrators, welcher genau diese Problematik live demonstrieren lässt. Im Einzelnen soll ein Postscript-File und Demonstrations-Skript erzeugt werden, welches folgende Eigenschaften erfüllt:

  • Abfrage lokaler Bedingungen an das anzeigende System. Konkret soll auf das Vorhandensein gewisser Dateien, Verzeichnisse, Pfade, o.ä. innerhalb des Postscript Codes geprüft und geeignet (unterschiedlich) reagiert werden können.
  • Möglichkeit, wenigstens zwei Versionen des gleichen Textes innerhalb des Postscript Dokuments zu verankern, und abhängig von der vorab geprüften Bedingung unterschiedlich anzuzeigen.
  • Anbringen einer (standardisierten) digitalen Signatur, und Demonstration der Veränderbarkeit des Textes, trotz verifizierbarer digitaler Signatur.

Hinweis: Für die Umsetzung des Projekts sind keine Kenntnisse über Kryptographie erforderlich; der Mechanismus der digitalen Signatur soll explizit in vorhandener Form, d.h. über kommerziell oder frei verfügbare Software-Werkzeuge genutzt werden.

Der Kreativität bei der Umsetzung sind keine Grenzen gesetzt. Das Projekt kann als Software-Praktikum in einem Team von 2-3 Personen abgewickelt werden.

Projektverlauf und Aufgaben:

  • Einarbeitung in die Postscript Sprache (im erforderlichen Umfang)
  • Konzeption des Dokuments und des Demo-Skripts
  • Implementierung und Demonstration

Rahmenbedingungen:

  • Projektstart: Ab sofort!
  • Projektende: 6-8 Monate nach Beginn (excl. Einarbeitungszeit)

Voraussetzungen:

  • Gute Programmierkenntnisse
  • Grundkenntnisse der angewandten Kryptologie und der linearen Algebra
  • Kreativität

Ansprechpartner und Betreuer:

 

Studierende gesucht – Softwarepraktikum/Praxissemester AINF – Simulation of Critical Infrastructures

Simulation of Critical Infrastructures

Kritische Infrastrukturen sind Systeme, von denen das Bestehen der Gesellschaft wesentlich abhängt, etwa Stromversorgung, Wasserversorgung, Transport, Gesundheitssysteme, Kommunikation, u.v.m.

Diese Systeme stehen in starker wechselseitiger Abhängigkeit, und Vorfälle in oder Ausfälle eines Teilsystems können weitreichende Folgen für nachgelagerte (abhängige) Infrastrukturen besitzen (sog. cascarding effects).

Im (EU-geförderten) SAURON Projekt werden kritische Infrastrukturen, genauer deren Wechselwirkung, modelliert und simuliert, um mögliche Schad-Szenarien wie etwa einen europaweiten Blackout oder ähnliche Möglichkeiten abzuschätzen, sodass rechtzeitig Maßnahmen getroffen werden können.

Das Projekt kann wahlweise als Softwarepraktikum, Praxissemester oder als Vorbereitung auf eine (aufbauende) Masterarbeit durchgeführt werden. Ziel ist die Modellierung eines Netzwerkes von kritischen Infrastrukturen auf Grundlage öffentlich verfügbarer Daten über die Versorgungsnetzwerke europäischer Staaten (also etwa die Abhängigkeit zwischen Wassernetz und Stromnetz eines Landes).

Der zu entwickelnde Prototyp soll hierbei folgende Aufgaben bzw. Funktionen erfüllen:

  • bestehende Datenbestände über Versorgungsnetzwerke als Eingabe nutzen können (große Graphen, die in standardisierten Dateiformaten vorliegen),
  • einfache Spezifikation von Abhängigkeiten zwischen mehreren Versorgungsnetzen
  • Aufbereitung der Daten für die Übergabe an eine bestehende Simulationssoftware (des Austrian Institute of Technology).

Hinweis: Die Umsetzung dieser Aufgaben erfolgt in enger Zusammenarbeit mit dem Austrian Institute of Technology (Niederlassung im Lakeside Park).

Der Kreativität bei der Umsetzung sind keine Grenzen gesetzt. Das Projekt kann als Software-Praktikum in einem Team von 2-3 Personen abgewickelt werden.

Projektverlauf und Aufgaben:

  • Einarbeitung in die vorhandenen Simulationsmodelle und Utility-Netzwerke
  • Spezifikation der Software
  • Implementierung eines Interfaces für die vorhandene Simulationskomponente

Rahmenbedingungen:

  • Projektstart: Ab sofort!
  • Projektende: 6-8 Monate nach Beginn (excl. Einarbeitungszeit)

Voraussetzungen:

  • Freude am Programmieren
  • Grundkenntnisse der Graphentheorie und endlicher Automaten
  • Kreativität

Ansprechpartner und Betreuer:

 

Papers SEARCHED: Workshop on Epistemic Extensions of Logic Programming

Wolfgang Faber and Michael Morak organize the first Workshop on Epistemic Extensions of Logic Programming, which will be held at the International Conference on Logic Programming in late September 2019 in Las Cruces, New Mexico. Submit your papers by 10 July 2019!

https://www.semsys.aau.at/events/eelp2019/

New research project on spreadsheet errors (FWF / iDEOS)

Spreadsheets based on Microsoft Excel are omnipresent in most organizations. Errors in these spreadsheets can however be highly problematic and a number of examples exist where wrong calculations led to severe financial loss for companies. A new joint project between researchers of AAU and TU Graz will address these problems and develop novel means that help users to detect and remove errors from spreadsheets.

The research project “Interactive Spreadsheet Debugging (iDEOS)” is funded by the Austrian Science Fund (FWF) and will be led by Prof. Dietmar Jannach of the Department of Applied Informatics.

More information about debugging spreadsheets can be found in this research article.

We are looking for a doctoral student (75%) and a postdoctoral researcher (100%). Please contact Prof. Jannach in case you are interested. The project will last 3.5 years.