SHAMROCK: A Synthesizable High Assurance Cryptography and Key management coprocessor | IEEE Conference Publication | IEEE Xplore