eclib 1.5.2

Encrypted Control Library

ECLib

This is a Python library for numerical simulation of encrypted control.

Encrypted control

Cybersecurity is a critical issue of networked control systems in a modern society. Encrypted control is a novel concept of control using cryptographic tools for secure computation, such as homomorphic encryption and secret sharing. ECLib helps researchers and students to implement their new idea of encrypted control using homomorphic encryption.

Supported encryption schemes

• ElGamal ^[1]
• Dynamic-key ElGamal ^[2]
• Paillier ^[3]
• Regev (LWE) ^[4]
• GSW ^[5]
• GSW-LWE ^[6]

Installation

Run pip command on your terminal.

pip install eclib

Usage

See tutorial_slide_1.pdf and tutorial_slide_2.pdf.

License

BSD License 2.0

Author

Kaoru Teranishi

• E-mail: teranishi (at) uec.ac.jp
• Homepage: https://kaoruteranishi.xyz

References

[1] T. Elgamal, "A public key cryptosystem and a signature scheme based on discrete logarithms," IEEE Transactions on Information Theory, vol. 31, no. 4, pp. 469–472, 1985.

[2] K. Teranishi, T. Sadamoto, A. Chakrabortty, and K. Kogiso, "Designing optimal key lengths and control laws for encrypted control systems based on sample identifying complexity and deciphering time," IEEE Transactions on Automatic Control (Early access)

[3] P. Paillier, "Public-key cryptosystems based on composite degree residuosity classes," in International Conference on Theory and Application of Cryptographic Techniques, 1999, pp. 223–238.

[4] O. Regev, "On lattices, learning with errors, random linear codes, and cryptography," Journal of the ACM, vol. 56, no. 6, pp. 1-40, 2009.

[5] C. Gentry, A. Sahai, and B. Waters, "Homomorphic encryption from learning with errors: Conceptually-simpler, asymptotically-faster, attribute-based," Cryptology ePrint Archive, Paper 2013/340, 2013.

[6] J. Kim, H. Shim, and K. Han, "Dynamic controller that operates over homomorphically encrypted data for infinite time horizon," IEEE Transactions on Automatic Control (Early access)