├── ANALYSIS.md ├── README.md ├── analysis ├── README.md ├── aes_enc-openssl.md ├── auth-libsodium.md ├── curve25519-libsodium.md ├── intel_doitm.md ├── poly1305-libsodium.md ├── salsa-libsodium.md ├── secretbox_easy-libsodium.md ├── sha512-libsodium.md ├── stream_xor-libsodium.md └── x25519-libsodium.md ├── process_res.py ├── requirements.txt ├── run.sh ├── run_all.sh ├── scripts ├── README.md ├── postprocessor.py ├── run_campaign.py └── symbolizer.py ├── src ├── analyser.py ├── attack_aes_dec_ssi.py ├── attack_aes_dec_ssi_helper.c ├── attack_aes_enc_ssi.py ├── attack_auth_cr.py ├── attack_auth_ssi.py ├── attack_common.py ├── attack_stream_xor_ssi.py ├── attack_x25519_cs.py ├── attack_x25519_nrfc.py ├── attack_x25519_rfc.py ├── attack_x25519_rfc0.py ├── attack_x25519_ssi.py ├── branch.py ├── cli.py ├── config.py ├── dumper.py ├── elf_parser.py ├── fuzzer.py ├── helpers.py ├── input_generator.py ├── interfaces.py ├── model.py ├── runner.py ├── saved_test.py ├── service.py ├── test_vectors.py ├── tracers │ ├── README.md │ ├── execution_models.hy │ ├── leakage_models.hy │ └── tracing.hy └── zero_vectors.py └── targets ├── .gitignore ├── build.sh ├── cc_models.c ├── clean.sh ├── cryptlib.c ├── crypto ├── Cargo.lock ├── Cargo.toml ├── cbindgen.toml ├── crypto.h └── src │ └── lib.rs ├── crypto_rust.c ├── libjade.c ├── libsodium.c ├── nettle.c └── speculate.c /ANALYSIS.md: -------------------------------------------------------------------------------- 1 | # [moved here](analysis/) -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/README.md -------------------------------------------------------------------------------- /analysis/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/analysis/README.md -------------------------------------------------------------------------------- /analysis/aes_enc-openssl.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/analysis/aes_enc-openssl.md -------------------------------------------------------------------------------- /analysis/auth-libsodium.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/analysis/auth-libsodium.md -------------------------------------------------------------------------------- /analysis/curve25519-libsodium.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/analysis/curve25519-libsodium.md -------------------------------------------------------------------------------- /analysis/intel_doitm.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/analysis/intel_doitm.md -------------------------------------------------------------------------------- /analysis/poly1305-libsodium.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/analysis/poly1305-libsodium.md -------------------------------------------------------------------------------- /analysis/salsa-libsodium.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/analysis/salsa-libsodium.md -------------------------------------------------------------------------------- /analysis/secretbox_easy-libsodium.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/analysis/secretbox_easy-libsodium.md -------------------------------------------------------------------------------- /analysis/sha512-libsodium.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/analysis/sha512-libsodium.md -------------------------------------------------------------------------------- /analysis/stream_xor-libsodium.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/analysis/stream_xor-libsodium.md -------------------------------------------------------------------------------- /analysis/x25519-libsodium.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/analysis/x25519-libsodium.md -------------------------------------------------------------------------------- /process_res.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/process_res.py -------------------------------------------------------------------------------- /requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/requirements.txt -------------------------------------------------------------------------------- /run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/run.sh -------------------------------------------------------------------------------- /run_all.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/run_all.sh -------------------------------------------------------------------------------- /scripts/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/scripts/README.md -------------------------------------------------------------------------------- /scripts/postprocessor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/scripts/postprocessor.py -------------------------------------------------------------------------------- /scripts/run_campaign.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/scripts/run_campaign.py -------------------------------------------------------------------------------- /scripts/symbolizer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/scripts/symbolizer.py -------------------------------------------------------------------------------- /src/analyser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/src/analyser.py -------------------------------------------------------------------------------- /src/attack_aes_dec_ssi.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/src/attack_aes_dec_ssi.py -------------------------------------------------------------------------------- /src/attack_aes_dec_ssi_helper.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/src/attack_aes_dec_ssi_helper.c -------------------------------------------------------------------------------- /src/attack_aes_enc_ssi.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/src/attack_aes_enc_ssi.py -------------------------------------------------------------------------------- /src/attack_auth_cr.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/src/attack_auth_cr.py -------------------------------------------------------------------------------- /src/attack_auth_ssi.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/src/attack_auth_ssi.py -------------------------------------------------------------------------------- /src/attack_common.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/src/attack_common.py -------------------------------------------------------------------------------- /src/attack_stream_xor_ssi.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/src/attack_stream_xor_ssi.py -------------------------------------------------------------------------------- /src/attack_x25519_cs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/src/attack_x25519_cs.py -------------------------------------------------------------------------------- /src/attack_x25519_nrfc.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/src/attack_x25519_nrfc.py -------------------------------------------------------------------------------- /src/attack_x25519_rfc.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/src/attack_x25519_rfc.py -------------------------------------------------------------------------------- /src/attack_x25519_rfc0.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/src/attack_x25519_rfc0.py -------------------------------------------------------------------------------- /src/attack_x25519_ssi.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/src/attack_x25519_ssi.py -------------------------------------------------------------------------------- /src/branch.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/src/branch.py -------------------------------------------------------------------------------- /src/cli.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/src/cli.py -------------------------------------------------------------------------------- /src/config.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/src/config.py -------------------------------------------------------------------------------- /src/dumper.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/src/dumper.py -------------------------------------------------------------------------------- /src/elf_parser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/src/elf_parser.py -------------------------------------------------------------------------------- /src/fuzzer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/src/fuzzer.py -------------------------------------------------------------------------------- /src/helpers.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/src/helpers.py -------------------------------------------------------------------------------- /src/input_generator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/src/input_generator.py -------------------------------------------------------------------------------- /src/interfaces.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/src/interfaces.py -------------------------------------------------------------------------------- /src/model.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/src/model.py -------------------------------------------------------------------------------- /src/runner.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/src/runner.py -------------------------------------------------------------------------------- /src/saved_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/src/saved_test.py -------------------------------------------------------------------------------- /src/service.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/src/service.py -------------------------------------------------------------------------------- /src/test_vectors.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/src/test_vectors.py -------------------------------------------------------------------------------- /src/tracers/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/src/tracers/README.md -------------------------------------------------------------------------------- /src/tracers/execution_models.hy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/src/tracers/execution_models.hy -------------------------------------------------------------------------------- /src/tracers/leakage_models.hy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/src/tracers/leakage_models.hy -------------------------------------------------------------------------------- /src/tracers/tracing.hy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/src/tracers/tracing.hy -------------------------------------------------------------------------------- /src/zero_vectors.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/src/zero_vectors.py -------------------------------------------------------------------------------- /targets/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/targets/.gitignore -------------------------------------------------------------------------------- /targets/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/targets/build.sh -------------------------------------------------------------------------------- /targets/cc_models.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/targets/cc_models.c -------------------------------------------------------------------------------- /targets/clean.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/targets/clean.sh -------------------------------------------------------------------------------- /targets/cryptlib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/targets/cryptlib.c -------------------------------------------------------------------------------- /targets/crypto/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/targets/crypto/Cargo.lock -------------------------------------------------------------------------------- /targets/crypto/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/targets/crypto/Cargo.toml -------------------------------------------------------------------------------- /targets/crypto/cbindgen.toml: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /targets/crypto/crypto.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/targets/crypto/crypto.h -------------------------------------------------------------------------------- /targets/crypto/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/targets/crypto/src/lib.rs -------------------------------------------------------------------------------- /targets/crypto_rust.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/targets/crypto_rust.c -------------------------------------------------------------------------------- /targets/libjade.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/targets/libjade.c -------------------------------------------------------------------------------- /targets/libsodium.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/targets/libsodium.c -------------------------------------------------------------------------------- /targets/nettle.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/targets/nettle.c -------------------------------------------------------------------------------- /targets/speculate.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hw-sw-contracts/leakage-model-testing/HEAD/targets/speculate.c --------------------------------------------------------------------------------