Person. Ian Blumenfeld Research Director · Two Six Technologies · 0000-0003-2080-9790 Master’sUniversity of Pennsylvania UndergraduateUniversity at Buffalo Papers Formalized High Level Synthesis with Applications to Cryptographic Hardware harrison-2023-formalizedNFM · 2023 DOI