Skip to content

Instantly share code, notes, and snippets.

View kiniry's full-sized avatar

Joseph Kiniry kiniry

87 followers · 31 following
View GitHub Profile
@kiniry
kiniry / ChaChaCryptolIETF.md
Created April 3, 2017 18:43
Literate Cryptol ChaCha spec

% ChaCha20 for IETF protocols % Y. Nir (Check Point) A. Langley (Google Inc) D. McNamee (Galois, Inc) % April 3, 2014

@kiniry
kiniry / keybase.md
Created April 22, 2014 22:46

Keybase proof

I hereby claim:

  • I am kiniry on github.
  • I am kiniry (https://keybase.io/kiniry) on keybase.
  • I have a public key whose fingerprint is BF72 0B8A CF5E 28EE EAEE 24A2 0BA1 3516 4894 3A4D

To claim this, I am signing this object:

@kiniry
kiniry / C.java
Created June 15, 2011 13:29
example overriding of JML abstract model method
abstract class C {
//@ pure abstract model boolean b();
//@ requires b();
abstract void m();
}
class D extends C {
//@ public model boolean b() { return false; }