Privacy Implications of the Internet of Things. - Ivan Gudymenko; Katrin Borcea-Pfitzmann; Katja Tietze (AmI Workshops, 2011)

On Modeling a Social Networking Service Description. - Katja Tietze; Thomas Schlegel (GeNeMe, 2011)

Parallel Symbolic Execution: Merging In-Flight Requests. - Martin Nowack; Katja Tietze; Christof Fetzer (Haifa Verification Conference, 2015)