Student Projects

Open Projects

-

Past Projects

2023

• Simon Spangenberg: How to Store and Share Voice Recordings Safely? A Novel Design for Emotion-Preserving Voice Anonymization [supervision: Dr. Kari Kostiainen, Dr. Giovanni Camurati]
  
• Noah Schmid: Negative Testing of LTE Devices, Student Project [supervision: Dr. Giovanni Camurati]
• Akash Sood: Porting TEEtime to an ARM Development Board, Semester Project [supervision: Moritz Schneider, Friederike Groschupp]
• Cristian-Alexandru Botocan: Secure and Dynamic Resource Allocation and Life Cycle in the Sovereign Smartphone, Semester Project [supervision: Moritz Schneider, Friederike Groschupp]

2022

• Martin Ruppel: Exploring Peripheral Access for Isolated Execution Environments, Bachelor Thesis [supervision: Friederike Groschupp, Mark Kuhne]
  
• Ian Boschung: Design and Implementation of an Arm CCA-based Trusted Execution Environment, Master Thesis [supervision: Moritz Schneider, Friederike Groschupp]
  
• Nicolae Binica: On the Security of TEE Attestation against Malicious Manufacturers, Bachelor Thesis [supervision: Friederike Groschupp, Moritz Schneider]
  
• Gianluca Lain: Extracting Machine Learning Models from SGX Enclaves, Master Thesis [supervision: Moritz Schneider]
• Marco Di Nardo: Symbolic Modelling of libc Functions and Application to Concolic Execution, Semester Project [supervision: Damian Pfammatter (CYD), Dr. Patrick Schaller]
• Adalsteinn Jonsson: Binary Similarity Techniques for Malware Detection, Master Thesis [supervision: Daniele Lain, Dr. Patrick Schaller, Dr. Martin Strohmeier (CYD)]
• Dennis Jüni: Second-Layer Protocol for Donation Systems, Bachelor Thesis [supervision: Kari Kostiainen, Friederike Groschupp]
• Jakub Kotal: Privacy Leakage in Ultra-Wideband Distance Measurements, Master Thesis [supervision: Dr. Marc Roeschlin, Dr. Giovanni Camurati]
  

2021

• Stefano Boschetto: AlgoLeak: Leaking Confidential Algorithms From SGX Enclaves, Master Thesis [supervision: Daniele Lain, Ivan Puddu, Moritz Schneider]
  
• Gina Stoffel: Detecting Targeted Denial of Service Attacks in TEEs, Semester Project [supervision: Kari Kostiainen, Ivan Puddu, Moritz Schneider]
• Lara Lazier: VM-Step, Bachelor Thesis [supervision: Ivan Puddu]
  
• Nicolas Dutly: SGX VS ML: Breaking ML Model Confidentiality with ML assisted Side-Channel Attacks, Semester Project [supervision: Daniele Lain, Ivan Puddu, Moritz Schneider]

2020

• Leonardo Nodari: Hunting 1-days: Towards finding security patches in the Linux Kernel, Master Thesis [supervision: Moritz Schneider, Daniele Lain]
  
• Ali El Wahsh: Learning From Diffs and Commits, Master Thesis [supervision: Moritz Schneider, Aritra Dhar, Daniele Lain]
  
• Adrian Kress: Evading Machine Learning Malware Detection Models, Bachelor Thesis [supervision: Moritz Schneider, Daniele Lain]
• Julia Badertscher, Distance Modification Attacks against Wireless Multi-carrier Systems, Masters Thesis [Supervision: Dr. Marc Roschlin, Mridula Singh, Patrick Leu]
  
• Manisha De, Secure Two-Way Ranging in 5G-enabled VANETs, Masters Thesis [Supervision: Dr. Marc Roschlin, Patrick Leu, Mridula Singh]
  

2019

• Lukas Baege: Analysis of Android App Network Traffic using Java/Smali Hybrid-Patching. Bachelor Thesis [Supervision: Daniele Lain, Dr. Patrick Schaller]
  
• Andreas Allenspach: Proximity Verification for Intel SGX using USB 3. Masters Thesis [Supervision: Aritra Dhar]
• Swe Geng: Privacy Mechanisms for Distributed Fingerprint-based Authentication. Masters Thesis [Supervision: Aritra Dhar, Daniele Lain]
  
• Lara Bruseghini, Metadata Leakage under Statistical Change in Low-Powered Wide Area Networks, Semester Project [supervision: Dr. Esfandiar Mohammadi, Patrick Leu, David Sommer]
  
