News and Events
Viewing entries in
Event
We have a booth at Partner Night during all three AMD Xilinx Security Working Group 2023 events.
Come learn more about the Graf Research® Enverite® EDA Suite:
Longmont, CO on Tuesday, October 24, 2023, from 6:00 - 9:00 pm
Washington D.C. on Wednesday, November 8, 2023, from 5:30 - 8:00 pm
Munich, Germany on Tuesday, December 5, 2023, from 5:30 - 8:00 pm
GOMAC is in session here in San Diego! Don’t forget, Graf Research is presenting:
Two posters on March 23 at 10:30am (P50-38 and P50-39).
A presentation of our paper residual risk on March 23 at 1:30pm (Session 38-5).
A booth during the ongoing Exhibits session where you can talk to our experts about how our tools can assist you in producing assured designs (Booth 713).
We look forward to seeing you there!
Come see our presentations, posters, and booth at GOMAC 2023! Click here for the full GOMAC 2023 program schedule.
Poster Session: The poster session is at 10:30am – 12:10pm, Thurs March 23. We hope to see you there!
Poster P50-38: “Generating Statistically Relevant Trojan Benchmarks for Microelectronics Quantifiable Assurance”
Poster P50-39: “Facilitating Assurance and Collaboration through Digital Threads in Microelectronics Experiments”
Presentation Session: We’re presenting our third paper in Session 38: Side-Channel Analysis, at 1:30 – 3:10pm, Thurs March 23.
Session 38-5: “Determining Residual Risk from Optimized Selection of Hardware Trojan Detection Strategies”
We will also be present in the ongoing Exhibits session at Booth 713 where you can talk to our experts about the software tools we offer, including Enverite design assurance solutions and our OpTrust service. We’ll be available at our booth all day on Tues March 21 and Wed March 22.
This was the first in-person All-Company Event that Graf Research Corporation has hosted since 2019, and the fourth annual meeting overall. Several of our team members had never even met each other in person until now, and much of the team had never seen our Atlanta office. It was wonderful to get back in the rhythm of hosting this important annual meeting, and as usual everybody gave excellent presentations covering the company’s current research and products as well as ideas for our future business plan!
Outside of meeting hours, we ate a delicious dinner together at Wrecking Bar Brewpub, and some of us also went to the Georgia Aquarium and to Atlanta’s famous food hall, Ponce City Market. The fun and games were well-deserved!
After this all-company meeting, we’re all feeling energized and excited about continuing to transform our ideas into innovative research and products. That’s what makes these annual meetings so great—they get everybody’s minds together to focus on what we’re doing well and what new directions we can go in. Now we look forward to another great year of unleashing innovation at Graf Research Corporation!
With the covid-19 pandemic, Graf Research Corporation was regrettably unable to host its annual All-Company Event in 2020. However, this year we were thrilled to bring it back! In order to take precautions, the event went virtual this time around, so things were a little different. Despite this, we still had another excellent set of presentations from everyone at the company covering topics such as our current research and technologies as well as company culture, history, and values. These presentations are essential to getting everyone on the same page and familiarized with one another’s work.
The company event was split this year between the 20th and the 27th, and we held a casual evening gathering after each day. The Blacksburg folks hung out at Eastern Divide and Rising Silo Brewery, and the Atlanta people chatted over beers and roasted cauliflower at Wild Heaven and Best End Brewing Company.
Despite the fact that we couldn’t be together entirely in person, we’re pumped about all the new ideas and research the team is producing. Every team member plays a valuable part in the company, and we’re excited for what we’ve got planned this coming year.
In keeping with tradition, we’ve hosted our second annual all-company event, this time at Mountain Lake Resort in Pembroke, Virginia. Too bad it was so foggy when we got there! But no worries—as before, everyone gave presentations covering the company’s current research and potential new directions, and we heard a lot of ideas for services and products the company could offer its customers. Great job, team! In the evening, we had a chance to converse more casually at Harvest Porch and had fun chatting and playing games.
We consider our all-company events to be vital to the company’s success. They generate new ideas, give the team a chance to get to know each other, and get everyone excited for the company’s future. We look forward to following up all these great ideas in the coming weeks to start work towards transforming them into a reality.
Graf Research Corporation has hosted its first annual all-company event. What a blast! As part of the event, everyone in the company got together to present ideas on leadership, company culture, business growth, research and development, and much more—they did a great job, too! After the presentations, the company hosted a tailgate for the team and their families that included cornhole, foosball, and shuffleboard, with catering from Due South BBQ. Later in the evening, we attended the Georgia Tech vs. Virginia Tech football game (as VT fans, we won’t discuss the outcome…).
Collaboration has always been of paramount importance at Graf Research, and we hope that this event continues to foster camaraderie among the company’s team members. A lot of great ideas are churning, and we’re excited for the new directions the company is headed in.
This week, Ali Asgar Sohangpurwala of Graf Research will present the "GR-TDM: A Framework for Design Space Exploration of Hardware Trojan Detection and Mitigation Tradeoffs" project in Los Angeles at DARPA's "Obfuscated Manufacturing for GPS (OMG)" kickoff meeting. If you are attending, please say hello!
Graf Research will be at the IEEE International Symposium on Hardware Oriented Security and Trust (HOST) as well as the co-located workshops the Trusted and Assured MicroElectronics Forum (TAME) and Women in Hardware and Systems Security (WISE). Please say hello to Jonathan Graf, who will be a poster session chair and judge at HOST and a panelist in the TAME forum, and Whitney Batchelor, who will be a poster judge at WISE. See you there!
Scott Harper from Graf Research will be attending GOMAC 2018 in Miami from March 12-15. Our very own Scott Harper and Tim Dunham are co-authors on "Malicious Trigger Discovery in FPGA Firmware." Make sure to say hello to Scott!
Graf Research Corporation is going to XSWG! We have been invited to give the lecture “A Cryptographically Secure Immutable Memory for Irrefutable Tamper Logging” at both groups: Longmont, Colorado (Oct 17-19) and Herndon, Virginia (Nov 7-9). Contributors to the lecture include Jonathan Graf, Ali Asgar Sohanghpurwala, Matt French, and Dr. Andrew Schmidt from USC-ISI. Register for the conference and come see us!
Graf Research and Georgia Tech are publishing and presenting our research on “Formal Enforcement of Mission Assurance Properties in Cyber-Physical Systems” at IEEE NAECON 2017. Come out and see our presentation!
-----
Formal Enforcement of Mission Assurance Properties in Cyber-Physical Systems
Scott Harper, Jonathan Graf, Michael A. Capone, Justin Eng, Michael Farrell, Lee W. Lerner
Abstract: Cyber-Physical Systems improve efficiency, accuracy, and access in systems ranging from household appliances to power stations to airplanes. They also bring new risks at the intersection of physical, information, and mission assurance. This paper presents CP-SMARTS, a framework providing a means for propagating CPS assurances from planning to deployment.
Graf Research and the University of Southern California's Information Sciences Institute will publish our work on “Irrefutable Tamper Logging through FPGA Key Management” at the 2017 DoD Anti-Tamper Conference. Co-authors include Jonathan Graf and Ali Asgar Sohanghpurwala from Graf Research and Matthew French and Dr. Andrew Schmidt from USC-ISI.
Graf Research will be at the Xilinx Security Working Group in Longmont, CO from Oct 24-25, 2016. Make sure to say hello and chat with us about our exciting new research avenues!
Continuing our publication of the applications of Game Theory to various levels of trust assessment, we discuss system-level applications in our IEEE NAECON 2016 paper. Come on out and see our presentation!
-----
Towards System-Level Adversary Attack Surface Modeling for Microelectronics Trust
Jonathan Graf
Abstract: Models of trust for microelectronic systems are difficult to create due to the large variety of adversarial strategies available. Building on previous work, we present a new adversary model that considers the large heterogeneous attack surface that is realistically available on a diverse microelectronic system. We also present an expanded game theoretic model that permits reasoning about optimal adversarial and defensive strategies across this varied attack surface.
Jonathan Graf of Graf Research along with co-presenter Dale Reese of Idaho Scientific will be giving an invited lecture to Virginia Tech's Center for Embedded Systems for Critical Applications (CESCA). The topic is "FPGA MPSoC Security: Design and Runtime." Come on out and hear us! Details below:
FPGA MPSoC Security: Design and Runtime
Jonathan Graf, Founder, Graf Research; Dale Reese, Founder and Chief Scientist, Idaho Scientific
2:30pm - 3:30pm on April 15, 2016 (Friday) at Whittemore Hall 457
Abstract: An emerging class of Field Programmable Gate Array (FPGA) – the Multi-Processor System on Chip (MPSoC) – holds enormous promise for novel processing architectures in a variety of domains. Within the context of high-security systems, the same-die close coupling of heterogeneous processing structures with hardened security resources is of particular interest. Modern FPGA MPSoCs provide not only programmable FPGA fabric, ARM CPUs, graphics processor units (GPUs), and digital signal processors (DSPs) but also cryptographic accelerators, physically unclonable functions (PUFs), and hardware random number generators (HRNGs). This pairing of processing and security resources raises the possibility of using them to create tightly integrated, custom secure processors for emerging networked applications that demand the highest security standards. FPGA MPSoCs hold the potential of revolutionizing the security posture for high-security Internet of Things (IoT) applications such as autonomous vehicles, intelligent energy grid devices, home and industrial automation, cyber-physical systems – and even the datacenter.
In this seminar, Jonathan Graf (Graf Research) and Dale Reese (Idaho Scientific) will introduce the variety of embedded computing security disciplines that meet within the confines of FPGA MPSoCs. Security must be built into these devices from the moment they are first designed, all the way through their supply chains, during the development of each piece of software and firmware, and throughout every runtime operation of each disparate processing structure. Collectively, this makes the FPGA MPSoC an exciting new device class with exceptional opportunities for new embedded computing security innovation.
We are continuing to publish our research on the use of Game Theory to optimize hardware Trojan detection processes in our paper at IEEE HOST 2016. Make sure to come by and chat with us!
-----
Trust Games: How Game Theory Can Guide the Development of Hardware Trojan Detection Methods
Jonathan Graf
Abstract: The development of circuit testing and verification methods is commonly driven by formal analysis centered on an abstract mathematical model of the error or defect the method is designed to detect. Hardware Trojans, however, confound attempts to develop simple representative models due to the varieties of their physical embodiments in a circuit and the creative nature of a rational human adversary. Since it is nonetheless desirable to have a mathematical framework for determining the effectiveness of hardware Trojan detection methods, we present a game theoretic framework for so doing. Modeling the Trojan maker and detection method designer as opposing players in a 2-person strategic game is a necessary step in our process. However, the ultimate utility of the approach depends on an accurate security economic model of both players that can correctly consider the players’ incentives, empirically-derived detection method efficacy metrics, a comprehensive taxonomy of hardware Trojans, and the places in the design cycle of the circuit where the Trojan insertion and detection occur. In this paper, we present such a security economic model and the resulting game, which we call the Trust Game. We illustrate the value of this game primarily in the context of how it may guide the development of new hardware Trojan detection methods. We solve a representative game, illustrating the value of two common solution concepts, the iterated elimination of dominated strategies and Nash equilibrium. We further show that this framework has utility to both of the opposing players in the game. Finally, we recommend the development of standardized Trust Games that can be used to quickly measure the efficacy of both new hardware Trojans and hardware Trojan detection methods.
We're going to GOMAC this year to present our paper, "Toward Optimal Hardware Trojan Detection through Security Economics and Game Theory." Come on out to see us!
——-
Toward Optimal Hardware Trojan Detection through Security Economics and Game Theory
Jonathan Graf
Abstract: We present a security economic model that informs the optimal selection of hardware Trojan detection strategies. Our model accurately represents the economics and efficacy of available verification and Trojan detection methods and accounts for the varieties of available hardware Trojans. Paired with game theoretic analysis, this model informs ASIC/FPGA designers and associated policy makers of optimal defensive strategies.
Jonathan Graf will be attending the Xilinx Security Working Group in Longmont, CO from October 26-28. Be sure to say hello and chat about our upcoming research!
Graf Research has been founded!
