Skip to content


  • Arctic Code Vault Contributor


  1. Cryptographic Primitive Code Generation by Fiat

    Coq 264 76

  2. Provably optimal low-level programs in Coq

    Coq 1

  3. kitchen scheduler for pika

    Python 1

  4. My personal website

    HTML 1



  6. 1
    wdiff -n -w $'~~' -x $'~~' -y $'\\textcolor{blue}{' -z '}' | pandoc -o diff.pdf

613 contributions in the last year

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

Contribution activity

August 2020

Created a pull request in mit-plv/fiat-crypto that received 2 comments

Generalized sub/opp balance for unsaturated solinas

See discussion in #554 This PR generalizes the formula for computing sub/opp balance so that it works on primes with very low limbs (e.g. p224, who…

+122 −15 2 comments

Created an issue in mit-plv/fiat-crypto that received 2 comments

Help with adding rupicola dependency

@JasonGross I'm trying to add rupicola as a submodule (see branch add-rupicola) and it's giving me quite a lot of trouble. Since rupicola also depe…


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

You can’t perform that action at this time.