• Martin Kotuliak, Early Detection & Late Commit on OFDM Based Time of Arrival Measurements, Research in CS project [supervision: Patrick Leu, Dr. Marc Roeschlin, Mridula Singh]
• Andreas Enz, Secure Time of Arrival estimation in 5G, Masters Thesis [Supervision: Mridula Singh]
  
• Miro Haller, On Performing Accurate Time Measurements of SGX Enclave Instructions, Bachelor Thesis [supervision: Ivan Puddu, Moritz Schneider]
• Uroš Tešić, GPU Accelerated zk-SNARKs, Master Thesis [supervision: Moritz Schneider, Karl Wüst]

2018

• Silvan Egli, SGX-Ethereum, Master Thesis [supervision: Karl Wüst, Sinisa Matetic]
• Moritz Schneider, Delegation of Authority Using Trusted Execution Environments, Master Thesis [supervision: Sinisa Matetic]
  
• Noah Delius, On the Security of Automated Bike Rental Services, Bachelor Thesis [supervision: Karl Wüst]
• Dominic Brütsch, Ethereum Block Verification, Master Thesis [supervision: Karl Wüst, Hubert Ritzdorf]
• Fabio De Rubeis, Implementation of TLS-N for OpenSSL, Master Thesis [supervision: Hubert Ritzdorf, Karl Wüst]
• Christian Bohn, Implementation of an SGX-based Blockchain, Bachelor Thesis [supervision: Karl Wüst, Sinisa Matetic]
• Uroš Tešić, SSD Hammer, Research Project, SS 2018 [supervision: Ivan Puddu]
• Simon Miescher, Distance Enlargement Attack Detection and Prevention in Impulse Radio Ultra Wideband Communications,Master Thesis [supervision: Mridula Singh]
  
• Lorenz Breidenbach, Secure Applications for Blockchains, Master's thesis
• Daniel Fischmann, Numerical Comparison and Feasibility Evaluation of Several Privacy Bounds, Bachelor's Thesis
• Matthias Lanz, Unsupervised Transmitter Characterization in the Unlicensed 862-870 MHz Band, Master's thesis
• Luca Ardüser, Fair Testing and Exchange of Machine Learning Models Between Distrusting Parties, Master's thesis
• Marco Studer, Social-Engineering Experiment, Master's Thesis
  

2017

• Alexander Meier: A Framework for Intention Hiding Proxy Service based on Forced Participation [Supervision: Aritra Dhar, David Sommer]
  
• Andreas Biri, Localizing mobile nodes in a relative coordinate system, Semester Thesis, AS 2017 [supervision: Mridula Singh]
  
• Matthias Lanz, Unsupervised Transmitter Characterization in the Unlicensed 862-870 MHz Band, Master Thesis, AS 2017 [supervision: Patrick Leu]
• Nico Schottelius, Kamila Součková, LoRaWAN (In)Security, Semester Project, AS 2017 [supervision: Patrick Leu]
  
• Filip Meier, Mutable Blockchain: A reference implementation in Bitcoin, Bachelor Thesis, AS 2017 [supervision: Alexandra Dmitrienko, Ivan Puddu]
  
• Luca Tondelli, On the Security, Performance, and Stability of Bitcoin-NG, Master Thesis, AS 2017 [supervision: Arthur Gervais, Karl Wüst]
• Selma Steinhoff, Linkable Ring Signature using Ethereum Smart Contracts, Bachelor Thesis, SS 2017 [supervision: Arthur Gervais, Karl Wüst]
• Malte Göller, TLS Proof Verification in EVM, Semester Thesis, SS 2017 [supervision: Arthur Gervais, Karl Wüst, Hubert Ritzdorf]

2016

• Guillaume Felley, Data Feeds for Blockchains, Semester Thesis, AS 2016 [supervision: Arthur Gervais, Hubert Ritzdorf, Karl Wüst]
• Ivan Puddu, muchain: How to Forget without Hard Forks, Master Thesis, AS 2016 [supervision: Alexandra Dmitrienko]
• Marc Züst, Phishing prevention techniques for Sound-Proof, Master Thesis, AS 2016 [supervision: Nikos Karapanos, Claudio Marforio]
  
