Verification of Vectorization of Signal Transforms. - Patrick Brinich; Jeremy Johnson 001 (LCPC, 2020)

Generating High-Performance Number Theoretic Transform Implementations for Vector Architectures. - Naifeng Zhang; Austin Ebel; Negar Neda; Patrick Brinich; Benedict Reynwar; Andrew G. Schmidt; Mike Franusich; Jeremy Johnson 001; Brandon Reagen; Franz Franchetti (HPEC, 2023)

TREBUCHET: Fully Homomorphic Encryption Accelerator for Deep Computation. - David Bruce Cousins; Yuriy Polyakov; Ahmad Al Badawi; Matthew French; Andrew G. Schmidt; Ajey P. Jacob; Benedict Reynwar; Kellie Canida; Akhilesh R. Jaiswal; Clynn Mathew; Homer Gamil; Negar Neda; et al. (IACR Cryptol. ePrint Arch., 2023)

Generating Formally Verified Quantum Fourier Transform Algorithms. - Patrick Brinich; Jeremy Johnson 001 (CICM, 2024)