Commits

Branch selector

 0a2ec25

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 5, 2018

• Removed obsolete Makefile recipes

  Show description for 0a2ec25
  ghuysmans

  committed
  0a2ec25

  Copy full SHA for 0a2ec25

Commits on Jan 4, 2018

• New, cleaner Cmdliner-based CLI

  ghuysmans

  committed
  4785d8d

  Copy full SHA for 4785d8d

• One more label

  ghuysmans

  committed
  b1fb2c8

  Copy full SHA for b1fb2c8

Commits on Jan 3, 2018

• Generate random numbers at most n bits wide

  Show description for 1b098c1
  ghuysmans

  committed
  1b098c1

  Copy full SHA for 1b098c1

• Re-implemented export (and type-level restrictions)

  ghuysmans

  committed
  8f1de19

  Copy full SHA for 8f1de19

• CLI-breaking refactoring: split Crypto and Numbers

  Show description for 7a64c6d
  ghuysmans

  committed
  7a64c6d

  Copy full SHA for 7a64c6d

Commits on Jul 1, 2017

• Forgot a newline

  ghuysmans

  committed
  ac04208

  Copy full SHA for ac04208

Commits on Jun 3, 2017

• Added a README

  ghuysmans

  committed
  867127b

  Copy full SHA for 867127b

• Extracted the library from the tool (closed #3)

  ghuysmans

  committed
  3c5854f

  Copy full SHA for 3c5854f

• Merlin

  ghuysmans

  committed
  ef9c259

  Copy full SHA for ef9c259

• Indentation

  ghuysmans

  committed
  e30459a

  Copy full SHA for e30459a

Commits on Jan 27, 2017

• p_i, not just p

  ghuysmans

  committed
  6a54aba

  Copy full SHA for 6a54aba

• Added explanations, fixed a few mistakes

  ghuysmans

  committed
  ff2223b

  Copy full SHA for ff2223b

Commits on Jan 17, 2017

• Forgotten exponent

  ghuysmans

  committed
  8d62341

  Copy full SHA for 8d62341

Commits on Jan 2, 2017

• Added a trick to compute a^{-1} mod p

  ghuysmans

  committed
  4ce308b

  Copy full SHA for 4ce308b

Commits on Jan 1, 2017

• Optimized modpow using Fermat

  ghuysmans

  committed
  bbf880b

  Copy full SHA for bbf880b

• Fixed invalid justifications near Fermat

  ghuysmans

  committed
  420444d

  Copy full SHA for 420444d

• Spelling, typography, style

  ghuysmans

  committed
  c195ce2

  Copy full SHA for c195ce2

• Made an RSA proof clearer

  ghuysmans

  committed
  a074294

  Copy full SHA for a074294

• Explained how to generate prime numbers

  ghuysmans

  committed
  92a6f63

  Copy full SHA for 92a6f63

• Explained RSA among other interesting things

  ghuysmans

  committed
  88c8041

  Copy full SHA for 88c8041

Commits on Dec 11, 2016

• Ignored a few files

  ghuysmans

  committed
  5e17fce

  Copy full SHA for 5e17fce

• Wrote a Makefile to simulate a DH key exchange

  ghuysmans

  committed
  1c351ce

  Copy full SHA for 1c351ce

• Renamed rsa.ml since it now implements DH too

  ghuysmans

  committed
  7eb58c8

  Copy full SHA for 7eb58c8

• Minor tweaks, adjusted RSA's scope

  ghuysmans

  committed
  ac4a656

  Copy full SHA for ac4a656

• Randomization

  ghuysmans

  committed
  a5fc7f3

  Copy full SHA for a5fc7f3

• Implemented Diffie-Hellman

  ghuysmans

  committed
  8ea18e6

  Copy full SHA for 8ea18e6

• Pardon my English...

  ghuysmans

  committed
  2c1a77f

  Copy full SHA for 2c1a77f

• Implemented RSA using Big_int and a functor

  ghuysmans

  committed
  e67650d

  Copy full SHA for e67650d