test · ocaml-spake2 · Tangled

SPAKE2 and SPAKE2+ Password-Authenticated Key Exchange

ocaml-spake2 test

13 files

Thomas Gazagnaire · spake2: a share no key derives from is the class Degenerate_share, refused by every table · 4d ago

fsm: a runtime that steps, and fsm.check that proves the same description

test_confirmation.ml

ocaml-spake2: improve doc strings

test_confirmation.mli

spake2: improve docs

test_control.ml

spake2: a share no key derives from is the class Degenerate_share, refused by every table

test_control.mli

spake2: improve docs

spake2: a share no key derives from is the class Degenerate_share, refused by every table

spake2: improve docs

test_exchange.ml

spake2: a share no key derives from is the class Degenerate_share, refused by every table

test_exchange.mli

spake2: improve docs

spake2: a share no key derives from is the class Degenerate_share, refused by every table

test_spake2.mli

spake2: improve docs

spake2: the key confirmation round owns the comparison that decides it

spake2: improve docs