Networks on Chip with Provable Security Properties von Wassel, Hassan M.G., Gao, Ying, Oberg, Jason K., Huffmire, Ted, Kastner, Ryan, Chong, Frederic T., Sherwood, Timothy

Volltext

Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security von Tiwari, Mohit, Oberg, Jason K., Li, Xun, Valamehr, Jonathan, Levin, Timothy, Hardekopf, Ben, Kastner, Ryan, Chong, Frederic T., Sherwood, Timothy

Volltext

Detecting security vulnerabilities introduced between versions of a hardware design von Seshadri, Vijay, Wilkerson, Kristoffer, Oberg, Jason K

Volltext bestellen

Using Information Flow For Security Exploration and Analysis von Althoff, Alric, Kuehlmann, Andreas, Oberg, Jason K

Volltext bestellen

Using Information Flow for Security Aware Design and Analysis von Althoff, Alric, Kuehlmann, Andreas, Oberg, Jason K

Volltext bestellen

Detecting Security Vulnerabilities Introduced Between Versions of a Hardware Design von Seshadri, Vijay, Wilkerson, Kristoffer, Oberg, Jason K

Volltext bestellen

Analyzing hardware designs for vulnerabilities to side-channel attacks von Seshadri, Vijay, Althoff, Alric, Wilkerson, Kristoffer, Fern, Nicole, Oberg, Jason K

Volltext bestellen

Method and system for detecting hardware trojans and unintentional design flaws von Kastner, Ryan, Hu, Wei, Oberg, Jason K

Volltext bestellen

Systems and methods for security and safety fault analysis using information flow von Valamehr, Jonathan, Blair, Zachary, Oberg, Jason K

Volltext bestellen

Systems and Methods for Security and Safety Fault Analysis Using Information Flow von Valamehr, Jonathan, Blair, Zachary, Oberg, Jason K

Volltext bestellen

ANALYZING HARDWARE DESIGNS FOR VULNERABILITIES TO SIDE-CHANNEL ATTACKS von Seshadri, Vijay, Althoff, Alric, Wilkerson, Kristoffer, Fern, Nicole, Oberg, Jason K

Volltext bestellen

Method and System for Detecting Hardware Trojans and Unintentional Design Flaws von Oberg Jason K, Kastner Ryan, Hu Wei

Volltext bestellen

Caisson: a hardware description language for secure information flow von Li, Xun, Tiwari, Mohit, Oberg, Jason K., Kashyap, Vineeth, Chong, Frederic T., Sherwood, Timothy, Hardekopf, Ben

Volltext

Generating hardware security logic von Kastner, Ryan, Valamehr, Jonathan, Oberg, Jason K, Sherwood, Timothy

Volltext bestellen

Generating Hardware Security Logic von Oberg Jason K, Kastner Ryan, Valamehr Jonathan, Sherwood Timothy

Volltext bestellen

Caisson: a hardware description language for secure information flow von Li, Xun, Tiwari, Mohit, Oberg, Jason K., Kashyap, Vineeth, Chong, Frederic T., Sherwood, Timothy, Hardekopf, Ben

Volltext

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

Volltext

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

Volltext

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

Volltext

Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security von Tiwari, Mohit, Oberg, Jason K., Li, Xun, Valamehr, Jonathan, Levin, Timothy, Hardekopf, Ben, Kastner, Ryan, Chong, Frederic T., Sherwood, Timothy

Volltext