This project describes and analyzes the set of unspent transaction outputs (UTXO set) in Bitcoin. The UTXO set contains all […]
Category: Mobile & Cloud
Isolation of Differences in Mobile Applications
Applications for mobile platforms, such as Android and iOS, are frequently updated and pushed to devices via the respective distribution […]
Policy Enforcement in Distributed Environments
In scenarios in which several participants with different properties operate on a common database, the need for (automated) policy enforcement […]
Semantic correlation of properties in Android
In addition to an approximate version of the original program code, function descriptions, an authorization model, UI elements, etc. are […]
Detection of Code Injection Vulnerabilities in HTML5 Apps
In order to develop mobile cross-platform applications, frameworks based on JavaScript and HTML5 are often used. Unfortunately, such applications do […]
Protection Concepts of Mobile Operating Systems against Malware
This project evaluates concepts that mobile operating systems use to protect their users against malware. First, different security approaches used […]
Remote Attestation State-of-the-Art
Remote attestation and trusted computing are becoming increasingly important – especially in the mobile sector and in the DRM context. […]
Security Analysis of Current Peer-to-Peer Networks
This project analyses the security concepts of currently deployed peer-to-peer networks. The recent hype about cryptocurrencies has also been pushing […]
Possible Side Channels through Deduplication
Modern file systems like ZFS offer extended functionality such as deduplication by supporting Copy on Write (CoW). Deduplication allows duplicated […]
Distributed Event System
The use of distributed systems always requires a minimum amount of parallelism. More precisely, there is almost always a need […]