Herbert Wertheim College of Engineering
Farahmandi Lab
Led by Farimah Farahmandi · Electrical and Computer Engineering
What we study
The Farahmandi Lab focuses on hardware security, using formal verification and design automation to ensure secure electronic systems. Their work involves developing methods to validate and automate the design of secure hardware.
What working here is like
- Computational
- No organisms (data only)
- Coding required
- Papers
- 5
Recent papers, explained
- IFV: Information Flow Verification at the Pre-silicon Stage Utilizing Static-Formal Methodology
2026
- A Survey on SoC Security Verification Methods at the Pre-silicon Stage
2026
Show 3 more papersShow fewer
- PSCMark: Power Side Channel-based Watermarking for SoC IPs Using Clock Gates
2025 · ACM Transactions on Design Automation of Electronic Systems
Uses power signals from clock gates to secretly mark and verify chip designs without altering them much.
- SAFET-HI: Secure Authentication-Based Framework for Encrypted Testing in Heterogeneous Integration
2025 · IEEE Journal on Emerging and Selected Topics in Circuits and Systems
Creates a framework to securely test chip components from untrusted sources without exposing sensitive data.
- Redefining Tradition: An Active Watermarking Approach for IP Protection in SoCs
2025 · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Develops a method to protect chip designs by embedding hidden watermarks that resist tampering.
Plain-language summaries are AI-written and reviewed by us; check the paper for details.
How to reach out
Farimah Farahmandi hasn't set up this page yet. You can also look them up in the UF directory (search “Farimah Farahmandi”).