Hi internet person, My interests are provable security, e-voting, end-to-end encrypted messaging, and metadata-free communications. Here are some projects of mine. Sirona: A tool for the Belenios e-voting system (source) (web-ui) Scrutin: An e2e verifiable e-voting app based on Belenios (website) (source) Random writings (The Safebook utopia) A search frontend