Home » News

Category Archives: News

FARAHMANDI RECEIVES NSF CAREER AWARD FOR AI-ASSISTED SECURITY VERIFICATION FRAMEWORK

Dr. Farimah Farahmandi

NSF

Career

Award

Yangbin Wang Rising Star Endowed Assistant Professor Farimah Farahmandi has received an NSF CAREER award in support of her project “SAIF: Security Assurance through AI and Formal Approaches for System-on-Chips.” The project seeks to enhance the safety and security of microelectronics by creating an innovative AI-assisted security verification framework for modern complex system-on-chip (SoC) devices.

Integrated circuits are critical components in many vital electronic devices and systems, including those used in financial services, military and defense applications, healthcare systems, and business operations. Such circuits are subject to an ever-growing number of security vulnerabilities and attacks due to their complex functionality, increased interactions among numerous functional blocks, and connectivity to the internet.

Dr. Farahmandi’s SAIF framework aims to address these vulnerabilities in a number of ways. The AI-assisted framework seeks to provide high verification coverage while dramatically reducing the time required to verify the integrity of micro devices like SOCs. By taking humans out of the process and leveraging the power of AI, the SAIF framework is able to lower security verification time by orders of magnitude while providing scalability of circuit complexity. SAIF provides computer chip design and verification engineers with properties and tools to check for security vulnerabilities before fabrication and the system promises to be extremely adaptable as new attack surfaces and modalities are discovered.

This project will integrate research and educational activities by developing a modified curriculum/syllabus for high schoolers, workforce development, minority recruiting, training/workshops for K-12 and undergraduate students, and disseminating research results through publications, seminars, tutorials, and panels.

FARAHMANDI WORKS TO OPTIMIZE CHIP LIFECYCLE MANAGEMENT

Yangbin Wang Rising Star Endowed Assistant Professor Farimah Farahmandi has received funding from the Office of Naval Research in support of her project “Optimized System Design for Assurance and Life-cycle Management (SaLEM).” The objective of the $498K project is to develop a sustainable and security-aware life-cycle management solution, called SALeM, that monitors the run-time behaviors and silicon status of microelectronic devices. The team will also develop novel designs for upgradable hardware, meaning that the design can be altered and enhanced during runtime.

SaLEM is a first-of-its-kind optimized system designed for assurance and lifecycle management. It is intended to address key sustainability and security concerns in semiconductor manufacturing while enhancing device sustainability and mitigating e-waste issues. A key feature of the SALeM system is fine-grained monitoring to enable run-time security monitoring and in-field upgrades. The monitoring is accomplished by distributed monitoring agents, essentially sensors embedded in the hardware. The monitoring agents collect and report data (e.g., aging status) from chiplets which is then transmitted to a reconfigurable fabric, an embedded FPGA (eFPGA), for further analysis. The sensors provide meticulous observability in security-critical areas, while reconfigurable hardware-based controllers offer adaptability in deploying dynamic security policies against sophisticated attacks like zero-day threats. This detailed level of data monitoring and communication will enable the recovery of systems in the field and over-the-air hardware security updates, greatly enhancing overall device security, reducing the frequency of device replacement, and enabling device reuse.

By focusing on reducing device replacement frequency, extending device lifespan, and enabling device reuse for diverse applications, SALeM aims to mitigate sustainability challenges and supply chain disruptions. The methodology shows great potential for semiconductor manufacturing, highlighting a strategy for the integration of advanced monitoring capabilities into future products.

Dr. Farahmandi’s SaLEM project continues her work in the national security space by creating trustworthy and sustainable electronics for secure and reliable hardware used in military and naval systems, the aerospace industry, financial systems, and automobile systems. Both semiconductor manufacturing companies and OEM companies stand to benefit from this research.

Silicon Design and Assurance Lab (SiLDA): A Research Incubator for Cybersecurity Testing and Assurance

Launching this month, Dr. Farahmandi’s lab, the Silicon Design and Assurance Lab (SiLDA) opened its doors for students and fellows to study and collaborate in Malachowsky Hall. This lab will serve as an incubator facilitating the development of groundbreaking, interdisciplinary work. 

Housed in the new Malachowsky Hall for Data Sciences & Information Technology, the SiLDA Lab offers the latest technology and equipment designed for testing and hardware assurance.

