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.

Article

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

Conference or Workshop Item

Bollmann, Dominik ; Lortz, Steffen ; Mantel, Heiko ; Starostin, Artem (2015)
An Automatic Inference of Minimal Security Types.
Conference or Workshop Item, Bibliographie

Lortz, Steffen ; Mantel, Heiko ; Starostin, Artem ; Bähr, Timo ; Schneider, David ; Weber, Alexandra (2014)
Cassandra: Towards a Certifying App Store for Android.
Conference or Workshop Item, 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

Other

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

Master Thesis

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

This list was generated on Tue May 21 01:07:40 2024 CEST.