Select Publications
Preprints
, 2026, GraftyVul: Synthesising Insecure Programs Through Real-World Vulnerability Grafting, http://dx.doi.org/10.48550/arxiv.2608.27928
, 2026, Large Language Models and Attention-Based AI for Hardware Design and Security: Progress, Challenges, and Opportunities, http://dx.doi.org/10.48550/arxiv.2504.08854
, 2026, On Capturing the Narrative: Social Media Manipulation Wargaming for Cyberliteracy, http://dx.doi.org/10.48550/arxiv.2607.23993
, 2026, ARVO: Atlas of Reproducible Vulnerabilities for Open-Source Software, http://dx.doi.org/10.48550/arxiv.2408.02153
, 2026, ARVO: Atlas of Reproducible Vulnerabilities for Open-Source Software
, 2026, Beyond Attack Success Rate: Examining Trigger Leakage in Vision-Language Agentic Systems, http://dx.doi.org/10.48550/arxiv.2606.12586
, 2026, PCB-QA: Evaluating LLMs over the First Printed Circuit Board Design Question-Answer Dataset, http://dx.doi.org/10.48550/arxiv.2606.23704
, 2026, Surveying GenAI-based Automation in Printed Circuit Board Design and Test, http://dx.doi.org/10.48550/arxiv.2606.17074
, 2026, If you're waiting for a sign... that might not be it! Mitigating Trust Boundary Confusion from Visual Injections on Vision-Language Agentic Systems, http://dx.doi.org/10.48550/arxiv.2604.19844
, 2026, From CVE Entries to Verifiable Exploits: An Automated Multi-Agent Framework for Reproducing CVEs, http://dx.doi.org/10.48550/arxiv.2509.01835
, 2025, SoK: The Security-Safety Continuum of Multimodal Foundation Models through Information Flow and Global Game-Theoretic Analysis of Asymmetric Threats, http://dx.doi.org/10.48550/arxiv.2411.11195
, 2025, CGP-Tuning: Structure-Aware Soft Prompt Tuning for Code Vulnerability Detection, http://dx.doi.org/10.48550/arxiv.2501.04510
, 2025, What's Pulling the Strings? Evaluating Integrity and Attribution in AI Training and Inference through Concept Shift, http://dx.doi.org/10.48550/arxiv.2504.21042
, 2025, Towards LLM-based Root Cause Analysis of Hardware Design Failures, http://dx.doi.org/10.48550/arxiv.2507.06512
, 2025, LASHED: LLMs And Static Hardware Analysis for Early Detection of RTL Bugs, http://dx.doi.org/10.48550/arxiv.2504.21770
, 2025, Automatically Improving LLM-based Verilog Generation using EDA Tool Feedback, http://dx.doi.org/10.48550/arxiv.2411.11856
, 2025, Logic Meets Magic: LLMs Cracking Smart Contract Vulnerabilities, http://dx.doi.org/10.48550/arxiv.2501.07058
, 2025, On Cyber Sabotage Risks in Automated Manufacturing of Advanced Composites, http://dx.doi.org/10.2139/ssrn.5101485
, 2024, Evaluating LLMs for Hardware Design and Test, http://dx.doi.org/10.48550/arxiv.2405.02326
, 2024, OffRAMPS: An FPGA-based Intermediary for Analysis and Modification of Additive Manufacturing Control Systems, http://dx.doi.org/10.48550/arxiv.2404.15446
, 2024, SoK: The Security-Safety Continuum of Multimodal Foundation Models through Information Flow and Global Game-Theoretic Analysis of Asymmetric Threats, https://arxiv.org/abs/2411.11195v6
, 2024, LLM-aided explanations of EDA synthesis errors, http://dx.doi.org/10.48550/arxiv.2404.07235
, 2024, LLMs Cannot Reliably Identify and Reason About Security Vulnerabilities (Yet?): A Comprehensive Evaluation, Framework, and Benchmarks, http://dx.doi.org/10.48550/arxiv.2312.12575
, 2024, (Security) Assertions by Large Language Models, http://dx.doi.org/10.48550/arxiv.2306.14027
, 2024, AutoChip: Automating HDL Generation Using LLM Feedback, http://dx.doi.org/10.48550/arxiv.2311.04887
, 2024, REMaQE: Reverse Engineering Math Equations from Executables, http://dx.doi.org/10.48550/arxiv.2305.06902
, 2023, Chip-Chat: Challenges and Opportunities in Conversational Hardware Design, http://dx.doi.org/10.48550/arxiv.2305.13243
, 2023, Dcc --help: Generating Context-Aware Compiler Error Explanations with Large Language Models, http://dx.doi.org/10.48550/arxiv.2308.11873
, 2023, Towards the Imagenets of ML4EDA, http://dx.doi.org/10.48550/arxiv.2310.10560
, 2023, Are Emily and Greg Still More Employable than Lakisha and Jamal? Investigating Algorithmic Hiring Bias in the Era of ChatGPT, http://dx.doi.org/10.48550/arxiv.2310.05135
, 2023, VeriGen: A Large Language Model for Verilog Code Generation, http://dx.doi.org/10.48550/arxiv.2308.00708
, 2023, FLAG: Finding Line Anomalies (in code) with Generative AI, http://dx.doi.org/10.48550/arxiv.2306.12643
, 2023, High-Level Approaches to Hardware Security: A Tutorial, http://dx.doi.org/10.48550/arxiv.2207.10466
, 2023, Lost at C: A User Study on the Security Implications of Large Language Model Code Assistants, http://dx.doi.org/10.48550/arxiv.2208.09727
, 2023, Fixing Hardware Security Bugs with Large Language Models, http://dx.doi.org/10.48550/arxiv.2302.01215
, 2023, A survey of Digital Manufacturing Hardware and Software Trojans, http://dx.doi.org/10.48550/arxiv.2301.10336
, 2022, Benchmarking Large Language Models for Automated Verilog RTL Code Generation, http://dx.doi.org/10.48550/arxiv.2212.11140
, 2022, Don't CWEAT It: Toward CWE Analysis Techniques in Early Stages of Hardware Design, http://dx.doi.org/10.48550/arxiv.2209.01291
, 2022, Examining Zero-Shot Vulnerability Repair with Large Language Models, http://dx.doi.org/10.48550/arxiv.2112.02125
, 2022, Pop Quiz! Can a Large Language Model Help With Reverse Engineering?, http://dx.doi.org/10.48550/arxiv.2202.01142
, 2021, Asleep at the Keyboard? Assessing the Security of GitHub Copilot's Code Contributions, http://dx.doi.org/10.48550/arxiv.2108.09293
, 2021, Needle in a Haystack: Detecting Subtle Malicious Edits to Additive Manufacturing G-code Files, http://dx.doi.org/10.48550/arxiv.2111.12746
, 2021, Runtime Interchange for Adaptive Re-use of Intelligent Cyber-Physical System Controllers, http://dx.doi.org/10.48550/arxiv.2110.01974
, 2021, FLAW3D: A Trojan-based Cyber Attack on the Physical Outcomes of Additive Manufacturing, http://dx.doi.org/10.48550/arxiv.2104.09562
, 2020, DAVE: Deriving Automatically Verilog from English, http://dx.doi.org/10.48550/arxiv.2009.01026
, 2020, Designing Neural Networks for Real-Time Systems, http://dx.doi.org/10.48550/arxiv.2008.11830