Isadora: Automated Information Flow Property Generation for Hardware Designs. - Calvin Deutschbein; Andres Meza 001; Francesco Restuccia 002; Ryan Kastner; Cynthia Sturton (ASHES@CCS, 2021)

Aker: A Design and Verification Framework for Safe and Secure SoC Access Control. - Francesco Restuccia 002; Andres Meza 001; Ryan Kastner (ICCAD, 2021)

A Methodology For Creating Information Flow Specifications of Hardware Designs. - Calvin Deutschbein; Andres Meza 001; Francesco Restuccia 002; Ryan Kastner; Cynthia Sturton (CoRR, 2021)

AKER: A Design and Verification Framework for Safe andSecure SoC Access Control. - Francesco Restuccia 002; Andres Meza 001; Ryan Kastner (CoRR, 2021)

Applications and Techniques for Fast Machine Learning in Science. - Allison McCarn Deiana; Nhan Tran; Joshua Agar; Michaela Blott; Giuseppe Di Guglielmo; Javier M. Duarte; Philip C. Harris; Scott Hauck; Mia Liu; Mark S. Neubauer; Jennifer Ngadiuba; Seda Ogrenci Memik; et al. (CoRR, 2021)

Automating hardware security property generation: invited. - Ryan Kastner; Francesco Restuccia 002; Andres Meza 001; Sayak Ray; Jason M. Fung; Cynthia Sturton (DAC, 2022)

Open-source FPGA-ML codesign for the MLPerf Tiny Benchmark. - Hendrik Borras; Giuseppe Di Guglielmo; Javier M. Duarte; Nicolò Ghielmetti; Benjamin Hawks; Scott Hauck; Shih-Chieh Hsu; Ryan Kastner; Jason Liang; Andres Meza 001; Jules Muhizi; Tai Nguyen 003; et al. (CoRR, 2022)

Toward Hardware Security Property Generation at Scale. - Calvin Deutschbein; Andres Meza 001; Francesco Restuccia 002; Matthew Gregoire; Ryan Kastner; Cynthia Sturton (IEEE Secur. Priv., 2022)

Automated Generation, Verification, and Ranking of Secure SoC Access Control Policies. - Andres Meza 001; Ryan Kastner (CPS-IoT Week Workshops, 2023)

ChimpACT: A Longitudinal Dataset for Understanding Chimpanzee Behaviors. - Xiaoxuan Ma 001; Stephan P. Kaufhold; Jiajun Su; Wentao Zhu 004; Jack Terwilliger; Andres Meza 001; Yixin Zhu 001; Federico Rossano; Yizhou Wang 001 (NeurIPS, 2023)

Special Session: CAD for Hardware Security - Promising Directions for Automation of Security Assurance. - Sohrab Aftabjahani; Mark Tehranipoor; Farimah Farahmandi; Bulbul Ahmed; Ryan Kastner; Francesco Restuccia 002; Andres Meza 001; Kaki Ryan; Nicole Fern; Jasper Van Woudenberg; Rajesh Velegalati; Cees-Bart Breunesse; et al. (VTS, 2023)

Information Flow Coverage Metrics for Hardware Security Verification. - Andres Meza 001; Ryan Kastner (CoRR, 2023)

Security Verification of the OpenTitan Hardware Root of Trust. - Andres Meza 001; Francesco Restuccia 002; Jason Oberg; Dominic Rizzo; Ryan Kastner (IEEE Secur. Priv., 2023)

A Framework for Design, Verification, and Management of SoC Access Control Systems. - Francesco Restuccia 002; Andres Meza 001; Ryan Kastner; Jason Oberg (IEEE Trans. Computers, 2023)

Isadora: automated information-flow property generation for hardware security verification. - Calvin Deutschbein; Andres Meza 001; Francesco Restuccia 002; Ryan Kastner; Cynthia Sturton (J. Cryptogr. Eng., 2023)

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

eXpect: On the Security Implications of Violations in AXI Implementations. - Melisande Zonta-Roudes; Andres Meza 001; Nora Hinderling; Lucas Deutschmann; Francesco Restuccia 002; Ryan Kastner; Shweta Shinde (ICCAD, 2024)

Reliable edge machine learning hardware for scientific applications. - Tommaso Baldi; Javier Campos; Benjamin Hawks; Jennifer Ngadiuba; Nhan Tran; Daniel Diaz 003; Javier M. Duarte; Ryan Kastner; Andres Meza 001; Melissa Quinnan; Olivia Weng; Caleb Geniesse; et al. (VTS, 2024)

AlphaChimp: Tracking and Behavior Recognition of Chimpanzees. - Xiaoxuan Ma 001; Yutang Lin 001; Yuan Xu; Stephan P. Kaufhold; Jack Terwilliger; Andres Meza 001; Yixin Zhu 001; Federico Rossano; Yizhou Wang 001 (CoRR, 2024)

Tailor: Altering Skip Connections for Resource-Efficient Inference. - Olivia Weng; Gabriel Marcano; Vladimir Loncar; Alireza Khodamoradi; G. Abarajithan; Nojan Sheybani; Andres Meza 001; Farinaz Koushanfar; Kristof Denolf; Javier Mauricio Duarte; Ryan Kastner (ACM Trans. Reconfigurable Technol. Syst., 2024)