Property specific information flow analysis for hardware security verification. - Wei Hu 008; Armaiti Ardeshiricham; Mustafa S. Gobulukoglu; Xinmu Wang; Ryan Kastner (ICCAD, 2018)

Classifying Computations on Multi-Tenant FPGAs. - Mustafa S. Gobulukoglu; Colin Drewes; William Hunter; Ryan Kastner; Dustin Richmond (DAC, 2021)

Classifying Computations on Multi-Tenant FPGAs. - Mustafa S. Gobulukoglu; Colin Drewes; Bill Hunter; Dustin Richmond; Ryan Kastner (FPGA, 2021)

A Remote Control System for Emergency Ventilators During SARS-CoV-2. - Michael Barrow; Francesco Restuccia 002; Mustafa S. Gobulukoglu; Enrico Rossi; Ryan Kastner (IEEE Embed. Syst. Lett., 2022)