Block or report user

Popular repositories

  1. iButton_1990a

    Arduino sketch to impersonate an iButton 1990A fob

    Python 2

  2. cdt-modelling

    Code for the systems modelling assignment at the Oxford Cyber Security CDT



    personal website


  4. acars

    Tamarin model for the secure ACARS patent (


  5. tamarin-prover

    Forked from tamarin-prover/tamarin-prover

    Main repository of the Tamarin prover for security protocol verification.


  6. usrsctp

    Forked from Kurento/usrsctp


61 contributions in the last year

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

Contribution activity First pull request First issue Joined GitHub

February 2017

Created an issue in tamarin-prover/tamarin-prover that received 7 comments

Make signatures message-revealing

Currently signatures are message-hiding: from sign(m, sk) there is no derivation of m. This is a bit icky: you have to remember to Out(<m, sign{m}…

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