Some Thesis Topics

I like to work in close contact with my students. In order to ensure that, I prefer to keep the size of my group small and I welcome applications from strongly motivated students. Most of my students published their theses in international conferences (below you can find some examples). There are many topics for bachelor theses, master theses, and research immersion labs available. Have a look at our latest publications to get an idea of the group's current research interests. If you are interested to work with me, just write me an e-mail or come to my office for an informal chat. I will be glad to present you some possible thesis topics and/or to hear your own proposal.

  • Manuel Reinert (Master Thesis)

    Security and Privacy by Declarative Design
    Matteo Maffei, Manuel Reinert, and Kim Pecina
    26th Computer Security Foundations Symposium (CSF 2013). (pdf)
  • Stefan Lorenz (Master Thesis)

    Brief Announcement: Anonymity and Trust in Distributed Systems
    Michael Backes, Stefan Lorenz, Matteo Maffei, and Kim Pecina.
    29th Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC 2010). (pdf)

    Anonymous Webs of Trust
    Michael Backes, Stefan Lorenz, Matteo Maffei, and Kim Pecina.
    10th Privacy Enhancing Technologies Symposium (PETS 2010). (pdf)
  • Marek Hamerlik (Master Thesis)

    Anonymity and Censorship Resistance in Unstructured Overlay Networks
    Michael Backes, Marek Hamerlik, Alessandro Linari, Matteo Maffei, Christos Tryfonopoulos, and Gerhard Weikum.
    17th International Conference on Cooperative Information Systems (CoopIS 2009). (pdf)
    Also presented as a brief announcement at 27th Annual Symposium on Principles of Distributed Computing (PODC 2008).
  • Martin Grochulla (Master Thesis)

    Achieving Security Despite Compromise Using Zero-Knowledge
    Michael Backes, Martin Grochulla, Catalin Hritcu, and Matteo Maffei.
    22nd IEEE Symposium on Computer Security Foundations (CSF 2009). (pdf)
  • Stefan Lorenz (FoPra Thesis) and Kim Pecina (Bachelor Thesis)

    The CASPA Tool: Causality-based Abstraction for Security Protocol Analysis (Tool Paper)
    Michael Backes, Stefan Lorenz, Matteo Maffei, and Kim Pecina.
    20th International Conference on Computer Aided Verification (CAV 2008). (pdf)