Modern hardware design starts with specifications provided in natural language. These are
then translated by hardware engineers into appropriate Hardware Description Languages …

Hardware security and trust have become a pressing issue during the last two decades due
to the globalization of the semiconductor supply chain and ubiquitous network connection of …

There is burgeoning interest in designing AI-based systems to assist humans in designing
computing systems, including tools that automatically generate computer code. The most …

In this study, we explore the capability of Large Language Models (LLMs) to automate
hardware design by automatically completing partial Verilog code, a common language for …

CPU vulnerabilities undermine the security guarantees provided by software-and hardware-
security improvements. While the discovery of transient-execution attacks increased the …

Automating hardware design could obviate a signif-icant amount of human error from the
engineering process and lead to fewer errors. Verilog is a popular hardware description …

Hardware flaws are permanent and potent: hardware cannot be patched once fabricated,
and any flaws may undermine even formally verified software executing on top …

Novel AI-based code-writing Large Language Models (LLMs) such as OpenAI's Codex have
demonstrated capabilities in many coding-adjacent domains. In this work we consider how …

The security of computer systems typically relies on a hardware root of trust. As
vulnerabilities in hardware can have severe implications on a system, there is a need for …

Information flow tracking (IFT) is a fundamental computer security technique used to
understand how information moves through a computing system. Hardware IFT techniques …