TU Darmstadt / ULB / TUprints

Items where Division is "LOEWE > LOEWE-Zentren > CASED – Center for Advanced Security Research Darmstadt" and Year is [pin missing: value2]

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Date | Item Type | Language | No Grouping
Jump to: A | D | H | P
Number of items at this level: 5.

A

Arzt, Steven :
Static Data Flow Analysis for Android Applications.
Technische Universität, Darmstadt
[Ph.D. Thesis], (2017)

D

Deckwerth, Frederik :
Static Verification Techniques for Attributed Graph Transformations.
Technische Universität, Darmstadt
[Ph.D. Thesis], (2017)

H

Heuser, Stephan :
Towards Modular and Flexible Access Control on Smart Mobile Devices.
Technische Universität Darmstadt, Darmstadt
[Ph.D. Thesis], (2016)

P

Patzina, Lars :
Generierung von effizienten Security-/Safety-Monitoren aus modellbasierten Beschreibungen.
Technische Universität, Darmstadt
[Ph.D. Thesis], (2014)

Patzina, Sven :
Entwicklung einer Spezifikationssprache zur modellbasierten Generierung von Security-/Safety-Monitoren zur Absicherung von (Eingebetteten) Systemen.
Technische Universität, Darmstadt
[Ph.D. Thesis], (2014)

This list was generated on Thu Nov 23 00:49:56 2017 CET.