Ongoing and Finished Theses
Ongoing Theses
- MA: Scale-SMR: Design and Implementation of Support Machanisms for Dynamic Scaling in State Machine Replication Systems
Finished Theses
2016
- MA: Location-Awareness in World-Spanning State Machine Replication Systems (Dominik Dusold)
- BA: Cloud Simulator
2015
- 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)
2014
- 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)
2013
- 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)
2012
- 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)
You can find more supervised theses at http://homepages.di.fc.ul.pt/~hans/theses/.