Our Main Research Field

Over the past decades, integrated circuits (ICs) have become ubiquitous in numerous applications ranging from high-end data centers to low-power terminals. On the other hand, the security and assurance of microelectronic systems become paramount to preserve the confidentiality, integrity, and availability of sensitive data, calling for more and more research efforts from both industry and academia. At the University of Florida, the Silicon Design and Assurance Lab (SiLDA) led by Dr. Farimah Farahmandi strives to develop cutting-edge solutions for assessing security vulnerabilities of IC designs and enhancing system resilience against the most threatening attack vectors.

Cutting Edge EquipmentOur lab (lab 3229 in UF Malachowsky Hall) is equipped with leading security inspection instruments and experts with analysis capabilities including but not limited to (i) Security bugs emulation. For timely security closure, we have the Synopsys ZEBU emulation platform. It consists of reconfigurable devices which can accommodate the logic of the most recent processors such as Apple CPUs or Nvidia GPUs. As such, the security verification can be confirmed on real silicon while being accelerated by orders of magnitude. (ii) Medical device security. The security of medical devices greatly impacts the life safety of patients. We investigate the potential effects of physical disturbance (e.g., EM emissions from smartphones) on critical devices such as heart pacemakers. (iii) Side-channel security. Side-channel attacks can non-invasively deduce security assets from the physical properties (e.g., power, electromagnetic) of a running IC. Our lab has the pre-silicon and post-silicon platforms to prototype arbitrary cryptographic implementations for both power and EM side-channel vulnerability quantification. Specifically, our lab is equipped with quite a few ChipWhisperer instances (CW305, CW Pro, etc.) and Langer EM probing instruments (e.g., RF-K 7-4 H-field probes) for power and EM side-channel security verification, respectively.(iv) Fault injection security. Fault injection attacks can effectively compromise data and system integrity during run-time. For the security assessment of such attacks, we have a Riscue laser station to enable most fine-grained bit-flips on target devices. (v) Testing and probing for security verification.

The SiLDA Lab also has the capability to identify security vulnerabilities from post-silicon (commercial-off-the-shelf) devices through testing and probing instruments. Feeding directed test vectors or directly inspecting the internals of suspected ICs using our techniques minimizes the possibility of vulnerabilities to escape.

Open House SiDA Lab: Doctoral student, Dipayan Saha, discusses Synopsis ZeBu Emulation Platform with a curious visitor. Nov. 2023

Farahmandi Receives DURIP Award from AFOSR

Dr. Farimah Farahmandi has received a DURIP grant award of $290k in funding from the Air Force Office of Scientific Research in support of her efforts to equip the Silicon Design & Assurance (SiDA) lab with the ZeBu Emulator framework, manufactured by Synopsys. ZeBu, short for “Zero Bugs Emulation,” is a cutting-edge technology that plays a pivotal role in the development and validation of complex hardware and software systems enabling engineers to emulate and test their designs before the lengthy step of building physical prototypes.

A critical issue in the current globalized semiconductor manufacturing sector is hardware security and trust assessment. As the bulk of manufacturing in the sector has long been outsourced to offshore foundries, the authenticity of the final manufactured products has become harder and harder to ascertain. The increasing complexity of modern integrated circuits and system-on-chips has only made the problem worse. Additionally, many unintentional security vulnerabilities may arise during the design process of SoCs/ICs due to their high complexity, lack of efficient and comprehensive security verification efforts, diversity of critical assets, and EDA tools that are not aware of security requirements. 

The use of an emulation tool like ZeBu allows developers and researchers to significantly accelerate the product development cycle, minimizes security risks associated with potential security vulnerabilities and bugs, and reduces the cost of diagnosis and patching. By providing a virtual environment that closely replicates the target hardware, ZeBu empowers hardware security researchers to detect security vulnerabilities early in the development process, resulting in more secure and trustworthy end products.

The SiLDA Lab

The SiLDA Lab supports five postdoctoral fellows, thirteen PhD students, and many master and undergraduate researchers in the area of hardware security verification and validation (SV&V). With the addition of the ZeBu framework to her lab, Dr. Farahmandi hopes to help her students develop skills in various aspects of hardware security and trust, including trustable hardware, counterfeit detection, security primitives, side-channel attacks and countermeasures, and reverse engineering. Moreover, acquiring the ZeBu Emulator will enable Dr. Farahmandi’s research group to develop virtual labs to promote interest from undergraduates and high school students.

