Secure Messaging

3.4. CKA from LWE🔗

Definition3.4.1
Group: CKA from LWE. (2)
Group member previews
Preview
Theorem 3.4.2
Loading preview
Group member preview content is loaded from the rendered-fragment cache.
uses 1
Used by 2
Reverse dependency previews
Preview
Theorem 3.4.2
Loading preview
Reverse dependency preview content is loaded from the rendered-fragment cache.
XL∃∀N

\todo

LeanLean anchor pending

uses Definition 3.1.1 · github #12

Theorem3.4.2
Group: CKA from LWE. (2)
Group member previews
Preview
Definition 3.4.1
Loading preview
Group member preview content is loaded from the rendered-fragment cache.
Statement uses 2
Statement dependency previews
Preview
Definition 3.1.3
Loading preview
Statement dependency preview content is loaded from the rendered-fragment cache.
used by 0XL∃∀N

\todo

LeanLean anchor pending

uses Definition 3.4.1 · Definition 3.1.3 · github #13

Theorem3.4.3
Group: CKA from LWE. (2)
Group member previews
Preview
Definition 3.4.1
Loading preview
Group member preview content is loaded from the rendered-fragment cache.
Statement uses 2
Statement dependency previews
Preview
Definition 3.1.4
Loading preview
Statement dependency preview content is loaded from the rendered-fragment cache.
used by 0XL∃∀N

\todo

LeanLean anchor pending

uses Definition 3.4.1 · Definition 3.1.4 · github #14

References: