This organization contains a number of repositories related to ADEM (an Authentic Digital Emblem). You can learn more about ADEM on it's project webpage. Also, find the current ADEM specification here.
Notably, this organization provides the code repositories for:
- The formal security proofs of ADEM (adem-wg/adem-proofs)
- The ADEM specification (adem-wg/adem-spec)
- ADEM prototypes (adem-wg/adem-proto)