Formalized High Level Synthesis with Applications to Cryptographic Hardware. - William L. Harrison; Ian Blumenfeld; Eric Bond; Chris Hathhorn; Paul Li; May Torrence; Jared Ziegler (NFM, 2023)