• Gregor Wegberg, Secure Deletion, Master Thesis, SS 2016 [supervision: Hubert Ritzdorf]
• Damian Gruber, Extending Shared Ownership, Semester Thesis, SS 2016 [supervision: Hubert Ritzdorf, Arthur Gervais]
• Karl Wüst, Security of Blockchain Technologies, Master Thesis, SS 2016 [supervision: Arthur Gervais]
• Vasilis Glykantzis, Bitcoin Security and Privacy, Master Thesis, SS 2016 [supervision: Arthur Gervais]
• Alexandros Filios, Adblocker Privacy, Master Thesis, SS 2016 [supervision: Arthur Gervais]
• Mansoor Ahmed, Data Integrity Protection on Intel SGX, Master Thesis, SS 2016 [supervision: Kari Kostiainen]
• Thomas Knell, User Interface Attacks, Master Thesis, SS 2016 [supervision: Luka Malisa, Kari Kostiainen]
• Lukas Häfliger, Audio Similarity Based on Feature Extraction for Sound-Proof, Master Thesis, SS 2016 [supervision: Nikos Karapanos, Claudio Marforio]
• Simon Marti, Continuous Authentication and Extensions for Sound-Proof, Master Thesis, SS 2016 [supervision: Nikos Karapanos, Claudio Marforio]
• Roman Trüb, Retrieving Meteorological Information by Passive Monitoring of the 1090 MHz Channel, Master Thesis, SS 2016 [supervision: Daniel Moser, Mario Lucic]

2015

• Martina Rivizzigno, Exploration of Audio Similarity Techniques to Improve the Accuracy of Sound-Proof , Semester Project, AS 2015 [supervision: Nikos Karapanos, Claudio Marforio]
• Patrick Leu, Detection of Spoofing Attacks on ADS-B Multilateration Systems, Master Thesis, SS 2015 [supervision: Aanjhan Ranganathan]
  
• Michael Och, Impersonation Detection on Android, Master Thesis, SS 2015 [supervision: Luka Malisa, Kari Kostiainen]
• Ferran Llama, Bitmessage Security Analysis, Semester Thesis, SS 2015 [supervision: Arthur Gervais]
• Stathakopoulou Chrysoula, Web Search Personalization, Semester Project, SS 2015 [supervision: Arthur Gervais]
• Alexandros Filios, Integrity Protection for Web Applications, Semester Project, SS 2015 [supervision: Nikos Karapanos]

2014

• Severin Wischmann, Emulation of an x86 Many-core Platform, Master Thesis, SS 2014 [supervision: Ramya Jayaram Masti, Claudio Marforio]
• Pedro Mendez Montejano, Realization of a Framework for VM and VMM monitoring, Semester Project, SS 2014 [supervision: Ramya Jayaram Masti, Claudio Marforio]
• Fabian Aggeler, Implementation of ARM TrustZone in QEMU, Master Thesis, SS 2014 [supervision: Claudio Marforio, Ramya Jayaram Masti]
• Hildur Òlafsdóttir, Detection of GPS Spoofing Attacks, Master Thesis, SS 2014 [supervision: Aanjhan]
• Christoph Knecht, Smartphone Baseband Security Analysis, Master Thesis, SS 2014 [supervision: Luka Malisa]
• Damian Gruber, Security and Privacy of Bitcoin, Bachelor Thesis, SS 2014 [supervision: Arthur Gervais]
• Jesse Badash, Web Search Privacy, Semester Project, SS 2014 [supervision: Arthur Gervais]
• Lorenzo Wölckner, Security and Privacy of Bitcoin, Master Thesis, SS 2014 [supervision: Arthur Gervais]

2013

• Daniela Meier, Realizing and Implementing Location-based Access Control Policies, Master Thesis, FS2013 [supervision: Elli Androulaki, Claudio Soriente, Claudio Marforio]
• Dominik Landtwing, An Investigation of Secure Execution Environments, Master Thesis, FS2013 [supervision: Claudio Marforio, Ramya Jayaram Masti]
• Damiano Boppart, Android Application Behavior Analysis, Semester Project, SS2013 [supervision: Claudio Marforio]
• Ivan Jovanovic, Investigation of the Effectiveness of Binary Instrumentation for Monitoring Application Execution, Master Thesis, SS2013 [supervision: Claudio Marforio, Ramya Jayaram Masti]
• Nicolas Rüegg, Analysis of the SSL-Certificate Landscape and Proposal for an Extended Validation Method, Master Thesis, SS2013 [supervision: Claudio Marforio, opensystems]
• Luca Cometta, Implementation and Evaluation of a GPS Spoofing Countermeasure, Master's Thesis, AS 2012/2013 [supervision: Nils Ole, Christina]

2012

