Fpga-based face detection system using Haar classifiers. - Junguk Cho; Shahnam Mirzaei; Jason Oberg; Ryan Kastner (FPGA, 2009)

Theoretical analysis of gate level information flow tracking. - Jason Oberg; Wei Hu 008; Ali Irturk; Mohit Tiwari; Timothy Sherwood; Ryan Kastner (DAC, 2010)

Accelerating Viola-Jones Face Detection to FPGA-Level Using GPUs. - Daniel Hefenbrock; Jason Oberg; Nhat Thanh; Ryan Kastner; Scott B. Baden (FCCM, 2010)

Minimal Multi-threading: Finding and Removing Redundant Instructions in Multi-threaded Processors. - Guoping Long; Diana Franklin; Susmit Biswas; Pablo J. Ortiz; Jason Oberg; Dongrui Fan; Frederic T. Chong (MICRO, 2010)

Information flow isolation in I2C and USB. - Jason Oberg; Wei Hu 008; Ali Irturk; Mohit Tiwari; Timothy Sherwood; Ryan Kastner (DAC, 2011)

Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security. - Mohit Tiwari; Jason Oberg; Xun Li 001; Jonathan Valamehr; Timothy E. Levin; Ben Hardekopf; Ryan Kastner; Frederic T. Chong; Timothy Sherwood (ISCA, 2011)

Caisson: a hardware description language for secure information flow. - Xun Li 001; Mohit Tiwari; Jason Oberg; Vineeth Kashyap; Frederic T. Chong; Timothy Sherwood; Ben Hardekopf (PLDI, 2011)

Theoretical Fundamentals of Gate Level Information Flow Tracking. - Wei Hu 008; Jason Oberg; Ali Irturk; Mohit Tiwari; Timothy Sherwood; Dejun Mu; Ryan Kastner (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2011)

Simulate and Eliminate: A Top-to-Bottom Design Methodology for Automatic Generation of Application Specific Architectures. - Ali Irturk; Janarbek Matai; Jason Oberg; Jeffrey Su; Ryan Kastner (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2011)

Random decision tree body part recognition using FPGAs. - Jason Oberg; Ken Eguro; Ray Bittner; Alessandro Forin (FPL, 2012)

Simultaneous information flow security and circuit redundancy in Boolean gates. - Wei Hu 008; Jason Oberg; Dejun Mu; Ryan Kastner (ICCAD, 2012)

On the Complexity of Generating Gate Level Information Flow Tracking Logic. - Wei Hu 008; Jason Oberg; Ali Irturk; Mohit Tiwari; Timothy Sherwood; Dejun Mu; Ryan Kastner (IEEE Trans. Inf. Forensics Secur., 2012)

A practical testing framework for isolating hardware timing channels. - Jason Oberg; Sarah Meiklejohn; Timothy Sherwood; Ryan Kastner (DATE, 2013)

SurfNoC: a low latency and provably non-interfering approach to secure networks-on-chip. - Hassan M. G. Wassel; Ying Gao 001; Jason Oberg; Ted Huffmire; Ryan Kastner; Frederic T. Chong; Timothy Sherwood (ISCA, 2013)

Position paper: Sapper - a language for provable hardware policy enforcement. - Xun Li 001; Vineeth Kashyap; Jason K. Oberg; Mohit Tiwari; Vasanth Ram Rajarathinam; Ryan Kastner; Timothy Sherwood; Ben Hardekopf; Frederic T. Chong (PLAS, 2013)

Eliminating Timing Information Flows in a Mix-Trusted System-on-Chip. - Jason Oberg; Timothy Sherwood; Ryan Kastner (IEEE Des. Test, 2013)

Expanding Gate Level Information Flow Tracking for Multilevel Security. - Wei Hu 008; Jason Oberg; Janet Barrientos; Dejun Mu; Ryan Kastner (IEEE Embed. Syst. Lett., 2013)

A software-based dynamic-warp scheduling approach for load-balancing the Viola-Jones face detection algorithm on GPUs. - Tan Nguyen 001; Daniel Hefenbrock; Jason Oberg; Ryan Kastner; Scott B. Baden (J. Parallel Distributed Comput., 2013)

Sapper: a language for hardware-level security policy enforcement. - Xun Li 001; Vineeth Kashyap; Jason K. Oberg; Mohit Tiwari; Vasanth Ram Rajarathinam; Ryan Kastner; Timothy Sherwood; Ben Hardekopf; Frederic T. Chong (ASPLOS, 2014)

Networks on Chip with Provable Security Properties. - Hassan M. G. Wassel; Ying Gao 001; Jason K. Oberg; Ted Huffmire; Ryan Kastner; Frederic T. Chong; Timothy Sherwood (IEEE Micro, 2014)

Leveraging Gate-Level Properties to Identify Hardware Timing Channels. - Jason Oberg; Sarah Meiklejohn; Timothy Sherwood; Ryan Kastner (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2014)

Gate-Level Information Flow Tracking for Security Lattices. - Wei Hu 008; Dejun Mu; Jason Oberg; Baolei Mao; Mohit Tiwari; Timothy Sherwood; Ryan Kastner (ACM Trans. Design Autom. Electr. Syst., 2014)

Testing Hardware Security Properties and Identifying Timing Channels /. - Jason K. Oberg (2014)

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)

Detecting Hardware Trojans with Gate-Level Information-Flow Tracking. - Wei Hu 008; Baolei Mao; Jason Oberg; Ryan Kastner (Computer, 2016)

Innovative practices on challenges, opportunities, and solutions to hardware security. - Sohrab Aftabjahani; Jason Oberg; Michael Chen; Huawei Li 001 (VTS, 2018)

Seeds of SEED: Building and Verifying Foundationally Isolated Hardware Architectures. - Jason Oberg (SEED, 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)

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)