PLCrypto: A Symmetric Cryptographic Library for Programmable Logic Controllers. - Zheng Yang 001; Zhiting Bao; Chenglu Jin; Zhe Liu; Jianying Zhou 001 (IACR Trans. Symmetric Cryptol., 2021)