• MA: Scale-SMR: Design and Implementation of Support Machanisms for Dynamic Scaling in State Machine Replication Systems

• MA: Location-Awareness in World-Spanning State Machine Replication Systems (Dominik Dusold)
• BA: Cloud Simulator

• BA: Theoretische und praktische Untersuchung von Trusted-Computing-Techniken für eine IaaS-Cloud (S.Dawaras)
• MA: Virtual Machine Introspection During Live Migration (P.Huppert)
• BA:Design and implementation of a decentralized user information and status directory for interconnected Asterisk Servers in HAMNET (C.Hagenhoff)

• MA: An Intrusion Tolerant Certification Authority based on Secret Sharing (A. Rutabandama)
• MA: Design and Implementation of Integrated IaaS-Forensics for the Cloud (J. Zach)
• BA: Theoretische und praktische Untersuchung von WLAN-Richtfunkstrecken im HAMNET (T. Baumgartner)

• MA: Design and Implementation of a Security Architecture for BFT Group Communication (Benedikt Höfling)
• MA: Validierung eines Konzeptes von Nested-Intrusion Detection Systemen auf Basis von Cloud Computing (Michael Beham)
• MA: Memory Forensics using Virtual Machine Introspection for Cloud Computing (Tobias Zillner)
• MA: Virtualization-based Smartphone Forensics (Simon Pohlert)
• MA: Entwicklung/Bewertung einer Betriebssystem-Sicherheitsarchitektur für ARM Cortex A9MP im ZYNQ FPGA von Xilinx (Caspar Gries)

• MA: Network forensics for cloud computing (Tobias Gebhardt)
• MA: Design and implementation of a secure and adaptive storage layer across several cloud providers (Benedikt d‘Oleire-Oltmanns)
• MA: Client-Side Encryption and Dynamic Group Management for a Secure Network Storage Service (Fabian Förg)

Ältere Arbeiten finden Sie unter http://homepages.di.fc.ul.pt/~hans/theses/.