Farimah Farahmandi
2 papers · Latest:
Cryptography & Security
Emulation-based System-on-Chip Security Verification: Challenges and Opportunities
This paper surveys emulation-based SoC security verification, detailing methods, challenges, and future directions for pre-silicon hardware assurance.
2604.15073
Cryptography & SecurityAssertain: Automated Security Assertion Generation Using Large Language Models
Assertain automates security assertion generation for hardware designs using LLMs and threat intelligence, boosting verification accuracy.
2604.01583
📬 Weekly AI Paper Digest
Get the top 10 AI/ML arXiv papers from the week — summarized, scored, and delivered to your inbox every Monday.