![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Jason Oberg
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j12]Andres Meza
, Francesco Restuccia
, Jason Oberg
, Dominic Rizzo
, Ryan Kastner
:
Security Verification of the OpenTitan Hardware Root of Trust. IEEE Secur. Priv. 21(3): 27-36 (2023) - [j11]Francesco Restuccia
, Andres Meza
, Ryan Kastner
, Jason Oberg:
A Framework for Design, Verification, and Management of SoC Access Control Systems. IEEE Trans. Computers 72(2): 386-400 (2023) - 2021
- [c17]Jason Oberg:
Seeds of SEED: Building and Verifying Foundationally Isolated Hardware Architectures. SEED 2021: 210-214 - [c16]Sohrab Aftabjahani, Ryan Kastner
, Mark M. Tehranipoor, Farimah Farahmandi, Jason Oberg, Anders Nordstrom, Nicole Fern, Alric Althoff:
Special Session: CAD for Hardware Security - Automation is Key to Adoption of Solutions. VTS 2021: 1-10
2010 – 2019
- 2018
- [c15]Sohrab Aftabjahani, Jason Oberg, Michael Chen, Huawei Li:
Innovative practices on challenges, opportunities, and solutions to hardware security. VTS 2018: 1 - 2016
- [j10]Wei Hu
, Baolei Mao
, Jason Oberg, Ryan Kastner
:
Detecting Hardware Trojans with Gate-Level Information-Flow Tracking. Computer 49(8): 44-52 (2016) - 2015
- [c14]Baolei Mao
, Wei Hu
, Alric Althoff, Janarbek Matai, Jason Oberg, Dejun Mu
, Timothy Sherwood
, Ryan Kastner
:
Quantifying Timing-Based Information Flow in Cryptographic Hardware. ICCAD 2015: 552-559 - 2014
- [b1]Jason K. Oberg:
Testing Hardware Security Properties and Identifying Timing Channels /. University of California, San Diego, USA, 2014 - [j9]Hassan M. G. Wassel, Ying Gao, Jason K. Oberg, Ted Huffmire, Ryan Kastner
, Frederic T. Chong
, Timothy Sherwood
:
Networks on Chip with Provable Security Properties. IEEE Micro 34(3): 57-68 (2014) - [j8]Jason Oberg, Sarah Meiklejohn, Timothy Sherwood
, Ryan Kastner
:
Leveraging Gate-Level Properties to Identify Hardware Timing Channels. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 33(9): 1288-1301 (2014) - [j7]Wei Hu, Dejun Mu, Jason Oberg, Baolei Mao
, Mohit Tiwari
, Timothy Sherwood
, Ryan Kastner
:
Gate-Level Information Flow Tracking for Security Lattices. ACM Trans. Design Autom. Electr. Syst. 20(1): 2:1-2:25 (2014) - [c13]Xun Li, Vineeth Kashyap, Jason K. Oberg, Mohit Tiwari
, Vasanth Ram Rajarathinam, Ryan Kastner
, Timothy Sherwood
, Ben Hardekopf
, Frederic T. Chong
:
Sapper: a language for hardware-level security policy enforcement. ASPLOS 2014: 97-112 - 2013
- [j6]Jason Oberg, Timothy Sherwood
, Ryan Kastner
:
Eliminating Timing Information Flows in a Mix-Trusted System-on-Chip. IEEE Des. Test 30(2): 55-62 (2013) - [j5]Wei Hu
, Jason Oberg, Janet Barrientos, Dejun Mu, Ryan Kastner
:
Expanding Gate Level Information Flow Tracking for Multilevel Security. IEEE Embed. Syst. Lett. 5(2): 25-28 (2013) - [j4]Tan Nguyen, Daniel Hefenbrock, Jason Oberg, Ryan Kastner
, Scott B. Baden:
A software-based dynamic-warp scheduling approach for load-balancing the Viola-Jones face detection algorithm on GPUs. J. Parallel Distributed Comput. 73(5): 677-685 (2013) - [c12]Jason Oberg, Sarah Meiklejohn, Timothy Sherwood
, Ryan Kastner
:
A practical testing framework for isolating hardware timing channels. DATE 2013: 1281-1284 - [c11]Hassan M. G. Wassel, Ying Gao, Jason Oberg, Ted Huffmire, Ryan Kastner
, Frederic T. Chong
, Timothy Sherwood
:
SurfNoC: a low latency and provably non-interfering approach to secure networks-on-chip. ISCA 2013: 583-594 - [c10]Xun Li, Vineeth Kashyap, Jason K. Oberg, Mohit Tiwari
, Vasanth Ram Rajarathinam
, Ryan Kastner
, Timothy Sherwood
, Ben Hardekopf
, Frederic T. Chong
:
Position paper: Sapper - a language for provable hardware policy enforcement. PLAS 2013: 39-44 - 2012
- [j3]Wei Hu
, Jason Oberg, Ali Irturk, Mohit Tiwari
, Timothy Sherwood
, Dejun Mu, Ryan Kastner
:
On the Complexity of Generating Gate Level Information Flow Tracking Logic. IEEE Trans. Inf. Forensics Secur. 7(3): 1067-1080 (2012) - [c9]Jason Oberg, Ken Eguro, Ray Bittner, Alessandro Forin:
Random decision tree body part recognition using FPGAs. FPL 2012: 330-337 - [c8]Wei Hu, Jason Oberg, Dejun Mu, Ryan Kastner
:
Simultaneous information flow security and circuit redundancy in Boolean gates. ICCAD 2012: 585-590 - 2011
- [j2]Wei Hu
, Jason Oberg, Ali Irturk, Mohit Tiwari
, Timothy Sherwood
, Dejun Mu, Ryan Kastner
:
Theoretical Fundamentals of Gate Level Information Flow Tracking. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 30(8): 1128-1140 (2011) - [j1]Ali Irturk, Janarbek Matai, Jason Oberg, Jeffrey Su, Ryan Kastner
:
Simulate and Eliminate: A Top-to-Bottom Design Methodology for Automatic Generation of Application Specific Architectures. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 30(8): 1173-1183 (2011) - [c7]Jason Oberg, Wei Hu, Ali Irturk, Mohit Tiwari
, Timothy Sherwood
, Ryan Kastner
:
Information flow isolation in I2C and USB. DAC 2011: 254-259 - [c6]Mohit Tiwari
, Jason Oberg, Xun Li, Jonathan Valamehr, Timothy E. Levin, Ben Hardekopf
, Ryan Kastner
, Frederic T. Chong
, Timothy Sherwood
:
Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security. ISCA 2011: 189-200 - [c5]Xun Li, Mohit Tiwari
, Jason Oberg, Vineeth Kashyap, Frederic T. Chong
, Timothy Sherwood
, Ben Hardekopf
:
Caisson: a hardware description language for secure information flow. PLDI 2011: 109-120 - 2010
- [c4]Jason Oberg, Wei Hu
, Ali Irturk, Mohit Tiwari
, Timothy Sherwood
, Ryan Kastner
:
Theoretical analysis of gate level information flow tracking. DAC 2010: 244-247 - [c3]Daniel Hefenbrock, Jason Oberg, Nhat Thanh, Ryan Kastner
, Scott B. Baden:
Accelerating Viola-Jones Face Detection to FPGA-Level Using GPUs. FCCM 2010: 11-18 - [c2]Guoping Long, Diana Franklin, Susmit Biswas, Pablo J. Ortiz, Jason Oberg, Dongrui Fan
, Frederic T. Chong
:
Minimal Multi-threading: Finding and Removing Redundant Instructions in Multi-threaded Processors. MICRO 2010: 337-348
2000 – 2009
- 2009
- [c1]Junguk Cho, Shahnam Mirzaei
, Jason Oberg, Ryan Kastner
:
Fpga-based face detection system using Haar classifiers. FPGA 2009: 103-112
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 21:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint