Networks on Chip with Provable Security Properties
Wassel, Hassan M.G., Gao, Ying, Oberg, Jason K., Huffmire, Ted, Kastner, Ryan, Chong, Frederic T., Sherwood, Timothy
Published in IEEE MICRO (01.05.2014)
Published in IEEE MICRO (01.05.2014)
Get full text
Journal Article
Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security
Tiwari, Mohit, Oberg, Jason K., Li, Xun, Valamehr, Jonathan, Levin, Timothy, Hardekopf, Ben, Kastner, Ryan, Chong, Frederic T., Sherwood, Timothy
Published in 2011 38th Annual International Symposium on Computer Architecture (ISCA) (04.06.2011)
Published in 2011 38th Annual International Symposium on Computer Architecture (ISCA) (04.06.2011)
Get full text
Conference Proceeding
A Framework for Design, Verification, and Management of SoC Access Control Systems
Restuccia, Francesco, Meza, Andres, Kastner, Ryan, Oberg, Jason
Published in IEEE transactions on computers (01.02.2023)
Published in IEEE transactions on computers (01.02.2023)
Get full text
Journal Article
Detecting Hardware Trojans with Gate-Level Information-Flow Tracking
Wei Hu, Baolei Mao, Oberg, Jason, Kastner, Ryan
Published in Computer (Long Beach, Calif.) (01.08.2016)
Published in Computer (Long Beach, Calif.) (01.08.2016)
Get full text
Journal Article
Special Session: CAD for Hardware Security - Automation is Key to Adoption of Solutions
Aftabjahani, Sohrab, Kastner, Ryan, Tehranipoor, Mark, Farahmandi, Farimah, Oberg, Jason, Nordstrom, Anders, Fern, Nicole, Althoff, Alric
Published in 2021 IEEE 39th VLSI Test Symposium (VTS) (25.04.2021)
Published in 2021 IEEE 39th VLSI Test Symposium (VTS) (25.04.2021)
Get full text
Conference Proceeding
Random decision tree body part recognition using FPGAs
Oberg, J., Eguro, K., Bittner, R., Forin, A.
Published in 22nd International Conference on Field Programmable Logic and Applications (FPL) (01.08.2012)
Published in 22nd International Conference on Field Programmable Logic and Applications (FPL) (01.08.2012)
Get full text
Conference Proceeding
Seeds of SEED: Building and Verifying Foundationally Isolated Hardware Architectures
Oberg, Jason
Published in 2021 International Symposium on Secure and Private Execution Environment Design (SEED) (01.09.2021)
Published in 2021 International Symposium on Secure and Private Execution Environment Design (SEED) (01.09.2021)
Get full text
Conference Proceeding
Innovative practices on challenges, opportunities, and solutions to hardware security
Aftabjahani, Sohrab, Oberg, Jason, Chen, Michael, Li, Huawei
Published in 2018 IEEE 36th VLSI Test Symposium (VTS) (01.04.2018)
Published in 2018 IEEE 36th VLSI Test Symposium (VTS) (01.04.2018)
Get full text
Conference Proceeding
On the Complexity of Generating Gate Level Information Flow Tracking Logic
Wei Hu, Oberg, J., Irturk, A., Tiwari, M., Sherwood, T., Dejun Mu, Kastner, R.
Published in IEEE transactions on information forensics and security (01.06.2012)
Published in IEEE transactions on information forensics and security (01.06.2012)
Get full text
Journal Article
A practical testing framework for isolating hardware timing channels
Oberg, Jason, Meiklejohn, Sarah, Sherwood, Timothy, Kastner, Ryan
Published in 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE) (01.03.2013)
Published in 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE) (01.03.2013)
Get full text
Conference Proceeding
Simulate and Eliminate: A Top-to-Bottom Design Methodology for Automatic Generation of Application Specific Architectures
Irturk, A., Matai, J., Oberg, J., Su, J., Kastner, R.
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.08.2011)
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.08.2011)
Get full text
Journal Article
Information flow isolation in I2C and USB
Oberg, Jason, Hu, Wei, Irturk, Ali, Tiwari, Mohit, Sherwood, Timothy, Kastner, Ryan
Published in 2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC) (05.06.2011)
Published in 2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC) (05.06.2011)
Get full text
Conference Proceeding
Expanding Gate Level Information Flow Tracking for Multilevel Security
Wei Hu, Oberg, J., Barrientos, J., Dejun Mu, Kastner, R.
Published in IEEE embedded systems letters (01.06.2013)
Published in IEEE embedded systems letters (01.06.2013)
Get full text
Journal Article
Theoretical analysis of gate level information flow tracking
Oberg, Jason, Wei Hu, Irturk, Ali, Tiwari, Mohit, Sherwood, Timothy, Kastner, Ryan
Published in Design Automation Conference (01.06.2010)
Published in Design Automation Conference (01.06.2010)
Get full text
Conference Proceeding