Security Assurance and Privacy Software Testing, Verifizierung von kryptographischen Protokollen und Privacy sind die Schwerpunkte unserer Forschungsgruppe Security Assurance and Privacy. Hier finden Sie Themen für Projekt- und Abschlussarbeiten sowie (HiWi-)Jobs.

Forschungsschwerpunkte

1. Software Testing
   • Die Qualität und Sicherheit von Softwareprodukten hängen entscheidend von effizienten Testmethoden ab. Unser Team entwickelt und verbessert Techniken zur automatisierten und manuellen Prüfung von Software, um Schwachstellen und Fehler frühzeitig zu erkennen und zu beheben. Wir erforschen unter anderem statische und dynamische Analyseverfahren sowie die Integration von künstlicher Intelligenz in Testprozesse.
2. Verifizierung von Kryptographischen Protokollen
   • Kryptographische Protokolle bilden die Grundlage für sichere Kommunikation und Datenaustausch. Wir beschäftigen uns mit der formalen Verifizierung solcher Protokolle, um ihre Sicherheitseigenschaften mathematisch zu beweisen. Unser Fokus liegt auf der Entwicklung und Anwendung von Verifikationstools, die gewährleisten, dass diese Protokolle vor Angriffen geschützt und zuverlässig einsetzbar sind.
3. Privacy
   • Der Schutz der Privatsphäre ist in der heutigen digitalen Welt ein zentrales Anliegen. Unsere Forschung zielt darauf ab, Lösungen zu entwickeln, die den Datenschutz gewährleisten, ohne die Funktionalität von Systemen zu beeinträchtigen. Wir untersuchen Methoden zur Anonymisierung und Pseudonymisierung von Daten sowie Verfahren zur sicheren Datenverarbeitung, wie etwa homomorphe Verschlüsselung und Multi-Party Computation.

Team

Prof. Dr. Dominik Schoop (Professor für IT-Sicherheit und Datenschutz)

Clemens Krüger (Wissenschaftlicher Mitarbeiter)

Bhavinkumar Kishor Sinh Moriya (Wissenschaftlicher Mitarbeiter)

Matvii Shevchenko (Wissenschaftliche Hilfskraft)

Projekt- und Abschlussarbeiten

Offene Themen

• Effiziente homomorphe Verschlüsselung auf ressourcenbeschränkten Endgeräten (Forschungsprojekt)
• Berechnungen auf homomorph verschlüsselten Trajektorien (Studienprojekt)
• Homomorphe Verschlüsselung im Browser (Studienprojekt)
• Trajectory Matching mit Homomorpher Verschlüsselung (Studienprojekt)
• Analyse und Visualisierung von Mobilitätsdaten (Studienprojekt)

Weitere offene Themen für Projekt- und Abschlussarbeiten finden Sie in der Stellensuche.

Laufende und vergangene Projekte

• Kryptanonyme Analyse von Mobilitätsdaten mittels homomorpher Verschlüsselung (Forschungsprojekt)
• Kryptoanonyme Datenerfassung zur Abrechnung des Deutschlandtickets (Forschungsprojekt)
• Kryptoanonyme Analyse von cloudbasierten Daten von Fahrzeugflotten (Forschungsprojekt)

Jobs

Aktuelle Jobangebote finden Sie in der Stellensuche.

Publikationen

Efficient Point-In-Polygon Queries using Fully Homomorphic Encryption

Clemens Krüger, Dominik Schoop, Florian Tschorsch

Paper in Arbeit

A Performance Comparison of the Homomorphic Encryption Schemes CKKS and TFHE

Clemens Krüger, Bhavinkumar Moriya, Dominik Schoop

Computation and Communication for Smart Systems Symposium (C2S3) 2025

Towards Efficient Cloud Data Processing: A Comprehensive Guide to CKKS Parameter Selection

Modjtaba Gharibyar, Clemens Krüger, Dominik Schoop

Proceedings of the 11th International Conference on Information Systems Security and Privacy, 2, 502-509

Vorträge

Forschungsprojekt „AnoMoB: Anonymisierte Erfassung und Nutzung von Mobilitäts- und Bewegungsdaten”

6. IFG-Tage des Landesbeauftragten für Datenschutz und die Informationsfreiheit Baden-Württemberg, Esslingen (03.06.2025)

Dominik Schoop

Privacy-Preserving Analysis of Mobility Data Using Homomorphic Encryption

Conference on Anonymization of Integrated and Georeferenced Data (07.10. - 08.10.2024)

Dominik Schoop

Privacy-Preserving Data Analysis Using Homomorphic Encryption

PET-CON 2024.1: 12th Privacy Enhancing Technologies Convention (13.03. - 14.03.2024)

Clemens Krüger