Crate lakers

source ·
Expand description

Implementation of EDHOC (Ephemeral Diffie-Hellman Over COSE), a lightweight authenticated key exchange for the Internet of Things.

The crate provides a high-level interface through the EdhocInitiator and the EdhocResponder structs. Both these wrap the lower level [State] struct that is mainly used through internal functions in the edhoc module. This separation is relevant because the lower level tools are subject of ongoing formal verification, whereas the high-level interfaces aim for good usability.

Both EdhocInitiator and EdhocResponder are used in a type stated way. Following the EDHOC protocol, they generate (or process) messages, progressively provide more information about their peer, and on eventually devolve into an EdhocInitiatorDone and EdhocResponderDone, respectively, through which the EDHOC key material can be obtained.

Structs§

Enums§

Constants§

Traits§

  • Interface between the lakers crate and any implementations of the required crypto primitives.
  • Interface between the lakers crate and any implementations of the required crypto primitives.

Functions§

Type Aliases§