Artikel

Ereth, Sarah ; Lortz, Steffen ; Perner, Matthias (2014)
Confidentiality for Android Apps: Specification and Verification.
In: it -- Information Technology, 56 (6)
Artikel, Bibliographie

Konferenzveröffentlichung

Bollmann, Dominik ; Lortz, Steffen ; Mantel, Heiko ; Starostin, Artem (2015)
An Automatic Inference of Minimal Security Types.
Konferenzveröffentlichung, Bibliographie

Lortz, Steffen ; Mantel, Heiko ; Starostin, Artem ; Bähr, Timo ; Schneider, David ; Weber, Alexandra (2014)
Cassandra: Towards a Certifying App Store for Android.
Konferenzveröffentlichung, Bibliographie

Report

Lortz, Steffen ; Mantel, Heiko ; Starostin, Artem ; Bähr, Timo ; Schneider, David (2014)
Cassandra: Towards a Certifying App Store.
Report, Bibliographie

Lortz, Steffen ; Mantel, Heiko ; Starostin, Artem ; Weber, Alexandra (2014)
A Sound Information-Flow Analysis for Cassandra.
Report, Bibliographie

Anderes

Lortz, Steffen (2009)
Typbasierte Informationsflussanalyse für JVM-Programme auf Mobilgeräten.
Anderes, Bibliographie

Masterarbeit

Lortz, Steffen (2010)
Clustering of Mailing List Discussions.
Technische Universität Darmstadt
Masterarbeit, Bibliographie