Skip to content
View lumaier's full-sized avatar
1 follower · 1 following

Block or report lumaier

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. securedrop-formalanalysis securedrop-formalanalysis Public

    Luca Maier's master's thesis "A Formal Analysis of the SecureDrop protocol"

    Python 7

  2. Compiler-Design-ETHZ-HS21 Compiler-Design-ETHZ-HS21 Public

    A complete compiler for the C-like language Oat, translating source code into x86Lite assembly. The pipeline uses the LLVMlite Intermediate Representation (IR) for data-flow analysis and optimizati…

    OCaml

  3. coredns coredns Public

    Forked from coredns/coredns

    CoreDNS is a DNS server that chains plugins

    NewLisp

  4. securedrop-protocol securedrop-protocol Public

    Forked from freedomofpress/securedrop-protocol

    Research and proof of concept to develop the next SecureDrop with end to end encryption.

    Python

  5. aoc-personal aoc-personal Public