ECE_5580_SPG6

For Cryptographic Engineering

Build

git clone <repo_url>.
Adapt yout XKCP path to the XKCP_PATH flag in Makefile.
Modify SO_FILE_NAME and runmake for both keygen and decap.
Load r5_cpa_kem<keygen/decap>.cry_ into Cryptol and call the implemented functions with required inputs.

Name		Name	Last commit message	Last commit date
Latest commit History 55 Commits
Board_C		Board_C
SAWs		SAWs
kat_gen		kat_gen
.DS_Store		.DS_Store
.gitignore		.gitignore
README.md		README.md
_Makefile		_Makefile
cycles.c		cycles.c
cycles.h		cycles.h
r5_cpa_kem_common.h		r5_cpa_kem_common.h
r5_cpa_kem_core.c		r5_cpa_kem_core.c
r5_cpa_kem_decap.cry		r5_cpa_kem_decap.cry
r5_cpa_kem_decap.h		r5_cpa_kem_decap.h
r5_cpa_kem_encapsulate.cry		r5_cpa_kem_encapsulate.cry
r5_cpa_kem_keygen.cry		r5_cpa_kem_keygen.cry
r5_cpa_kem_keygen.h		r5_cpa_kem_keygen.h
r5_cpa_kem_keygen.so		r5_cpa_kem_keygen.so
sigma_sk.txt		sigma_sk.txt
sigma_sk_io.c		sigma_sk_io.c
sigma_sk_io.h		sigma_sk_io.h