https://wiki.hackerspace.pl/projects:javacards
https://lists.gnupg.org/pipermail/gnupg-users/2007-August/031547.html
,g coolkey
https://github.com/martinpaljak

,g paxos erlang
 :gen_paxos/paxos_fsm
 :riak_ensemble
 :erlang-paxos
 libpaxos.sourceforge.net
 :github.com/andrewjstone/rafter

CONIKS:
https://coniks.cs.princeton.edu/about.html
https://www.usenix.org/conference/usenixsecurity15/technical-sessions/presentation/melara
https://freedom-to-tinker.com/2016/03/31/why-making-johnnys-key-management-transparent-is-so-challenging/

GOOG E2E:
https://github.com/google/end-to-end

PKCS#11:
	https://www.oasis-open.org/committees/tc_home.php?wg_abbrev=pkcs11
	https://docs.oasis-open.org/pkcs11/pkcs11-base/v2.40/

Linux Kernel Crypto API
https://kernel.org/doc/html/latest/crypto/index.html
http://www.chronox.de/libkcapi.html

U2F:
https://www.yubico.com/about/background/fido/
https://fidoalliance.org/specifications/overview/

SSH Certificates:
https://www.eldos.com/security/articles/2852.php?page=all