activity
20182026
most citedTheHuzz: Instruction Fuzzing of Processors Using Golden-Reference Models for Finding Software-Exploitable Vulnerabilities

37 citations · 168 across the 27 of their papers we have counts for

collaborators

28 papers

cs.AR2026

EDATracer: An Agentic Framework for Large-Scale EDA Artifact Analysis

Phat Tieu, Sayanti Jana, Matthew DeLorenzo +5

Modern chip design relies on electronic design automation (EDA) tools that generate large, heterogeneous artifacts, including source files, scripts, logs, netlists, and reports. An…

cs.CR2026

AttackonCTF: Defending Hardware Security Competition Benchmarks in the Age of LLMs

Mohamadreza Rostami, Nikhilesh Singh, Stephen Muttathil +5

Hardware security competitions such as HackTheSilicon serve as benchmarking platforms for evaluating vulnerability detection methods and for training humans and AI. However, our st…

cs.CY2026

GUIDE: GenAI Units In Digital Design Education

Weihua Xiao, Jason Blocklove, Matthew DeLorenzo +6

GenAI Units In Digital Design Education (GUIDE) is an open courseware repository with runnable Google Colab labs and other materials. We describe the repository's architecture and…

cs.CR2025

ReFuzz: Reusing Tests for Processor Fuzzing with Contextual Bandits

Chen Chen, Zaiyan Xu, Mohamadreza Rostami +4

Processor designs rely on iterative modifications and reuse well-established designs. However, this reuse of prior designs also leads to similar vulnerabilities across multiple pro…

cs.AI2025

Free and Fair Hardware: A Pathway to Copyright Infringement-Free Verilog Generation using LLMs

Sam Bush, Matthew DeLorenzo, Phat Tieu +1

Limitations in Large Language Model (LLM) capabilities for hardware design tasks, such as generating functional Verilog codes, have motivated various fine-tuning optimizations util…

cs.PL2025★ 1 cited

Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design

Matthew DeLorenzo, Kevin Tieu, Prithwish Jana +4

Large language models (LLMs) have achieved impressive proficiency on logic and programming tasks, often rivaling expert-level performance. However, generating functionally correct…