├── .gitignore ├── .gitmodules ├── LICENSE ├── Makefile ├── README.md ├── include ├── axc_helper.h ├── axc_internal_types.h ├── cachectx.h ├── clinklst.h ├── hasher.h ├── hasher_signal.h ├── idake.h ├── idake2session.h ├── keymap.h ├── odake.h ├── pbdumper.h ├── rsig.h ├── rsig_signal_helper.h ├── sc_arith.h ├── sidh_helper.h ├── sigaddr_holder.h ├── signal_internal_types.h └── signal_query_id.h ├── libsignal-protocol-c ├── models ├── idake.vp ├── odake.vp └── otrv3.vp ├── protobuf ├── DakesProtocol.proto └── Makefile ├── src ├── axc_helper.c ├── cachectx.c ├── clinklst.c ├── hasher_signal.c ├── idake.c ├── idake2session.c ├── keymap.c ├── odake.c ├── pbdumper.c ├── rsig.c ├── sigaddr_holder.c └── signal_query_id.c ├── tests ├── pbdumper_sexp.c ├── pbdumper_sexp.h ├── sexp.c ├── sexp.h ├── simpletlv.c ├── simpletlv.h ├── sockevents.c ├── sockevents.h ├── test_rsig.c ├── testapp_class.c ├── testapp_class.h ├── testapp_echo_ui.c ├── testapp_echo_ui.h ├── testapp_main.c ├── testapp_rl_ui.c └── testapp_rl_ui.h └── vault1317.pdf /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/.gitmodules -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/README.md -------------------------------------------------------------------------------- /include/axc_helper.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/include/axc_helper.h -------------------------------------------------------------------------------- /include/axc_internal_types.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/include/axc_internal_types.h -------------------------------------------------------------------------------- /include/cachectx.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/include/cachectx.h -------------------------------------------------------------------------------- /include/clinklst.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/include/clinklst.h -------------------------------------------------------------------------------- /include/hasher.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/include/hasher.h -------------------------------------------------------------------------------- /include/hasher_signal.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/include/hasher_signal.h -------------------------------------------------------------------------------- /include/idake.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/include/idake.h -------------------------------------------------------------------------------- /include/idake2session.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/include/idake2session.h -------------------------------------------------------------------------------- /include/keymap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/include/keymap.h -------------------------------------------------------------------------------- /include/odake.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/include/odake.h -------------------------------------------------------------------------------- /include/pbdumper.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/include/pbdumper.h -------------------------------------------------------------------------------- /include/rsig.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/include/rsig.h -------------------------------------------------------------------------------- /include/rsig_signal_helper.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/include/rsig_signal_helper.h -------------------------------------------------------------------------------- /include/sc_arith.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/include/sc_arith.h -------------------------------------------------------------------------------- /include/sidh_helper.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/include/sidh_helper.h -------------------------------------------------------------------------------- /include/sigaddr_holder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/include/sigaddr_holder.h -------------------------------------------------------------------------------- /include/signal_internal_types.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/include/signal_internal_types.h -------------------------------------------------------------------------------- /include/signal_query_id.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/include/signal_query_id.h -------------------------------------------------------------------------------- /libsignal-protocol-c: -------------------------------------------------------------------------------- 1 | axc/lib/libsignal-protocol-c -------------------------------------------------------------------------------- /models/idake.vp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/models/idake.vp -------------------------------------------------------------------------------- /models/odake.vp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/models/odake.vp -------------------------------------------------------------------------------- /models/otrv3.vp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/models/otrv3.vp -------------------------------------------------------------------------------- /protobuf/DakesProtocol.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/protobuf/DakesProtocol.proto -------------------------------------------------------------------------------- /protobuf/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/protobuf/Makefile -------------------------------------------------------------------------------- /src/axc_helper.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/src/axc_helper.c -------------------------------------------------------------------------------- /src/cachectx.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/src/cachectx.c -------------------------------------------------------------------------------- /src/clinklst.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/src/clinklst.c -------------------------------------------------------------------------------- /src/hasher_signal.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/src/hasher_signal.c -------------------------------------------------------------------------------- /src/idake.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/src/idake.c -------------------------------------------------------------------------------- /src/idake2session.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/src/idake2session.c -------------------------------------------------------------------------------- /src/keymap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/src/keymap.c -------------------------------------------------------------------------------- /src/odake.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/src/odake.c -------------------------------------------------------------------------------- /src/pbdumper.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/src/pbdumper.c -------------------------------------------------------------------------------- /src/rsig.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/src/rsig.c -------------------------------------------------------------------------------- /src/sigaddr_holder.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/src/sigaddr_holder.c -------------------------------------------------------------------------------- /src/signal_query_id.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/src/signal_query_id.c -------------------------------------------------------------------------------- /tests/pbdumper_sexp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/tests/pbdumper_sexp.c -------------------------------------------------------------------------------- /tests/pbdumper_sexp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/tests/pbdumper_sexp.h -------------------------------------------------------------------------------- /tests/sexp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/tests/sexp.c -------------------------------------------------------------------------------- /tests/sexp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/tests/sexp.h -------------------------------------------------------------------------------- /tests/simpletlv.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/tests/simpletlv.c -------------------------------------------------------------------------------- /tests/simpletlv.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/tests/simpletlv.h -------------------------------------------------------------------------------- /tests/sockevents.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/tests/sockevents.c -------------------------------------------------------------------------------- /tests/sockevents.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/tests/sockevents.h -------------------------------------------------------------------------------- /tests/test_rsig.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/tests/test_rsig.c -------------------------------------------------------------------------------- /tests/testapp_class.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/tests/testapp_class.c -------------------------------------------------------------------------------- /tests/testapp_class.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/tests/testapp_class.h -------------------------------------------------------------------------------- /tests/testapp_echo_ui.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/tests/testapp_echo_ui.c -------------------------------------------------------------------------------- /tests/testapp_echo_ui.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/tests/testapp_echo_ui.h -------------------------------------------------------------------------------- /tests/testapp_main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/tests/testapp_main.c -------------------------------------------------------------------------------- /tests/testapp_rl_ui.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/tests/testapp_rl_ui.c -------------------------------------------------------------------------------- /tests/testapp_rl_ui.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/tests/testapp_rl_ui.h -------------------------------------------------------------------------------- /vault1317.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hardenedvault/vault1317/HEAD/vault1317.pdf --------------------------------------------------------------------------------