Pinned Projects
Ehrenamtskarte is a project for the Bavarian ministry for social affairs. The card offers benefits for volunteers all around Bavaria.
Integreat is your digital guide to life in Germany. Discover local information, events and advice. Always up to date and available in your own language.
maplibre-rs is a portable and performant vector maps renderer. We aim to support web, mobile and desktop applications.
Nürnberg-Pass is a project for city of Nürnberg. The card offers benefits for people with low income in Nürnberg.
All Projects
2022
Nürnberg-Pass is a project for city of Nürnberg. The card offers benefits for people with low income in Nürnberg.
2021
maplibre-rs is a portable and performant vector maps renderer. We aim to support web, mobile and desktop applications.
Themis is a cross-platform high-level cryptographic library for mobile, web, and server platforms. Themis solves 90% of typical data protection use cases that are common for most apps.
I contributed:
- Rewrite of bindings in TypeScript
- Refactor of WebAssembly build
- Documentation
A symbolic-model-guided fuzzer for TLS.
- Uses the LibAFL fuzzing framework
- Fuzzer which is inspired by the Dolev-Yao symbolic model used in protocol verification
- Domain specific mutators for Protocol Fuzzing!
- Supported Libraries Under Test: OpenSSL 1.0.1f, 1.0.2u, 1.1.1k and LibreSSL 3.3.3
- Writtin in Rust!
2020
Ehrenamtskarte is a project for the Bavarian ministry for social affairs. The card offers benefits for volunteers all around Bavaria.
Run an isolated instance of a tor network in Docker containers
rofi-passbolt is an extension to rofi to quickly access secrets in Passbolt
Tool to migrate an existing Trello board to Nextcloud Deck.
Task about IoT Security aspects.
2019
2018
Backend and frontend for an embedded alarm clock
PDF Generator for a centralized public WLAN-Hotspot system in Augsburg
2017
Integreat is your digital guide to life in Germany. Discover local information, events and advice. Always up to date and available in your own language.
2015
Web-based system to control the lights in the garden using customized hardware.
App to synchronize music files between Android and a media server by using beets
2014
Scans video files for specific video sequence like intros s and dynamically skips them during playback.
Plugin for Minecraft to manage groups of players as clans or societies
2013
Command parser with support for commands, subcommands, aliases and more
2012
Plugin for Minecraft to spawn creatures
Plugin for Minecraft to manage groups of players as clans