2016 Full Reference Monitoring for Android Intents Bachelor Thesis, Nils Peter Lipp , 2016 Towards Native Client Executables via Binary Translation on the x86 Platform Bachelor Thesis, Sebastian Dietel , 2016 Hardening Intel SGX enclaves against memory safety exploits Bachelor Thesis, Joshua Steffensky , 2016 Curious Volunteers: Anonymity Impact of adding Tor nodes Master Thesis, Tahleen Rahman Awazid , 2016 Making Chromium´s Certificate Transparency integration more accessible Master Thesis, Daniel Waxweiler , 2016 Extracting and Modeling Typosquatting Errors from Large-scale Passive DNS Data Master Thesis, Frederic Endner-Dühr , 2016 Static Analysis of Non-interference for Android Apps Master Thesis, Inken Hagestedt , 2016 CRRP: A Cryptographic Protocol for Coercion-Resistant Rating Platforms Master Thesis, Ahmed Salem , 2016 Time-to-Live based Trilateration Bachelor Thesis, Jonas Bushart , 2016 Anonymity Guarantees for Tor Hidden Services Bachelor Thesis, Lukas Wedeking , 2016 2015 Applying Privacy Case Law to The Right to be Forgotten Master Thesis, Abishek Tiwari , 2015 Partially Oblivious Pseudorandom Functions: A Generic Approach and an Impossibility Result Master Thesis, Jonas Schneider , 2015 Towards Compiler-Assisted Taint Tracking on the Android Runtime Master Thesis, Oliver Schranz , 2015 Toward a Backward-compatible API for Defining Fine-grained App Policies on Android Bachelor Thesis, Filip Fatz , 2015 Security Analysis of Telematic and Emergency Devices in a Modern Car Master Thesis, Daniel Frassinelli , 2015 Security Analysis of Mobile Banking Apps Bachelor Thesis, Fabian Frank Schwarz , 2015 Cold boot attacks and the error model of DRAM modules Bachelor Thesis, Steffen Spier , 2015 ArtHook: Callee-side Method Hook Injection on the New Android Runtime ART Bachelor Thesis, Marvin Wißfeld , 2015 Argumentation Mining for the Sake of Privacy Master Thesis, Vikash Patel , 2015 Correlating BGP and Traceroute Data Bachelor Thesis, Simon Koch , 2015 The MATOR Addon: Accessible Quantification of Tor Anonymity for the Tor Browser Bachelor Thesis, Markus Bauer , 2015 2014 Application-level Firewall in Stock Android Bachelor Thesis, Frederic Endner-Dühr , 2014 Developing a RiskScore for Android Applications Bachelor Thesis, Marc Schweig , 2014 Evaluating the Effectiveness of In-app DRM Systems for Android Bachelor Thesis, Niklas Brachmann , 2014 Identifying the Optimal Permission Set of Android Applications Bachelor Thesis, Artem Perlov , 2014 System Centric IPC Call Chains for Android Bachelor Thesis, Tobias Frey , 2014 Verifying the Internet Access of Android Applications Master Thesis, Erik Derr , 2014 2013 A Developer-Centric Approach to Dynamic Permission System Bachelor Thesis, Oliver Schranz , 2013 Generic Access Control for Extensible Web Applications within the SAFE Activation Master Thesis, Florian Schröder , 2013 Lime: A Framework for Data Lineage in the Malicious Environment Bachelor Thesis, Niklas Grimm , 2013 2012 A Framework for Security-Oriented Distributed Programming Master Thesis, Manuel Reinert , 2012 Analysis and Mitigation of Information Leaks in Web Browsing Traffic Master Thesis, Goran Doychev , 2012 Autonomous UAV Bachelor Thesis, Philip Peter , 2012 Computational Soundness of Interactive Primitives Bachelor Thesis, Tim Ruffing , 2012 Model-based Monitoring for Sensitive SCADA Systems Bachelor Thesis, Joachim Lutz , 2012 Privacy Presserving Surveillance and Face Recognition Bachelor Thesis, Sebastian Meyer , 2012 Securing User-data in Android - A conceptual approach for consumer and enterprise usage Master Thesis, Liviu Teris , 2012 Security Analysis of Browser Extension Concepts Bachelor Thesis, Karsten Knuth , 2012 User-controlled Internet Connections in Android Master Thesis, Sven Obser , 2012 Verifiable Security of Prefix-free Merkle-Damgård Master Thesis, Malte Skoruppa , 2012 2011 Anonymous Webs of Trust Master Thesis, Stefan Lorenz , 2011 Automatic Verification of Equivalences of Cryptographic Games Master Thesis, Holger Bornträger , 2011 Computational Soundness of Passively Secure Encryption in Presence of Active Adversaries Master Thesis, Sebastian Meiser , 2011 Game-Theoretic Notions of Incoercibility Master Thesis, Robert Künnemann , 2011 Low-Cost Byzantine Fault Tolerant Replication for a Cloud Environment Bachelor Thesis, Stefan Tombers , 2011 Mechanized Formalization of a Transformation from an Extensible Spi Calculus to Java Master Thesis, Alex Busenius , 2011 Towards a Formal Sematics for G2C Summary Bachelor Thesis, Jan Balzer , 2011 Universally Composable Relativistic Commitments Master Thesis, Ines Lucia Ciolacu , 2011 2010 Formal Verification of ElGamal Encryption using a Probabilistic Lambda-Calculus Bachelor Thesis, Malte Skoruppa , 2010 Type-Based Verification of Electronic Voting Systems Master Thesis, Fabienne Eigner , 2010 Automatically Verifying 'M' Modelling Language Constraints Master Thesis, Thorsten Tarrach , 2010 Digital Watermarking: Methods and Applications for Digital Images Bachelor Thesis, Nicolas Rickert , 2010 Anonymity in Online Polls Bachelor Thesis, Dominik Feld , 2010 Formale Analyse von Mastermind Bachelor Thesis, Rajiv Lund , 2010 Formalization of Game-Transformations Bachelor Thesis, Jonathan Driedger , 2010 Moment Preserving Diffusion in Image Processing Master Thesis, Martin Grochulla , 2010 Speaker Recognition in Encrypted Voice Streams Bachelor Thesis, Goran Doychev , 2010 2009 Rational File Sharing Bachelor Thesis, Anton Krohmer , 2009 Anonymity and Censorship Resistance in Sematic Overlay Networtks Master Thesis, Lech Marek Hamerlik , 2009 Security Despite Compromise with Zero-Knowledge Proofs Master Thesis, Martin Grochulla , 2009 Computational Soundness of Symbolic Zero-Knowledge Proofs against Active Attackers under Relaxed Assumptions Master Thesis, Esfandiar Mohammadi , 2009 SPI2F - A Prototype Code Generator for Security Protocols Bachelor Thesis, Thorsten Tarrach , 2009 Computing Information-theoretic Bounds for Unknown Message Side-Channel Attacks Bachelor Thesis, Christian Schnuck , 2009 Hiding Malicious Postscript Code and How to Define Undetectabilit Bachelor Thesis, Robert Künnemann , 2009 Caspa - Mechanized Verification of Security Protocols using Causality-based Abstractions Bachelor Thesis, Stefan Lorenz , 2009 Expi2Java - En Extensible Code Generator for Security Protocols Bachelor Thesis, Alex Busenius , 2009 Sicherheitskonzept an einem Rechenzentrum Bachelor Thesis, Dirk Heine , 2009 Acoustic Side-Channel Attacks on Printers Master Thesis, Sebastian Gerling , 2009 2008 Formal Specification of the x87 Floating-Point Instruction Set Diploma Thesis, Christoph Baumann , 2008 Efficient Long-term Secure Universally Composable Commitments Master Thesis, Oana Ciobataru , 2008 MD5 Collisions on Multimedia Files Bachelor Thesis, Holger Bornträger , 2008 Quantenbasierte Koordination von Multiagentensystemen Master Thesis, Stefan Nesbigall , 2008 2007 On Key-dependent Encryption Master Thesis, Matthias Berg , 2007 Design und Implementierung eines Sync-ML Clients für das c`man-Framework für Symbian Gerät Bachelor Thesis, Martin Nicolay , 2007 Mechanized verification of Security Protocols Using Causality-based Abstractions Bachelor Thesis, Kim Pecina , 2007 Cryptographic Soundness of Simpler Symbolic Signatures and Authentications Bachelor Thesis, Fabienne Eigner , 2007 Multiparty Computation in an Asynchronous Network Bachelor Thesis, Süntje Böttcher , 2007 Trust Model for eVoting Bachelor Thesis, Martin Grochulla , 2007 LAN Crypt Gateway and Secure Browser Access Bachelor Thesis, Sebastian Gerling , 2007 Implementing Fuzzy Identity-Based Encryption Bachelor Thesis, Markus Müller , 2007