Cassandra: Towards a Certifying App Store for Android. - Steffen Lortz; Heiko Mantel; Artem Starostin; Timo Bähr; David Schneider 002; Alexandra Weber (SPSM@CCS, 2014)

Confidentiality for Android apps: Specification and verification. - Sarah Ereth; Steffen Lortz; Matthias Perner (it Inf. Technol., 2014)

An Automatic Inference of Minimal Security Types. - Dominik Bollmann; Steffen Lortz; Heiko Mantel; Artem Starostin (ICISS, 2015)