Text this: Power Side-channel Attack Resistant Circuit Designs of ARX Ciphers Using High-level Synthesis.