Steffen Lortz

Publication Activity (10 Years)

Years Active: 2014-2015
Publications (10 Years): 1

Top Topics

Mobile Platforms

Development Tools

Signature Verification

Top Venues

it Inf. Technol.

Publications

Dominik Bollmann, Steffen Lortz, Heiko Mantel, Artem Starostin
An Automatic Inference of Minimal Security Types. ICISS (2015)
Sarah Ereth, Steffen Lortz, Matthias Perner
Confidentiality for Android apps: Specification and verification. it Inf. Technol. 56 (6) (2014)
Steffen Lortz, Heiko Mantel, Artem Starostin, Timo Bähr, David Schneider, Alexandra Weber
Cassandra: Towards a Certifying App Store for Android. SPSM@CCS (2014)