Person. William Harrison Senior Formal Methods Researcher · Idaho National Laboratory · harrisonwl.github.io · 0000-0002-3760-3556 Papers Formalized High Level Synthesis with Applications to Cryptographic Hardware harrison-2023-formalizedNFM · 2023 DOI