• Pascal Fischl, Android Applications Analysis System, Bachelor Thesis, FS2012 [supervision: Claudio Marforio]
• Der-Yeuan Yu, USB Communication Security: Threats and Countermeasures, Master Thesis, SS 2012 [supervision: Davide, Claudio M., Ramya]
• Marc Röschlin, Standalone Simulator for a Digital Currency System, Semester Project, SS 2012 [supervision: Ghassan, Elli]
• Tobias Scherer, Privacy Analysis of a Popular Payment System, Semester Project, SS 2012 [supervision: Ghassan, Elli]
• Nikolaos Karapanos, Exploring Security Technologies on Modern Smartphones, Master's Thesis, SS 2012 [supervision: Claudio M., Ramya]
• Matthias Herrmann, Implementation and evaluation of a doublespend-attack on Bitcoin, Master's Thesis, SS 2012 [supervision: Ghassan, Elli]
• Hubert Ritzdorf, Analyzing Covert Channels on Mobile Devices, Master's Thesis, AS 2011 [supervision: Claudio M.]

2011

• Kirila Adamova, Fingerprinting UHF RFID tags as an Anti-counterfeit Mechanism, Research project, SS 2011 [supervision: Davide]
• Pascal Brogle, Smart and Secure WiFi Pairing, Master's Thesis, SS 2011 [supervision: Aanjhan, Ghassan]
• Luka Malisa, ARESOC: An Architecture for Assisted Reverse Engineering of System on Chips, Master's Thesis, SS 2011 [supervision: Aurélien]
• Der-Yeuan Yu, Schemes for Anti-Jamming Broadcast Communication, Research Project, SS 2011 [supervision: Christina]
• Pascal Sachs, Automated Reverse Engineering, Master's Thesis, AS 2010 [supervision: Aurélien]
• Luka Malisa, Low Level Platform Security of Modern Smartphones, Research project, SS 2010 [supervision: Aurélien]
• Roland Häusler, Efficient Query Processing over Encrypted Data, Masters Thesis, AS 2010 [supervision: Ghassan, Ramya]
• Tobias Heinzen, Automated Program Security Analysis, Master's Thesis, AS 2010 [supervision: Aurélien]
• Victor Budilivschi, Secure and Convenient Distributed Computing, Master's Thesis, AS 2010 [supervision: Aurélien, Ghassan]

2010

• Stefan Thöni, Cryptographic Device Simulation, Masters Thesis, AS 2010 [supervision: Ghassan]
• Cyrill Bannwart, Large Scale Network Measurements, Semester Project, AS 2010 [supervision: Boris, Ghassan]
• Pascal Sachs, A Physical-layer Fingerprinter Implementation in USRP2 Platforms, Research project, SS 2010 [supervision: Boris, Davide]
• Ramya Jayaram Masti, On the Security of Virtual Trusted Platform Modules, Master's Thesis, SS 2010 [supervision: Boris, Ghassan]
• Lars Krapf, Improving a Privacy-preserving Clone Detection Mechanism with Elliptic Curve Cryptography, Master's Thesis, SS 2010 [supervision: Davide]
• Reto Weingart, A Privacy-preserving Clone Detection Mechanism against Realistic Adversaries, Master's Thesis, SS 2010 [supervision: Davide]
• Claudio Marforio, Timed Data Deletion on Mobile Communication Devices, Master's Thesis, SS 2010 [supervision: Christina]

2009

• Ramya Jayaram Masti, Physical-layer RFID Analysis, Semester Thesis, AS 2009 / SS 2010 [supervision: Boris]
• Pascal Lippmann, Clustering Analysis of Source Code, Master's Thesis, AS 2009 [supervision: Boris]
• Sami Kerim Galal, Physical layer attacks on sensor nodes, Master's thesis, SS 2009 [supervision: Nils Ole]
• Leo Fellmann, Privacy–preserving Anti-counterfeiting for RFID-enhanced Supply Chains, Master's Thesis, SS 2009 [supervision: Davide]
• Basil Hess, Clone Detection in RFID–enhanced Supply Chains, Master's Thesis, SS 2009 [supervision: Davide]
• Arthur Schmitt, Reactive Jamming and Active Signal Interference, Master's Thesis, SS 2009 [supervision: Boris & Christina]

2008

• Rolf Wagner, Secure Verification of Computing Power, Master's Thesis, AS 2008 / SS 2009 [supervision: Ghassan]
• Sami Kerim Galal, DWT-based Fingerprinting of Wireless Sensor Nodes, Semester Thesis, AS 2008 [supervision: Boris]
• Bojan Konic, Security Issues in SharePoint 2007, Master's Thesis, SS 2008, [supervision: Nils Ole]