lib · ocaml-spake2 · Tangled

SPAKE2 and SPAKE2+ Password-Authenticated Key Exchange

ocaml-spake2 lib

11 files

Thomas Gazagnaire · spake2: Exchange steps through Fsm.Process, its phase the control the arrow enters · 5d ago

confirmation.ml

ocaml-spake2: stray edits committed from the primary

confirmation.mli

spake2: improve docs

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

spake2: Exchange steps through Fsm.Process, its phase the control the arrow enters

spake2: give registration values distinct types

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

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

spake2: Exchange steps through Fsm.Process, its phase the control the arrow enters

spake2: Exchange steps through Fsm.Process, its phase the control the arrow enters

ocaml-spake2: improve doc strings

spake2: Exchange steps through Fsm.Process, its phase the control the arrow enters