Block or report user

Organizations

@5GenCrypto @emp-toolkit

Popular repositories

  1. ae-generator

    Authenticated encryption scheme prover/synthesizer

    OCaml 6

  2. modes-generator

    Automated prover and synthesizer for modes of operation

    OCaml 3 1

  3. crypto-latex

    Style file for crypto papers

    TeX 2

  4. otlib

    An oblivious transfer library

    C 1

  5. libgarble

    Garbling library based on JustGarble

    C 1 2

  6. awesome-config

    Configuration files for the awesome windows manager

    Lua

719 contributions in the last year

Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Mon Wed Fri

Contribution activity First pull request First issue First repository Joined GitHub

May 2017

Seeing something unexpected? Take a look at the GitHub profile guide.