-
Notifications
You must be signed in to change notification settings - Fork 19
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
5 changed files
with
261 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,2 @@ | ||
bin/ | ||
results/ |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,8 @@ | ||
all: lms | ||
|
||
lms: lms.cpp | ||
mkdir -p bin | ||
g++-11 -std=c++20 -g -O3 -Wall -I ../botan/build/include -Wl,-rpath=../botan/ $^ -o bin/$@ -L ../botan/ -l:libbotan-3.a | ||
|
||
clean: | ||
rm -rf bin/ |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,22 @@ | ||
#!/bin/bash | ||
|
||
set -e | ||
|
||
PINFLAGS="--phase1 --phase2 --export --parallel" | ||
export RESULTDIR=results | ||
|
||
|
||
pushd ${BASH_SOURCE%/*} | ||
|
||
if [[ $1 == "clean" || $2 == "clean" ]]; then | ||
rm -rf results | ||
fi | ||
|
||
./framework.sh ${PINFLAGS} "Truncated(SHA-256,192),HW(5,1)" | ||
|
||
if [[ $1 == "test" || $2 == "test" ]]; then | ||
popd | ||
exit 0 | ||
fi | ||
|
||
popd |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,133 @@ | ||
#!/bin/bash | ||
|
||
######################################################################### | ||
# DO NOT CHANGE: Preparing DATA | ||
#------------------------------------------------------------------------ | ||
source "${DATA_COMMON}/DATA_init.sh" || { echo "source data.sh first!" && exit 1; } | ||
######################################################################### | ||
|
||
#------------------------------------------------------------------------ | ||
# Specify your framework settings used by DATA | ||
#------------------------------------------------------------------------ | ||
|
||
# The name of the framework. Do not use spaces or special characters. | ||
export FRAMEWORK=botan | ||
|
||
# The file containing all supported algorithms | ||
export TARGETFILE=targets.txt | ||
|
||
# The number of measurements for difference detection (phase1) | ||
export PHASE1_TRACES=3 | ||
|
||
# The number of constant keys for generic tests (phase2) | ||
# Make sure that PHASE2_FIXEDKEYS <= PHASE1_TRACES | ||
export PHASE2_FIXEDKEYS=3 | ||
|
||
# The number of measurements per constant key for generic tests (phase2) | ||
export PHASE2_TRACES=100 | ||
|
||
# The number of measurements for specific tests (phase3) | ||
export PHASE3_TRACES=200 | ||
|
||
# (Optional) Additional flags for the pintool. Supported flags are: | ||
# -main <main> Start recording at function <main>. Note that the <main> | ||
# symbol must exist, otherwise this will yield empty traces! | ||
# -heap Trace heap allocations and replace heap addresses with | ||
# relative offset | ||
export PINTOOL_ARGS="-heap" | ||
|
||
#------------------------------------------------------------------------ | ||
# Implement your framework-specific callbacks | ||
#------------------------------------------------------------------------ | ||
# | ||
# Globally available environment variables: | ||
# $FRAMEWORK The framework name | ||
# $BASEDIR The absolute directory path of this script | ||
# $DATA_COMMON The absolute directory for common DATA scripts | ||
# $DATA_LEAKAGE_MODELS The absolute directory for DATA leakage models | ||
# | ||
# Available for cb_genkey, cb_pre_run, cb_run_command, cb_post_run | ||
# $ALGO The currently tested algo | ||
# | ||
# Available for cb_pre_run, cb_run_command, cb_post_run | ||
# $ENVFILE | ||
|
||
export BINARY=${PWD}/bin/lms | ||
|
||
# The leakage model of phase 3. | ||
# See ${DATA_LEAKAGE_MODELS} for all options. | ||
export SPECIFIC_LEAKAGE_CALLBACK=${DATA_LEAKAGE_MODELS}/rsa_privkey_hw.py | ||
|
||
# DATA callback for setting up the framework to analyze. This callback | ||
# is invoked once inside the current directory before analysis starts. | ||
# Implement framework-specific tasks here like framework compilation. | ||
function cb_prepare_framework { | ||
: | ||
} | ||
|
||
# DATA callback for generating keys. This callback is invoked every | ||
# time a new key is needed. Implement key generation according to | ||
# your algorithm and store the generated key inside a file named $2. | ||
# | ||
# $1 ... key file name | ||
function cb_genkey { | ||
${BINARY} ${ALGO} keygen $1 | ||
RES=$((RES + $?)) | ||
} | ||
|
||
# DATA callback for custom commands that are executed immediately before | ||
# the algorithm is profiled. It is executed in a temporary directory | ||
# which contains the keyfile $1 and ${ENVFILE}. | ||
# | ||
# If 'cb_run_command' needs any other files, copy them to ${PWD}. | ||
# | ||
# $1 ... key file name | ||
function cb_pre_run { | ||
log_verbose "running with key $1" | ||
} | ||
|
||
# DATA callback for the main invocation of the tested algorithm. | ||
# It shall return the bash command to execute as string. It is | ||
# executed inside a temporary directory with a clean environment. | ||
# If you need special files or environment variables set, specify | ||
# them in cb_pre_run. | ||
# | ||
# $1 ... key file name | ||
function cb_run_command { | ||
echo "${BINARY} ${ALGO} sign $1" | ||
} | ||
|
||
# DATA callback for custom commands that are executed immediately after | ||
# the algorithm is profiled. It is executed in a temporary directory. | ||
# You can cleanup any custom files generated by your algorithm. | ||
# | ||
# $1 ... key file name | ||
function cb_post_run { | ||
: | ||
} | ||
|
||
# DATA callback for preparing an individual algorithm. It shall: | ||
# 1. Parse the next algorithm from the commandline string of all algorithms | ||
# and set up anything necessary for analyzing this algorithm. | ||
# If the algorithm needs additional parameters (like key sizes), | ||
# increase $SHIFT accordingly. | ||
# 2. Configure $WORKDIR, which will create a subdirectory holding all | ||
# intermediate files generated by the algorithm and the results. | ||
# Do not use an absolute path! | ||
# | ||
# $* ... algorithm string from the commandline | ||
function cb_prepare_algo { | ||
ALGO=$1 | ||
# key bits | ||
SHIFT=$((SHIFT)) | ||
|
||
WORKDIR="lms-$ALGO" | ||
} | ||
|
||
######################################################################### | ||
# DO NOT CHANGE: Running DATA's commandline parser | ||
#------------------------------------------------------------------------ | ||
DATA_parse "$@" | ||
#------------------------------------------------------------------------ | ||
# DO NOT ADD CODE AFTER THIS LINE | ||
######################################################################### |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,96 @@ | ||
#include <cassert> | ||
#include <fstream> | ||
#include <iostream> | ||
#include <string> | ||
#include <vector> | ||
using namespace std; | ||
|
||
#include <botan/block_cipher.h> | ||
#include <botan/auto_rng.h> | ||
#include <botan/rng.h> | ||
#include <botan/hex.h> | ||
#include <botan/hss_lms.h> | ||
#include <botan/oids.h> | ||
#include <botan/pubkey.h> | ||
|
||
vector<string> modes = { | ||
"SHA-256,HW(5,1)", | ||
"Truncated(SHA-256,192),HW(5,1)", | ||
}; | ||
|
||
vector<string> operations = { | ||
"keygen", | ||
"sign" | ||
}; | ||
|
||
int main(int argc, char* argv[]) { | ||
Botan::AutoSeeded_RNG rng; | ||
|
||
if (argc != 4) { | ||
cout << "Usage:\n\n" | ||
<< " kyber <mode> <operation> <keyfile>\n\n" | ||
<< " <mode> ..... asymmetric cipher mode\n" | ||
<< " <operation> ..... operation to execute, e.g. keygen or kem\n" | ||
<< " <keyfile> ... kyber key file, read as text\n" | ||
<< endl; | ||
cout << "List of available modes:" << endl; | ||
for(vector<string>::size_type i = 0; i != modes.size(); i++) { | ||
cout << " " << modes[i] << endl; | ||
} | ||
cout << endl; | ||
cout << "List of available operations:" << endl; | ||
for(vector<string>::size_type i = 0; i != operations.size(); i++) { | ||
cout << " " << operations[i] << endl; | ||
} | ||
cout << endl; | ||
return (1); | ||
} | ||
|
||
string str_mode (argv[1]); | ||
string str_operation (argv[2]); | ||
string str_keyfile (argv[3]); | ||
|
||
// const Botan::HSS_LMS_Params hss_params(str_mode); | ||
|
||
std::string keyfile_buffer_sk(str_keyfile); | ||
|
||
if (str_operation == "keygen") { | ||
// Alice KeyGen | ||
auto sk = Botan::HSS_LMS_PrivateKey(rng, str_mode); | ||
const auto sk_bits = sk.private_key_bits(); | ||
|
||
// Store key pair | ||
ofstream keyfile_sk; | ||
keyfile_sk.open(keyfile_buffer_sk); | ||
keyfile_sk << Botan::hex_encode(sk_bits); | ||
keyfile_sk.close(); | ||
} else if (str_operation == "sign") { | ||
std::vector<uint8_t> signature; | ||
// auto message = Botan::hex_decode("deadbeef"); | ||
auto message = rng.random_vec(32); | ||
|
||
// Load key pair | ||
string line_sk; | ||
ifstream keyfile_sk; | ||
keyfile_sk.open(keyfile_buffer_sk); | ||
getline(keyfile_sk, line_sk); | ||
keyfile_sk.close(); | ||
Botan::secure_vector<uint8_t> priv_key_bits = | ||
Botan::hex_decode_locked(line_sk); | ||
|
||
Botan::HSS_LMS_PrivateKey priv_key(priv_key_bits); | ||
|
||
Botan::PK_Signer sig(priv_key, rng, ""); | ||
signature = sig.sign_message(message, rng); | ||
|
||
Botan::PK_Verifier ver(priv_key, ""); | ||
ver.update(message); | ||
assert(ver.check_signature(signature)); | ||
} else { | ||
cout << str_operation << " is no valid operation!" << endl; | ||
assert(false); | ||
} | ||
|
||
return (0); | ||
} | ||
|