The issue management system supports site managers in the recording of defects, as well as the acceptance and the documentation of the construction site.
The combination of webpage and app is in use on dozens of construction sites. Since the release, the tool has been continuously adapted to the way site managers work.
Project webpage: baupen.ch
Members of V-ATP (administrative and technical staff), VFFL (senior researchers and teaching staff) and VAUZ (junior researchers) elect delegates into University committees.
A security analysis of the concept was created for and reviewed by the University. The source code underwent a code review by cnlab.
The tool is being used for binding elections since 2018 and has seen multiple election cycles. It is continously being extended to further reduce administrational effort and increase usability.
order, approval and procurement of software
PHP Symfony
track subject-specific data sources and publish them on the webpage of the University of Zurich
JavaScript PHP Symfony
collect actionable feedback from lectures & workshops with minimal setup & instant evaluation
JavaScript PHP Symfony Vue.js
proof of concept on how to streamline communication between tenants and administrations
PHP Symfony
ui for agnes which creates & deploys releases safely to various environments
PHP JavaScript Vue.js
proof of concept to ease applying for a job in the construction business
PHP slim Project Management
a caching server for XKCD comics to enable fast complete downloads for the XKCD application
PHP slim
online teaching with digital blackboard and video
C# ASP.NET Code Review
sign up for courses & more for members of indoor cycling community
Code Review
online voting for representatives in the VSUZH Rat
JavaScript PHP Sonata Admin Symfony JKweb
fitness studio with registration-only courses
PHP Mindbodyonline Integration
allow candidates to sign up online for the upcoming election
PHP slim JKweb
student project to explore how to improve internal communication in large companies
PHP Symfony JKweb
job platform specifically for cribs
PHP JKweb Invoice System
investigate damage on streets to help plan street maintenance
C# WinRT unit.solutions
We explore internet voting in real-world settings (e.g. political elections, university elections). We design novel schemes achieving strong guarantees under realistic assumptions, balancing usability and security, while targeting low complexity of the resulting specification. We formulate clear security definitions, and then prove the security properties formally using computational and symbolic proofs.
Complexity of the Swiss internet voting proposals is identified as a repeatedly voiced concern in reviews. Code voting is proposed as an additional mechanism, which reduces the complexity of the involved cryptography while increasing security. The protocol, security definitions motivated by Swiss law and corresponding proofs are sketched [download].
The Master's thesis examines internet voting in Switzerland. First, an overview of the scientific literature is given, and then relevant events, laws and political influences in Switzerland are summarised. To improve the current situation, a code-voting system is proposed that drastically reduces the complexity of the cryptography involved, while achieving stronger security properties. It is proven that this design meets formal definitions of legal requirements [download].
CHVote is an internet voting protocol suitable for use in Switzerland. As part of the casting procedure, voters authenticate their vote by entering an authentication key. In an effort to increase usability, a novel pairing-based identification protocol was proposed which requires only half the key for the same security guarantee than the previous proposal. The analysis proves the protocol secure, but asserts that the key size cannot be halved [paper].
As a joint work with three other students, it was investigated whether existing implementations of the widely used Curve25519 could be further improved. Multiple approaches out of existing literature were combined and extended. The resulting implementation for the Intel Skylake architecture was 10% faster than all other implementations of the Bernstein comparison [download, code].
It was investigated whether passively observable network traffic of netflix could be used to identify the currently watched content. Existing approaches were replicated, and extended. The resulting implementation needed only to measure the in average used bandwidth to identify what content is being watched [download, code].
As part of TheAlternative, I used to organize and give lectures [project management, web, pdf]. As a course instructor for University of Zürich, I regularly gave courses about git and GitLab [git].
PhD student in group PESTO (Véronique Cortier)
INRIA Nancy - French Institute for Research in Computer Science
since Jul. 2023
Developer & Scientist
famoser GmbH
since Jan. 2018, incorporated since Dec. 2022
Master of Science ETH in Computer Science
ETH Zürich - Federal Institute of Technology
Sep. 2015 - Feb. 2022, grade average top 15%
Board Member, Ressort Internal Affairs
VSETH - Umbrella organisation of all students ETH
Sep. 2019 - Sep. 2020
Professional Software Engineer
Zühlke AG - Empowering Ideas
Oct. 2018 - Jun. 2019
Projektleitung & Programmierung
JKweb GmbH - Schöne und schlichte Webseiten
Feb. 2016 - Dez. 2017