package eqaf

  1. Overview
  2. Docs
Constant-time equal function on string

Install

Dune Dependency

Authors

Maintainers

Sources

eqaf-v0.5.tbz
sha256=58ef81c110ee44669b1951df669cdc1f60ca34f0063cf0ae8b87568111af73f2
sha512=8a5761596bb8cbde8743161502900423f369d3de3b4b999a940b93d66b1830204fdb67165eff461f3eec0cdb1e169ebd6c9b80f5a8162bc12f359b606a0cbb17

doc/CHANGES.html

v0.5 2019-07-01 Paris (France)

  • Delete min and use <> operator to compare length on equal function
  • Implementation of compare_{be,le}{,with_len} function (@cfcs, @hannesm, @dinosaure)
  • Test on compare function (@dinosaure)
  • Unit test on compare (@dinosaure)
  • Fuzz test on compare (@dinosaure)
  • Documentation (@dinosaure, @cfcs)

v0.4 2019-05-24 Paris (France)

  • Distribution integrate an attack example
  • Fuzzer to test equal function
  • Unroll internal loop over 16 bits integers instead 32 bits
  • Put x86 ASM output in implementation (and audit)
  • Do second check even if first on fails (bad r²)
  • Avoid indirection to Pervasives functions

v0.3 2019-05-02 Paris (France)

  • Provide Eqaf_bigstring
  • Provide Eqaf_cstruct
  • New check tool and delete any dependencies on eqaf package (@dinosaure, @hannesm, @cfcs)

NOTE: This version is buggy, you MUST use v0.2 or v0.4

v0.2 2018-10-15 Paris (France)

  • Dunify project
  • Update OPAM file
  • Avoid core_bench dependency
  • Make benchmark to test constant-time on eqml
  • Move equal function to the OCaml implementation (instead C implementation)
  • Port benchmark on Windows and Mac OSX

v0.1 2018-08-31 Paris (France)

  • First release
OCaml

Innovation. Community. Security.