Certificate of Recognition to Dr. Farahmandi from SRC

This certificate has been awarded to Dr. Farimah Farahmandi in recognition of her outstanding contribution to the Microelectronics and Advanced Packaging Technologies (MAPT) Roadmap, released October 2023, and for providing overall leadership. Dr. Farahmandi has led the discussions regarding the security concerns of heterogenous integration in Microelectronics and Advanced Packaging Technologies (MAPT) Roadmap. This certificate has been awarded to her in recognition of her outstanding contribution to  MAPT Roadmap, and for providing overall leadership. Read the press release here. Read the press release here

Farahmandi receives $600k grant for fault-injection research

ECE Assistant Professor Farimah Farahmandi has received funding from the Office of Naval Research (ONR) in support of her 3-year project, “FAME: Fault-Injection Assessment and Mitigation of Microelectronics at Pre-silicon.” The $600k grant supports work which aims to counter fault-injection attacks by discovering the most vulnerable locations in order to develop more efficient solutions for bolstering physical protection.

With the emergence of the Internet of Things (IoT) and edge computing that promises new and exciting applications from the military, naval, mobile, financial, transportation, and household sectors, security and privacy have emerged as major design challenges. The computing and sensing components in an IoT system, cryptographic hardware in embedded systems, reconfigurable Field Programmable Gate Arrays (FPGA) embedded systems, artificial intelligence (AI) accelerators, digital signal processors (DSPs), and microprocessors are all highly vulnerable to diverse forms of physical and non-physical attacks. These attacks appear in different forms (e.g., information leakage, side-channel leakage, fault injection, physical attacks, rowhammer) and can effectively bypass the security mechanisms built in a design, thus putting systems at risk. Among them, fault-injection attacks have become a major concern to the computer security community primarily due to their powerful capability in tampering with critical features in a device and ability to extract secrets, irrespective of the mathematical strength and robustness of the implemented security mechanisms.

In this project, we try to detect the most vulnerable locations in a design to fault attack and place emphasis on protecting these vulnerable locations so that the countermeasure would be more efficient, and the overhead would be greatly reduced. The end goal of this project is to enable the production of hardware more resilient to various methods of fault-injection at a much more feasible cost.

Farahmandi Receives SRC Young Faculty Award

Congratulations to Dr. Farahmandi, recent recipient of the 2022 Semiconductor Research Corporation (SRC) Young Faculty Award for contributions in the field of microelectronic security and hardware security verification. This award recognizes untenured, full-time researchers who show distinction in SRC-funded research in both the novelty of research and the execution of the technical agenda. Dr. Farahmandi’s research encompasses hardware security verification, formal methods, fault injection attack analysis, side-channel leakage assessment, and secure physical design.

Read the full story: https://www.src.org/award/young-faculty/2022/

Farahmandi Pushes Power of Heterogeneous Integration

ECE Assistant Professor Farimah Farahmandi has received funding from the Office of Naval Research (ONR) in support of her three-year project, “SVH: Security Verification of Heterogenous Integration.” The $510k grant supports work which aims to develop novel security verification techniques to check against integration and lifecycle threats that impact the confidentiality, integrity, and availability of heterogenously integrated devices, commonly known as ‘Systems-in-Package’ (SiP).

[ More ]

FARAHMANDI RECEIVES $500K DARPA GRANT TO ENHANCE CHIP SECURITY, SPEED TIME TO MARKET

Published on 08/03/2021

ECE Assistant Professor and member of the Florida Institute for Cybersecurity (FICS) Research Farimah Farahmandi has been awarded a $500K grant from the Defense Advanced Research Projects Agency (DARPA) for her project, “Security-Aware High-Level Synthesis (SHINE).” Read more…

ARM/SRC Supports Prof. Farimah Farahmandi to Develop Secure and Extensible SoC Architecture

Published on 07/09/2021

With the ubiquitous use of IoT devices in all walks of life, SoCs are subjected to various attacks to extract security assets throughout their lifecycle. Arm has an architected and evolving family of secure enclave implementations possessing a variety of security services and capabilities together that aim for attack mitigation and countermeasure techniques that are integrated into the overall secure SoC lifecycle. Read more…