TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 7.

Bollmann, Dominik and Lortz, Steffen and Mantel, Heiko and Starostin, Artem (2015):
An Automatic Inference of Minimal Security Types.
In: Proceedings of the 11th International Conference on Information Systems Security (ICISS),
[Conference or Workshop Item]

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

Lortz, Steffen and Mantel, Heiko and Starostin, Artem and Weber, Alexandra (2014):
A Sound Information-Flow Analysis for Cassandra.
[Report]

Lortz, Steffen and Mantel, Heiko and Starostin, Artem and Bähr, Timo and Schneider, David and Weber, Alexandra (2014):
Cassandra: Towards a Certifying App Store for Android.
In: Proceedings of the 4th ACM CCS Workshop on Security and Privacy in Smartphones and Mobile Devices (SPSM), pp. 93--104,
ACM, [Conference or Workshop Item]

Ereth, Sarah and Lortz, Steffen and Perner, Matthias (2014):
Confidentiality for Android Apps: Specification and Verification.
In: it -- Information Technology, 56 (6), pp. 288--293. [Article]

Lortz, Steffen (2010):
Clustering of Mailing List Discussions.
TU Darmstadt, [Master Thesis]

Lortz, Steffen (2009):
Typbasierte Informationsflussanalyse für JVM-Programme auf Mobilgeräten.
[Other]

This list was generated on Tue Apr 20 02:13:08 2021 CEST.