A scalable FPGA architecture for nonnegative least squares problems. - Alric Althoff; Ryan Kastner (FPL, 2015)

Quantifying Timing-Based Information Flow in Cryptographic Hardware. - Baolei Mao; Wei Hu 008; Alric Althoff; Janarbek Matai; Jason Oberg; Dejun Mu; Timothy Sherwood; Ryan Kastner (ICCAD, 2015)

Quantifying hardware security using joint information flow analysis. - Ryan Kastner; Wei Hu 008; Alric Althoff (DATE, 2016)

Composable, parameterizable templates for high-level synthesis. - Janarbek Matai; Dajung Lee; Alric Althoff; Ryan Kastner (DATE, 2016)

Adaptive Threshold Non-Pareto Elimination: Re-thinking machine learning for system level design space exploration on FPGAs. - Pingfan Meng; Alric Althoff; Quentin Gautier; Ryan Kastner (DATE, 2016)

Spector: An OpenCL FPGA benchmark suite. - Quentin Gautier; Alric Althoff; Pingfan Meng; Ryan Kastner (FPT, 2016)

Towards Property Driven Hardware Security. - Wei Hu 008; Alric Althoff; Armita Ardeshiricham; Ryan Kastner (MTV, 2016)

An Architecture for Learning Stream Distributions with Application to RNG Testing. - Alric Althoff; Ryan Kastner (DAC, 2017)

A streaming clustering approach using a heterogeneous system for big data analysis. - Dajung Lee; Alric Althoff; Dustin Richmond; Ryan Kastner (ICCAD, 2017)

Hiding Intermittent Information Leakage with Architectural Support for Blinking. - Alric Althoff; Joseph McMahan; Luis Vega; Scott Davidson 004; Timothy Sherwood; Michael B. Taylor; Ryan Kastner (ISCA, 2018)

Quantitative Analysis of Timing Channel Security in Cryptographic Hardware Design. - Baolei Mao; Wei Hu 008; Alric Althoff; Janarbek Matai; Yu Tai; Dejun Mu; Timothy Sherwood; Ryan Kastner (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

Synthesizable Higher-Order Functions for C++. - Dustin Richmond; Alric Althoff; Ryan Kastner (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

FPGA Architectures for Real-time Dense SLAM. - Quentin Gautier; Alric Althoff; Ryan Kastner (ASAP, 2019)

Holistic Power Side-Channel Leakage Assessment: Towards a Robust Multidimensional Metric. - Alric Althoff; Jeremy Blackstone; Ryan Kastner (ICCAD, 2019)

Benchmarking Video with the Surgical Image Registration Generator (SIRGn) Baseline. - Michael Barrow; Nelson Ho; Alric Althoff; Peter Tueller; Ryan Kastner (ISVC (2), 2019)

Statistical Metrics of Hardware Security. - Alric Althoff (2019)

Benchmarking at the Frontier of Hardware Security: Lessons from Logic Locking. - Benjamin Tan 001; Ramesh Karri; Nimisha Limaye; Abhrajit Sengupta; Ozgur Sinanoglu; Md. Moshiur Rahman 001; Swarup Bhunia; Danielle Duvalsaint; Ronald D. Blanton; Amin Rezaei 001; Yuanqi Shen; Hai Zhou 001; et al. (CoRR, 2020)

A Unified Model for Gate Level Propagation Analysis. - Jeremy Blackstone; Wei Hu 008; Alric Althoff; Armaiti Ardeshiricham; Lu Zhang; Ryan Kastner (CoRR, 2020)

A Computational Stack for Cross-Domain Acceleration. - Sean Kinzer; Joon Kyung Kim; Soroush Ghodrati; Brahmendra Reddy Yatham; Alric Althoff; Divya Mahajan 001; Sorin Lerner; Hadi Esmaeilzadeh (HPCA, 2021)

iSTELLAR: intermittent Signature aTtenuation Embedded CRYPTO with Low-Level metAl Routing. - Jeremy Blackstone; Debayan Das; Alric Althoff; Shreyas Sen; Ryan Kastner (ICCAD, 2021)

Special Session: CAD for Hardware Security - Automation is Key to Adoption of Solutions. - Sohrab Aftabjahani; Ryan Kastner; Mark Tehranipoor; Farimah Farahmandi; Jason Oberg; Anders Nordstrom; Nicole Fern; Alric Althoff (VTS, 2021)

Sherlock: A Multi-Objective Design Space Exploration Framework. - Quentin Gautier; Alric Althoff; Christopher L. Crutchfield; Ryan Kastner (ACM Trans. Design Autom. Electr. Syst., 2022)

Pentimento: Data Remanence in Cloud FPGAs. - Colin Drewes; Olivia Weng; Andres Meza 001; Alric Althoff; David Kohlbrenner; Ryan Kastner; Dustin Richmond (ASPLOS (2), 2024)