Skip to content

A Lightweight Hybrid Signcryption Scheme for Smart Devices

Notifications You must be signed in to change notification settings

abbypan/hybrid_signcryption

Repository files navigation

hybrid_signcryption

install

sudo apt install make build-essential libncurses-dev bison flex libelf-dev
sudo apt install tshark libcbor openssl libssl-dev
sudo apt install r-base r-cran-dplyr

make

formal verification

install proverif: https://bblanche.gitlabpages.inria.fr/proverif/

see also: https://github.com/ernestyyy0306/ProVerif-MQV-Based

cd proverif
proverif -graph trace hybrid_sc.pv
proverif -graph trace_KCI hybrid_sc_KCI.pv

test

./hybrid_sc plain.txt single.csv

./hybrid_sc_print plain.txt single.csv

./hybrid_sc_multi plain.txt multi.csv 3

experiment

./main_single.pl
./main_multi.pl result/multi.csv

cd result 
./main_stat.pl

About

A Lightweight Hybrid Signcryption Scheme for Smart Devices

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages