This page presents a selection of Bachelor and Master projects that I have supervised or co-supervised. It is intended to give prospective students an overview of previous projects and of the research and engineering topics explored by students under my supervision.
The projects span systems, security, distributed systems, confidential computing, WebAssembly, blockchain, cloud computing, machine learning and related areas.
2026
Evaluating the Resilience of CometBFT
MSc — Christian Galley — University of Fribourg, Switzerland
Lessons Learned from Benchmarking WebAssembly on Trusted RISC-V Platforms
MSc — Dian Garkov — University of Bern, Switzerland
Monitoring MPI Workloads on Secure Virtual Machines
MSc — Théo Rollier — University of Fribourg, Switzerland
Privacy-Preserving Expense Splitting on Smart Contracts
MSc — Arnaud Ruf — University of Neuchâtel, Switzerland
Can LLMs Dream of a Research Community?
BSc — Verica Dimitrova — University of Neuchâtel, Switzerland
Benchmarking LLMs for Smart-Contract Vulnerability Detection
BSc — Tim Gouvernon — University of Neuchâtel, Switzerland
Evaluating Local Large Language Models for Univariate Cryptocurrency Price Forecasting
BSc — Angeliki Andreadi — University of Neuchâtel, Switzerland
Dynamic Heatmap of Cryptocoin Bids on Polymarket
BSc — Erulan Ibraimov — University of Neuchâtel, Switzerland
Orawac: Opcode-Level Run-Time Analysis of Obfuscated WebAssembly Cryptominers
MSc — Salvatore Busiello — Sapienza University of Rome, Italy
2025
An Automated IoT-Based Infrastructure for Real-Time Soil Water Deficit Prediction: Use-Case Paper
MSc — Michéle Fischer — University of Neuchâtel, Switzerland
SoilFaunAI
MSc — Robin Danz — University of Neuchâtel, Switzerland
2024
ConfBench: A Tool for Easy Evaluation of Confidential Virtual Machines
MSc — Andrea De Murtas — Sapienza University of Rome, Italy
Do LLMs Dream of Energy-Efficient Code?
MSc — Antimo Di Bernardo — Sapienza University of Rome, Italy
Understanding LLMs Abilities to Deobfuscate Android Apps
MSc — Jacopo Caratti — University of Bern, Switzerland
MultiZone Security – Understanding Its Design, Features and Effectiveness
MSc — Alex Guardini — University of Fribourg, Switzerland
Comparing Web Rendering Patterns and Their Impact on Performance
MSc — Loris Witschard — University of Fribourg, Switzerland
2023
Trusted Publish/Subscribe with MQTT and Mosquitto
MSc — Aeneas Grüter — University of Bern, Switzerland
Preventing EFail Attacks with Client-Side WebAssembly: The Case of Swiss Post's IncaMail
MSc — Pascal Gerig — University of Bern, Switzerland
2022
Shielding Federated Learning Systems against Inference Attacks with ARM TrustZone
MSc — Aghiles Ait Messaoud — ENS Lyon, France
2021
Impact of Network Topologies on Blockchain Performance
MSc — Sebastiao Amaro — Instituto Superior Técnico, Portugal
2020
A Practical Approach to Proof of Data Possession with Merkle Hash Trees
MSc — Anukriti Shrimal — University of Bern, Switzerland
FaasDom: A Benchmark Suite for Serverless Computing
MSc — Pascal Maissen — University of Fribourg, Switzerland
MQT-TZ: Secure MQTT Broker for Biomedical Signal Processing on the Edge
BSc — Carlos Segarra — Technical University of Catalonia, Spain / CSEM, Switzerland
2019
THUNDERSTORM: A Tool to Evaluate Dynamic Network Topologies on Distributed Systems
MSc — Luca Liechti — University of Bern, Switzerland
On The Performance of ARM TrustZone
MSc — Julien Amacher — University of Neuchâtel, Switzerland
2018
Blockchain-Based Metadata Protection for Archival Systems
MSc — Arnaud L’Hutereau — Nantes Polytech, France
2017
Have a Seat on the ErasureBench – An Experimental Testbed to Evaluate Erasure-Coding Libraries
MSc — Sebastien Vaucher — University of Neuchâtel, Switzerland
2016
Evaluating the Cost and Robustness of Self-Organizing Distributed Hash Tables
MSc — Svetlana Krasikova — University of Neuchâtel, Switzerland
This archive is being progressively expanded with earlier student projects.
| 
