Abschlussarbeiten

Direkt zum Inhalt   Anmelden | English

Abschlussarbeiten

Die folgenden Themen bieten wir Studierenden der TU Darmstadt als mögliche Themen für Bachelor- und Masterarbeiten an.

Offene Themen für Abschlussarbeiten

  • 17.05.2013

    Static Fault Analysis

    Masterarbeit

    Ausschreibung als PDF

  • 12.11.2012

    Demonstrator for Privacy-Preserving Face Recognition

    Bachelorarbeit

    Betreuer/innen: Michael Zohner, M.Sc., Dr. Thomas Schneider

    Ausschreibung als PDF

  • 28.10.2012

    Practical Aspects of Secure Computation Protocols

    Bachelorarbeit, Masterarbeit

    Two-party Secure Function Evaluation (SFE) allows two mistrusting parties to securely evaluate a common function on their private inputs without involving a trusted third party. SFE enables a variety of privacypreserving applications such as medical diagnostics, face recognition, or checking no-flight lists. Since its invention 25 years ago, SFE has undergone many algorithmic improvements and has become practical on today’s hardware. In our group we aim to develop several tools for investigation of SFE in practice and making it as usable as basic cryptographic primitives such as encryption or signatures. In this context we offer several challenging topics for master and diploma theses. We strongly encourage and provide support to highly motivated students to publish the results of their thesis on established international conferences.

    Possible topics include but are not limited to:

    • Platform for comparison of cryptographic protocols

    • Universal Circuits (requires knowledge in graph theory)

    • SFE on Multiprocessor Systems

    • SFE in the Cloud / Distributed Systems

    • SFE on Graphics Cards weiter

    Betreuer/in: Dr. Thomas Schneider

    Ausschreibung als

Laufende Abschlussarbeiten

  • 05.04.2013

    A visualizer and debugger for static analyses in Eclipse

    Analysis visualization in the XCode IDE
    Analysis visualization in the XCode IDE

    Master thesis on Eclipse, Static Analysis and Android

    Masterarbeit

    Apple’s analysis engine XCode features a static-analysis and visualization feature that can be seen in the attached image. The visualization makes it very simple to recognize and follow, for instance, information-flow violations in ObjectiveC code.

    We are currently building an analysis infrastructure for Android apps, which involves complex information-flow analyses that are hard to understand and debug. To aid programmers of such analyses, we have started to develop visualization support in Eclipse, similar to the one in XCode. The topic of this thesis will be to finalize this support, and to design and implement a full static-analysis debugger in the Eclipse IDE.

    In a first analytical part, the student will answer, in collaboration with the thesis advisors, crucial questions regarding requirements such as: What analysis details to visualize and how? How do programmers step through a static analysis? How to best visualize static abstractions of runtime objects?

    In a second part, the student will define a client/server architecture in which the “server” is the debugged analysis and the client is the to-be-programmed plugin for the Eclipse IDE. Here one will have to answer questions such as: What information is best computed on the client, what on the server? What is the communication protocol?

    The final part will consist of the design and implementation of appropriate user-interface elements as extensions to our current Eclipse plugin. As evaluation, the Master thesis will discuss the different debugging scenarios (“user stories”) that the debugger supports.

    Ideal candidates should have good knowledge of and/or interest in Eclipse plugin design and debugging. Good Java skills are necessary. Students will instantly become part of a dynamic and diverse team working on Android analysis, will deepen their understanding of Eclipse, and will learn a lot about static analysis. Prior knowledge on static analysis is not required. weiter

    Bearbeiter/in: Alexander Jandousek

    Betreuer/innen: Steven Arzt, M.Sc., Eric Bodden, Dr.

    Ausschreibung als PDF

  • 28.11.2012

    Precise and Scalable Information-flow Analysis

    Masterarbeit

    Bearbeiter/in: Christian Fritz

    Betreuer/in: Dr. Eric Bodden

  • 05.11.2012

    An AspectJ pointcut for matching invokedynamic instructions

    Masterarbeit

    Bearbeiter/in: Thorben Bürgel

    Betreuer/in: Dr. Eric Bodden

  • 11.09.2012

    Generating Dalvik code from intermediate representations

    Masterarbeit

    Bearbeiter/in: Thomas Pilot

    Betreuer/in: Dr. Eric Bodden

  • 27.08.2012

    Hardware-Assisted Secure Computation on Mobile Devices

    Masterarbeit

    Secure computation allows mutually distrusting parties to jointly compute a function on their input data without revealing anything but the result. Today, mobile devices are widely used to collect and store highly sensitive private information such as contacts, calendars, pictures, and location information. Secure computation could be an enabling technology to process this data in a privacy-preserving way which provides new services without revealing users’ sensitive data. However, existing protocols for secure computation are rather expensive in terms of communication and computation.

    The goal of this thesis is to investigate how secure hardware such as programmable smart cards can be used to reduce the resource requirements of secure computation protocols. The outcome should be a working demonstrator that allows privacy-preserving processing of sensitive data on a recent mobile platform running Android OS.

    Prerequisites: The candidates should have a good understanding of Java and Cryptographic Protocols and should be able to work independently. Experience in smart card programming and Android development are beneficial, but not necessary. An adequate knowledge of English is required weiter

    Bearbeiter/in: Demmler Daniel

    Betreuer/innen: Michael Zohner, M.Sc., Dr. Thomas Schneider

Abgeschlossene Abschlussarbeiten