Power Side-channel Attack Resistant Circuit Designs of ARX Ciphers Using High-level Synthesis. - SAYA INAGAKI; MINGYU YANG; YANG LI; KAZUO SAKIYAMA; YUKO HARA-AZUMI (ACM Transactions on Embedded Computing Systems, 2023)