... and mentioned resources

resources

@@ -0,0 +1,34 @@
+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