Benchmark circuits used in the work entitled "Sequential Logic Encryption with Dynamic Keys"

Benchmark circuits used in the work entitled "Sequential Logic Encryption with Dynamic Keys".
The original benchmarks are from LGSynth’91 (downloaded from https://ddd.fit.cvut.cz/prj/Benchmarks/).

Contents:
oriCircuit: original benchmark circuits.
k5r5/circuit: encrypted circuits with k=5 and r=5.
k5r5/key: secret keys of the encrypted circuits with k=5 and r=5.
k5r10/circuit: encrypted circuits with k=5 and r=10.
k5r10/key: secret keys of the encrypted circuits with k=5 and r=10.
k10r5/circuit: encrypted circuits with k=10 and r=5.
k10r5/key: secret keys of the encrypted circuits with k=10 and r=5.
k10r10/circuit: encrypted circuits with k=10 and r=10.
k10r10/key: secret keys of the encrypted circuits with k=10 and r=10.
k15r5/circuit: encrypted circuits with k=15 and r=5.
k15r5/key: secret keys of the encrypted circuits with k=15 and r=5.
k15r10/circuit: encrypted circuits with k=15 and r=10.
k15r10/key: secret keys of the encrypted circuits with k=15 and r=10.