5 search results for "tag:"org:diskuv""

Showing 1 - 5
  1. dirsp-exchange
    Documentation
    Published protocols for the authenticated message exchange
    org:diskuv
    [Diskuv, Inc. <opensource+dirsp-exchange@support.diskuv.com>]
    0.1.0
    Apache-2.0
    Used by 0 other packages
    17 Jun 2021
  2. dirsp-exchange-kbb2017
    Documentation
    The formally verified KBB2017 protocol for 1-on-1 secure conversations similar to the Signal Protocol
    org:diskuv
    [Diskuv, Inc. <opensource+dirsp-exchange-kbb2017@support.diskuv.com>]
    0.1.0
    Apache-2.0
    Used by 1 other packages
    17 Jun 2021
  3. dirsp-proscript
    Documentation
    OCaml-ified interfaces for the ProScript Cryptography Library
    org:diskuv
    [Diskuv, Inc. <opensource+dirsp-proscript@support.diskuv.com>]
    0.1.0
    Apache-2.0
    Used by 2 other packages
    17 Jun 2021
  4. dirsp-proscript-mirage
    Documentation
    Mirage crypto backed implementation of the ProScript Cryptography Library
    org:diskuv
    [Diskuv, Inc. <opensource+dirsp-proscript-mirage@support.diskuv.com>]
    0.1.0
    Apache-2.0
    Used by 1 other packages
    17 Jun 2021
  5. dirsp-ps2ocaml
    Documentation
    ProScript to OCaml translator
    org:diskuv
    [Diskuv, Inc. <opensource+dirsp-ps2ocaml@support.diskuv.com>]
    0.1.0
    Apache-2.0
    Used by 0 other packages
    17 Jun 2021