Jonathan Graf

The Integrity of FPGA Designs: Capabilities Enabled by Unlocking Bitstreams and 3rd-Party IP

Jonathan Graf, Scott Harper, Lee W. Lerner, 2012 .

Formal enforcement of mission assurance properties in cyber-physical systems

Jonathan Graf, Scott Harper, Michael Farrell, 2017, 2017 IEEE National Aerospace and Electronics Conference (NAECON).

Wires on Demand: Run-Time Communication Synthesis for Reconfigurable Computing

Matthew Shelburne, Cameron D. Patterson, Peter M. Athanas, 2007, 2007 International Conference on Field Programmable Logic and Applications.

A Key Management Architecture for Securing Off-Chip Data Transfers

Peter M. Athanas, Jonathan Graf, P. Athanas, 2004, FPL.

Private Verification for FPGA Bitstreams

Jonathan Graf, Ali A Sohanghpurwala, 2017 .

Towards system-level adversary attack surface modeling for microelectronics trust

Jonathan Graf, Graf Research, 2016, 2016 IEEE National Aerospace and Electronics Conference (NAECON) and Ohio Innovation Summit (OIS).

Hardware Trojan Detection using Xilinx Vivado

Jonathan Graf, Scott Harper, Whitney Batchelor, 2018, NAECON 2018 - IEEE National Aerospace and Electronics Conference.

Trust games: How game theory can guide the development of hardware Trojan detection methods

Jonathan Graf, 2016, 2016 IEEE International Symposium on Hardware Oriented Security and Trust (HOST).

DEVELOPMENT OF A LUNAR RADIATOR PARABOLIC SHADING SYSTEM

Jonathan Graf, Michael K. Ewert, John R. Keller, 1995 .

Design and Characterization of a Hardware Encryption Management Unit for Secure Computing Platforms

Peter M. Athanas, Jonathan Graf, Joshua Nathaniel Edmison, 2006, Proceedings of the 39th Annual Hawaii International Conference on System Sciences (HICSS'06).