This repository is an implementation of an extended version of our ISPEC paper: Yohei Watanabe, Naoto Yanai, Junji Shikata: IoT-REX: A Secure Remote-Control System for IoT Devices from Centralized Multi-designated Verifier Signatures. ISPEC 2023: 105-122. https://link.springer.com/chapter/10.1007/978-981-99-7032-2_7
The main parts of our code is with the Dilithium2 signatures. We also release the code with Falcon-512.
- Vacuum filter (https://github.com/wuwuz/Vacuum-Filter)
- liboqs library (https://github.com/open-quantum-safe/liboqs) version 0.9.0
- libsodium library (https://libsodium.gitbook.io/doc/) version 1.0.18-stable
Recommend to build the liboqs library by the following command:
git clone --single-branch https://github.com/open-quantum-safe/liboqs.git
cd liboqs/
mkdir build
cd build
cmake -DOQS_USE_OPENSSL=0 ..
make all
sudo make install
- type
git clone https://github.com/wuwuz/Vacuum-Filter
. - Relace
test.cpp
and ``makefile" inVacuumfilter
with the file in this repository. - Put
trivial.cpp
in the same repository. make test
for the generic construction ormake trivial
for the trivial constructionmake falcon
for the generic construction with Falcon-512.
gcc example_sig.c -loqs -lpthread -lm
- Type
gcc aba-weak.c -lcrypto -lm
onaba-weak.c
- Run an executable file output by gcc