Crypto (u.019d0216ccbf8cfbb3bb578d7e59e5fe.tls.0.15.2.doc.tls.Tls.Crypto)

Sourceval (<+>) : Cstruct.t -> Cstruct.t -> Cstruct.t

val dh_params_pack : 
  Mirage_crypto_pk.Dh.group ->
  Cstruct_sexp.t ->
  Core.dh_parameters

Source

val dh_params_unpack : 
  Core.dh_parameters ->
  (Mirage_crypto_pk.Dh.group * Cstruct_sexp.t, [> `Msg of string ]) result

Sourcemodule Ciphers : sig ... end

Sourceval sequence_buf : Cstruct.uint64 -> Cstruct.t

Sourceval aead_nonce : Cstruct.t -> Cstruct.uint64 -> Cstruct.t

Sourceval adata_1_3 : Cstruct.uint16 -> Cstruct.t

Source

val pseudo_header : 
  Cstruct.uint64 ->
  Packet.content_type ->
  (Cstruct.uint8 * Cstruct.uint8) ->
  Cstruct.uint16 ->
  Cstruct.t

Source

val mac : 
  [< Mirage_crypto.Hash.hash ] ->
  Cstruct.t ->
  Cstruct.t ->
  Cstruct.t ->
  Mirage_crypto.Hash.digest

Source

val cbc_block : 
  (module Mirage_crypto.Cipher_block.S.CBC with type key = 'a) ->
  int

Sourceval cbc_pad : int -> Cstruct.t -> Cstruct.t

Sourceval cbc_unpad : Cstruct.t -> Cstruct.t option

Sourceval tag_len : 'a State.aead_cipher -> int

Source

val encrypt_aead : 
  cipher:'a State.aead_cipher ->
  key:'a ->
  nonce:Cstruct.t ->
  ?adata:Cstruct.t ->
  Cstruct.t ->
  Cstruct.t

Source

val decrypt_aead : 
  cipher:'a State.aead_cipher ->
  key:'a ->
  nonce:Cstruct.t ->
  ?adata:Cstruct.t ->
  Cstruct.t ->
  Cstruct.t option

Source

val encrypt_cbc : 
  cipher:(module Mirage_crypto.Cipher_block.S.CBC with type key = 'a) ->
  key:'a ->
  iv:Cstruct.t ->
  Cstruct.t ->
  Cstruct.t * Cstruct.t

Source

val decrypt_cbc : 
  cipher:(module Mirage_crypto.Cipher_block.S.CBC with type key = 'a) ->
  key:'a ->
  iv:Cstruct.t ->
  Cstruct.t ->
  (Cstruct.t * Cstruct.t) option