TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Anzahl der Einträge: 7.

Bollmann, Dominik ; Lortz, Steffen ; Mantel, Heiko ; Starostin, Artem :
An Automatic Inference of Minimal Security Types.
Proceedings of the 11th International Conference on Information Systems Security (ICISS)
[ Konferenzveröffentlichung] , (2015)

Lortz, Steffen ; Mantel, Heiko ; Starostin, Artem ; Bähr, Timo ; Schneider, David :
Cassandra: Towards a Certifying App Store.

[Report] , (2014)

Lortz, Steffen ; Mantel, Heiko ; Starostin, Artem ; Weber, Alexandra :
A Sound Information-Flow Analysis for Cassandra.

[Report] , (2014)

Lortz, Steffen ; Mantel, Heiko ; Starostin, Artem ; Bähr, Timo ; Schneider, David ; Weber, Alexandra :
Cassandra: Towards a Certifying App Store for Android.
Proceedings of the 4th ACM CCS Workshop on Security and Privacy in Smartphones and Mobile Devices (SPSM) ACM
[ Konferenzveröffentlichung] , (2014)

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

Lortz, Steffen :
Clustering of Mailing List Discussions.
[Online-Edition: http://www.ke.tu-darmstadt.de/lehre/arbeiten/studien/2010/Lo...]
TU Darmstadt
[Masterarbeit] , (2010)

Lortz, Steffen :
Typbasierte Informationsflussanalyse für JVM-Programme auf Mobilgeräten.

[Anderes] , (2009)

Diese Liste wurde am Sat Feb 16 02:53:24 2019 CET generiert.