Jason Oberg

26 papers A* 6A 4B 1Misc 3Journal 11Unranked 1
YearRankTypeTitle / Venue / Authors
2023 J jnl
A Framework for Design, Verification, and Management of SoC Access Control Systems.
IEEE Trans. Computers
Francesco Restuccia, Andres Meza, Ryan Kastner, Jason Oberg
2023 J jnl
Security Verification of the OpenTitan Hardware Root of Trust.
IEEE Secur. Priv.
Andres Meza, Francesco Restuccia, Jason Oberg, Dominic Rizzo, Ryan Kastner
2021 — conf
Seeds of SEED: Building and Verifying Foundationally Isolated Hardware Architectures.
SEED
Jason Oberg
2021 Misc conf
Special Session: CAD for Hardware Security - Automation is Key to Adoption of Solutions.
VTS
Sohrab Aftabjahani, Ryan Kastner, Mark Tehranipoor, Farimah Farahmandi, Jason Oberg, Anders Nordstrom, Nicole Fern, Alric Althoff
2018 Misc conf
Innovative practices on challenges, opportunities, and solutions to hardware security.
VTS
Sohrab Aftabjahani, Jason Oberg, Michael Chen, Huawei Li
2016 J jnl
Detecting Hardware Trojans with Gate-Level Information-Flow Tracking.
Computer
Wei Hu, Baolei Mao, Jason Oberg, Ryan Kastner
2015 A conf
Quantifying Timing-Based Information Flow in Cryptographic Hardware.
ICCAD
Baolei Mao, Wei Hu, Alric Althoff, Janarbek Matai, Jason Oberg, Dejun Mu, Timothy Sherwood, Ryan Kastner
2014 J jnl
Gate-Level Information Flow Tracking for Security Lattices.
ACM Trans. Design Autom. Electr. Syst.
Wei Hu, Dejun Mu, Jason Oberg, Baolei Mao, Mohit Tiwari, Timothy Sherwood, Ryan Kastner
2014 J jnl
Leveraging Gate-Level Properties to Identify Hardware Timing Channels.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Jason Oberg, Sarah Meiklejohn, Timothy Sherwood, Ryan Kastner
2013 A conf
A practical testing framework for isolating hardware timing channels.
DATE
Jason Oberg, Sarah Meiklejohn, Timothy Sherwood, Ryan Kastner
2013 J jnl
A software-based dynamic-warp scheduling approach for load-balancing the Viola-Jones face detection algorithm on GPUs.
J. Parallel Distributed Comput.
Tan Nguyen, Daniel Hefenbrock, Jason Oberg, Ryan Kastner, Scott B. Baden
2013 J jnl
Eliminating Timing Information Flows in a Mix-Trusted System-on-Chip.
IEEE Des. Test
Jason Oberg, Timothy Sherwood, Ryan Kastner
2013 J jnl
Expanding Gate Level Information Flow Tracking for Multilevel Security.
IEEE Embed. Syst. Lett.
Wei Hu, Jason Oberg, Janet Barrientos, Dejun Mu, Ryan Kastner
2013 A* conf
SurfNoC: a low latency and provably non-interfering approach to secure networks-on-chip.
ISCA
Hassan M. G. Wassel, Ying Gao, Jason Oberg, Ted Huffmire, Ryan Kastner, Frederic T. Chong, Timothy Sherwood
2012 J jnl
On the Complexity of Generating Gate Level Information Flow Tracking Logic.
IEEE Trans. Inf. Forensics Secur.
Wei Hu, Jason Oberg, Ali Irturk, Mohit Tiwari, Timothy Sherwood, Dejun Mu, Ryan Kastner
2012 B conf
Random decision tree body part recognition using FPGAs.
FPL
Jason Oberg, Ken Eguro, Ray Bittner, Alessandro Forin
2012 A conf
Simultaneous information flow security and circuit redundancy in Boolean gates.
ICCAD
Wei Hu, Jason Oberg, Dejun Mu, Ryan Kastner
2011 A* conf
Caisson: a hardware description language for secure information flow.
PLDI
Xun Li, Mohit Tiwari, Jason Oberg, Vineeth Kashyap, Frederic T. Chong, Timothy Sherwood, Ben Hardekopf
2011 A* conf
Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security.
ISCA
Mohit Tiwari, Jason Oberg, Xun Li, Jonathan Valamehr, Timothy E. Levin, Ben Hardekopf, Ryan Kastner, Frederic T. Chong, Timothy Sherwood
2011 A* conf
Information flow isolation in I2C and USB.
DAC
Jason Oberg, Wei Hu, Ali Irturk, Mohit Tiwari, Timothy Sherwood, Ryan Kastner
2011 J jnl
Simulate and Eliminate: A Top-to-Bottom Design Methodology for Automatic Generation of Application Specific Architectures.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Ali Irturk, Janarbek Matai, Jason Oberg, Jeffrey Su, Ryan Kastner
2011 J jnl
Theoretical Fundamentals of Gate Level Information Flow Tracking.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Wei Hu, Jason Oberg, Ali Irturk, Mohit Tiwari, Timothy Sherwood, Dejun Mu, Ryan Kastner
2010 Misc conf
Accelerating Viola-Jones Face Detection to FPGA-Level Using GPUs.
FCCM
Daniel Hefenbrock, Jason Oberg, Nhat Thanh, Ryan Kastner, Scott B. Baden
2010 A* conf
Minimal Multi-threading: Finding and Removing Redundant Instructions in Multi-threaded Processors.
MICRO
Guoping Long, Diana Franklin, Susmit Biswas, Pablo J. Ortiz, Jason Oberg, Dongrui Fan, Frederic T. Chong
2010 A* conf
Theoretical analysis of gate level information flow tracking.
DAC
Jason Oberg, Wei Hu, Ali Irturk, Mohit Tiwari, Timothy Sherwood, Ryan Kastner
2009 A conf
Fpga-based face detection system using Haar classifiers.
FPGA
Junguk Cho, Shahnam Mirzaei, Jason Oberg, Ryan Kastner