Register Online | Virtual Event | March 29 - April 1 |
Event Description: GOMACTech was established primarily to review developments in microcircuit applications for government systems. Established in 1968, the conference has focused on advances in systems being developed by the Department of Defense and other government agencies and has been used to announce major government microelectronics initiatives such as VHSIC and MIMIC, and provides a forum for government reviews.
Primary Theme: Collaboration Amidst Isolation: Microelectronics Enabling Our Connected Nation
Keynote: Ms. Nicole M. Petta
Ms. Petta has over 15 years’ experience in materials research, development, and fabrication and has co-authored over 20 publications. Prior to her position with the DoD, Ms. Petta was the Special Assistant to the Director for the Laboratory for Laser Energetics (LLE). She developed a long-term strategy for microfabrication research, development and production for the Department of Energy’s Inertial and High Energy Density Programs at LLE. Prior to LLE, Ms. Petta was the Division General Manager of Schafer Livermore Laboratory in Livermore, California. She stood up the laboratory, led manufacturing, developed and oversaw the research and development programs and was responsible for business operations. The laboratory was focused on the manufacturing, research and development of nano and micro-engineered materials, metals, aerogels, foams, films and coatings and the rapid prototyping, precision manufacturing and characterization of assemblies made from these materials.
On Tuesday March 30th at 1:00 - 1:30 PM EST, OneSpin's John Hallman & Joerg Bormann join Stephen Baka of Alion to present the paper, "Security Assurance of Hardware-Firmware Interactions with Formal Verification"
"Embedded firmware performs critical hardware setup functions and decouples software from hardware implementation details. An error in the configuration of hardware security mechanisms may create vulnerabilities. Weaknesses in the interaction of hardware and firmware enable severe, persistent exploits. The detection of unforeseen or malicious hardware-firmware interactions is a challenging security assurance task. This paper presents a novel, automated approach for the analysis of a combined hardware-firmware model using industry-proven formal verification technology. The approach identifies low-level weaknesses that must be either eliminated or carefully considered during firmware development. Results of the application of the approach to two RISC-V-based SoCs, which include a ROM storing boot code, are reported. Previously unknown weaknesses have been identified without the need for in-depth knowledge of neither the hardware nor the firmware"
March 29 - April 1
About The Event Host
The GOMACTech conference was established primarily to review developments in microcircuit applications for government systems. Established in 1968, the conference has focused on advances in systems being developed by the Department of Defense and other government agencies and has been used to announce major government microelectronics initiatives such as VHSIC and MIMIC, and provides a forum for government reviews.
The GOMACTech Conference is an Unclassified, Export-Controlled event that requires participants to be U.S. Citizens or legal U.S. Permanent Residents. All registrants must provide proof of U.S. Citizenship or Permanent Resident status prior to being permitted entry into the conference. Additionally, a signed Non-Disclosure Statement will be required, and must be signed onsite.