DBLP
Google Citations

Selected Publications

[TCAD'14] Leveraging Gate-Level Properties to Identify Hardware Timing Channels
Jason Oberg, Sarah Meiklejohn, Timothy Sherwood, and Ryan Kastner
IEEE Transactions on Comuter-aided Design of Integrated Circuits and Systems (TCAD'14), to appear

[D&T '13] Eliminating Timing Information Flows in a Mix-trusted System-on-Chip
Jason Oberg, Timothy Sherwood, and Ryan Kastner
IEEE Design and Test of Computers, vol. 30, no. 2, March/April 2013

[DATE'13] A Practical Testing Framework for Isolating Hardware Timing Channels
Jason Oberg, Sarah Meiklejohn, Timothy Sherwood, and Ryan Kastner
The conference on Design Automation and Test in Europe (DATE 2013)

[DAC'11] Information Flow Isolation in I2C and USB
Jason Oberg, Wei Hu, Ali Irturk, Mohit Tiwari, Timothy Sherwood, and Ryan Kastner,
In Proceedings of the Design Automation Conference (DAC 2011)

[DAC'10] Theoretical Analysis of Gate Level Information Flow Tracking.
Jason Oberg, Wei Hu, Ali Irturk, Mohit Tiwari, Timothy Sherwood, and Ryan Kastner,
In the Proceedings of the Design Automation Conference (DAC 2010).


Patents

[US Patent] Decision Tree Computation In Hardware
Jason Oberg, Ken Eguro, Victor Tirva, Padma Parthasarathy, Susan Carrie, Alessandro Forin, and Jonathan Chow.
US Patent App. 13/344,473, 2012


Journal Publications

[TCAD'14] Leveraging Gate-Level Properties to Identify Hardware Timing Channels
Jason Oberg, Sarah Meiklejohn, Timothy Sherwood, and Ryan Kastner
IEEE Transactions on Comuter-aided Design of Integrated Circuits and Systems (TCAD'14), to appear

[ESL'13] Expanding Gate Level Information Flow Tracking for Multi-level Security
Wei Hu, Jason Oberg, Janet Barrientos, Dejun Mu, and Ryan Kastner
IEEE Embedded System Letters, vol. 5, no. 2, May 2013

[D&T '13] Eliminating Timing Information Flows in a Mix-trusted System-on-Chip
Jason Oberg, Timothy Sherwood, and Ryan Kastner
IEEE Design and Test of Computers, vol. 30, no. 2, March/April 2013

[JPDC'13] A Software-based Dynamic-warp Scheduling Approach for Load-Balancing the Viola-Jones Face Detection Algorithm on GPUs
Tan Nguyen, Daniel Hefenbrock, Jason Oberg, Ryan Kastner, and Scott Baden
Journal of Parallel and Distributed Computing, January 2013

[TIFS'12] On the Complexity of Gate Level Information Flow Tracking Logic
Wei Hu, Jason Oberg, Ali Irturk, Mohit Tiwari, Timothy Sherwood, Dejun Mu, and Ryan Kastner,
IEEE Transactions on Information Forensics and Security (TIFS), vol. 7, no. 3, June 2012

[TCAD'11] Theoretical Fundamentals of Gate Level Information Flow Tracking.
Wei Hu, Jason Oberg, Ali Irturk, Mohit Tiwari, Timothy Sherwood, Dejun Mu, and Ryan Kastner,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 30, issue 8, August 2011

[TCAD'11] Simulate and Eliminate: A Top-to-Bottom Design Methodology for Automatic Generation of Application Specific Architectures.
Ali Irturk, Janarbek Matai, Jason Oberg, Jeffrey Su, and Ryan Kastner,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 30, issue 8, August 2011


Peer-Reviewed Conference and Workshop Publications

[ASPLOS'14] Sapper: A Language for Hardware-Level Security Policy Enforcement
Xun Li, Vineeth Kashyap, Jason Oberg, Mohit Tiwari, Vasanth Rajarathinam, Ryan Kastner, Timothy Sherwood, Ben Hardekopf and Frederic T. Chong
International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2014)

[ISCA'13] SurfNoC: A Low Latency and Provably Non-Interfering approach to Secure Networks-On-Chip
Hassan M. G. Wassel, Ying Gao, Jason K. Oberg, Ted Huffmire, Ryan Kastner, Frederic T. Chong, Timothy Sherwood
International Symposium on Computer Architecture (ISCA 2013)

[PLAS'13] Sapper: A Language for Provable Hardware Policy Enforcement
Xun Li, Vineeth Kashyap, Jason Oberg, Mohit Tiwari, Vasanth Rajarathinam, Ryan Kastner, Timothy Sherwood, Ben Hardekopf and Frederic T. Chong
Workshop on Programming Languages and Analysis for Security (PLAS 2013).

[DATE'13] A Practical Testing Framework for Isolating Hardware Timing Channels
Jason Oberg, Sarah Meiklejohn, Timothy Sherwood, and Ryan Kastner
The conference on Design Automation and Test in Europe (DATE 2013)

[ICCAD'12] Simultaneous Information Flow Security and Circuit Redundancy in Boolean Gates
Wei Hu, Jason Oberg, Dejun Mu, and Ryan Kastner
The international conference on Computer-Aided Design (ICCAD 2012)

[FPL'12] Random Decision Tree Body Part Recognition Using FPGAs
Jason Oberg, Ken Eguro, Ray Bittner, and Alessandro Forin
The International conference on Field Programmable Logic and Applications (FPL 2012)

[ESLsyn'12] Trimmed VLIW: Moving Application Specific Processors Towards High Level Synthesis
Janarbek Matai, Jason Oberg, Ali Irturk, Taemin Kim, and Ryan Kastner,
The Electronic System Level Synthesis Conference (ESLsyn 2012)

[ERSA'11] Enforcing Information Flow Guarantees in Reconfigurable Systems with Mix-trusted IP
Ryan Kastner, Jason Oberg, Wei Hu, and Ali Irturk,
The conference on Engineering of Reconfigurable Systems and Algorithms (ERSA 2011), invited paper

[IWLS'11] An Improved Encoding Technique for Gate Level Information Flow Tracking
Wei Hu, Jason Oberg, Ali Irturk, Mohit Tiwari, Timothy Sherwood, Dejun Mu, and Ryan Kastner,
The International Workshop on Logic and Synthesis (IWLS 2011)

[ISCA'11] Crafting a Usable Microkernel, Processor, and I/O System with Strict and Provable Information Flow Security
Mohit Tiwari, Jason Oberg, Xun Li, Jonathan K Valamehr, Timothy Levin, Ben Hardekopf, Ryan Kastner, Frederic T. Chong, and Timothy Sherwood,
In Proceedings of the International Symposium on Computer Architecture (ISCA 2011)

[DAC'11] Information Flow Isolation in I2C and USB
Jason Oberg, Wei Hu, Ali Irturk, Mohit Tiwari, Timothy Sherwood, and Ryan Kastner,
In Proceedings of the Design Automation Conference (DAC 2011)

[PLDI'11] Caisson: A Hardware Description Language for Secure Information Flow
Xun Li, Mohit Tiwari, Jason Oberg, Frederic T. Chong, Tim Sherwood, and Ben Hardekopf,
In Proceedings of the conference on Programming Language Design and Implementation (PLDI 2011)

[MICRO'10] Minimal Multi-Threading: Finding and Removing Redundant Instructions in Multi-Threaded Processors.
Guoping Long, Diana Franklin, Susmit Biswas, Pablo Ortiz, Jason Oberg, Dongrui Fan, and Frederic T. Chong,
In Proceedings of the International Symposium on Microarchitecture (MICRO 2010).

[FCCM'10] Accelerating Viola-Jones Face Detection to FPGA-Level using GPUs.
Daniel Hefenbrock, Jason Oberg, Nhat Tan Nguyen Thanh, Ryan Kastner, and Scott B. Baden,
In Proceedings of the conference on Field-Programmable Custom Computing Machines (FCCM 2010).

[DAC'10] Theoretical Analysis of Gate Level Information Flow Tracking.
Jason Oberg, Wei Hu, Ali Irturk, Mohit Tiwari, Timothy Sherwood, and Ryan Kastner,
In the Proceedings of the Design Automation Conference (DAC 2010).

[FPGA'09] FPGA-Based Face Detection System Using Haar Classifiers
Jung Uk Cho, Shahnam Mirzaei, Jason Oberg, and Ryan Kastner,
In Proceedings of the International Symposium on Field Programmable Gate Arrays (FPGA 2009).