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

Showing 1 - 5
  1. Published protocols for the authenticated message exchange
    0.1.0
    Apache-2.0
    Used by 0 other packages
    17 Jun 2021
  2. The formally verified KBB2017 protocol for 1-on-1 secure conversations similar to the Signal Protocol
    0.1.0
    Apache-2.0
    Used by 1 other packages
    17 Jun 2021
  3. OCaml-ified interfaces for the ProScript Cryptography Library
    0.1.0
    Apache-2.0
    Used by 2 other packages
    17 Jun 2021
  4. Mirage crypto backed implementation of the ProScript Cryptography Library
    0.1.0
    Apache-2.0
    Used by 1 other packages
    17 Jun 2021
  5. 0.1.0
    Apache-2.0
    Used by 0 other packages
    17 Jun 2021