Dr. Carmen Kempka

Project management, technology reviews, security, general creativity :) Fließender Übergang R&D -> Corporate Technology

Softwarelizensierung in der Cloud Softwareentwicklung, Testsystem, Sicherheitsanalyse, Entwicklung Test/Analyse-Tools

In meiner Forschungsstelle bei NTT habe ich mich hauptsächlich mit sicherer Zweiparteinen-Berechnung (garbled Circuits) beschäftigt. Die Forschung führte u.A. zu 2 wissenschaftlichen Puplikationen auf der ASIACRYPT sowie zu Patentanmeldungen in Japan und USA.

Thema meiner Promotion war die beweisbare Korrektheit des Wahlergebnisses unter Erhalt des Wahlgeheimnisses beim E-Voting. Außerdem wurde ein Wahlverfahren implementiert (Sprache: Java), welches bei einer Studierendenparlamentswahl am KIT eingesetzt wurde. Lehre: Vorlesungen: Public Key Cryptography, Kryptographische Wahlverfahren Übungen/Betreuung Tutorien: theoretische Informatik Seminare/Praktika im Bereich Kryptographie, Praktikum Softwareentwicklung Betreuung studentischer Arbeiten

Ich habe eine mobile Anwendung implementiert, welche das Handy als Vertrauensanker zum digitalen Signieren von Verträgen verwendet. Implementiert wurde das Verfahren in Java (Server-seitig) und J2ME (Client-seitig).

Ich habe verschiedene Tutorien im Bereich Informatik gehalten (u.a. theoretische Informatik, Betriebssysteme).

Forschung in den Bereichen sicheres E-Voting und sicheres Cloud Computing

Cryptography, IT-Security, Quantum Computing Studienarbeit: Untersuchung/Implementierung eines steganographischen Verfahrens , das Daten in Bildern einbettet (Java). Diplomarbeit: Automatisierung spielbasierter Sicherheitsbeweise kryptographischer Verfahren (Java, Antlr).