Secure Software Systems Group


    Bachelor Thesis / Master Thesis / Master Practicum

    Software Security

    (Master Thesis) Vulnerability detection in smart contracts using fuzzing

    (Practicum / Master Thesis) Secure ML training in the cloud on heterogeneous hardware



    (Bachelor Thesis) Privacy of mobile messengers (beyond WhatsApp und Co.)

    (Master Thesis) Analysis of privacy leaks in social platforms (Facebook, Instagram)

    (Bachelor Thesis) De-anonymization of users in Tor network


    IoT Security

    (Bachelor Thesis / Master Practicum) Blockchain-based market place for IoT data

    (Bachelor Thesis) Countermeasures against botnets (Mirai)


    Security of Systems and Protocols

    (Master Thesis) Training in the cloud - securing Horovod’s elastic training

    (Master Thesis) Attacks on speech recognition systems (Alexa and Co.) and countermeasures

    (Bachelor Theses / Master Theses) Analysis of wireless worms in smart cities

    (Bachelor Theses / Master Theses) Reducing storage requirements of Ethereum archive nodes


    Application of ML for improving security

    (Master Thesis) Detection of hardware vulnerabilities through machine learning

    (Practicum / Bachelor Thesis) Intrusion Detection in Databases using Machine Learning and Petri-nets

    (Master Thesis) Detection of vulnerable firewall configurations using AI and ML


    Ethical Hacking

    (Practicum / Bachelor Thesis) Gamification of Hacking Lab


    If you are interested in the topics above, please contact us

    Please note that some topics advertised as a master thesis may also be suitable for a bachelor thesis with some modifications. You may also propose topics of your own choosing.

    Past Theses written by our Students


    • Security Analysis of UniNow App. Zimmermann, Keven; Thesis; University of Würzburg. (2021, June).
    • Intrusion Detection Using Machine Learning in Databases. Schindler, Sebastian; Thesis; University of Würzburg. (2021, April).
    • Remote Attestation for IoT with Smart Verifier. Petzi, Lukas; Thesis; University of Würzburg. (2021, January).


    • Aggregatable Remote Attestation for IoT. Alistarov, Vasil; Thesis; University of Würzburg. (2020, December).
    • Testbed for Security Testing of Smart Contracts. Denk, Lukas; Thesis; University of Würzburg. (2020, November).
    • Detection of Software Vulnerabilities in Smart Contracts using Deep Learning. Lutz, Oliver; Thesis; University of Würzburg. (2020, October).
    • Evaluating the Privacy of Contact Discovery. Sendner, Christoph; Thesis; University of Würzburg. (2020, July).
    • Strategies for the Security Assessment of IoT Devices by Certification Authorities. Finke, Moritz Anton; Thesis; University of Würzburg; Am Hubland, Informatikgebäude, 97074 Würzburg, Germany. (2020, May).


    • Implementation and Evaluation of a Group Encryption Scheme. Ten, Peter; Thesis; University of Würzburg. (2019, December).


    • Hardening Bitcoin Against Off-Topic Data Inclusion Attacks. Seeg, Andreas; Thesis; University of Würzburg. (2018, August).
    • Design of a Shared Parking System with Special Attention to Security Aspects. Englert, Simon; Thesis; University of Würzburg. (2018, August).
    • DIMAQS - Dynamic Identification of Malicious Query Sequences. Jobst, Michael; Thesis; University of Würzburg. (2018, June).