Steffen Lortz

According to our database, Steffen Lortz authored at least 3 papers between 2014 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

An Automatic Inference of Minimal Security Types.

Dominik Bollmann, Steffen Lortz, Heiko Mantel, Artem Starostin

Proceedings of the Information Systems Security - 11th International Conference, 2015

2014

Confidentiality for Android apps: Specification and verification.

Sarah Ereth, Steffen Lortz, Matthias Perner

it Inf. Technol., 2014

Cassandra: Towards a Certifying App Store for Android.

Steffen Lortz, Heiko Mantel, Artem Starostin, Timo Bähr, David Schneider, Alexandra Weber

Proceedings of the 4th ACM Workshop on Security and Privacy in Smartphones & Mobile Devices, 2014