203 citations · 998 across the 44 of their papers we have counts for
9 papers · 1 filter
Examining Zero-Shot Vulnerability Repair with Large Language Models
Hammond Pearce, Benjamin Tan, Baleegh Ahmad +2
Human developers can produce code with cybersecurity bugs. Can emerging 'smart' code completion tools help repair those bugs? In this work, we examine the use of large language mod…
Not All Fabrics Are Created Equal: Exploring eFPGA Parameters For IP Redaction
Jitendra Bhandari, Abdul Khader Thalakkattu Moosa, Benjamin Tan +6
Semiconductor design houses rely on third-party foundries to manufacture their integrated circuits (IC). While this trend allows them to tackle fabrication costs, it introduces sec…
Exploring eFPGA-based Redaction for IP Protection
Jitendra Bhandari, Abdul Khader Thalakkattu Moosa, Benjamin Tan +6
Recently, eFPGA-based redaction has been proposed as a promising solution for hiding parts of a digital design from untrusted entities, where legitimate end-users can restore funct…
OpenABC-D: A Large-Scale Dataset For Machine Learning Guided Integrated Circuit Synthesis
Animesh Basak Chowdhury, Benjamin Tan, Ramesh Karri +1
Logic synthesis is a challenging and widely-researched combinatorial optimization problem during integrated circuit (IC) design. It transforms a high-level description of hardware…
Scaling Up Hardware Accelerator Verification using A-QED with Functional Decomposition
Saranyu Chattopadhyay, Florian Lonsing, Luca Piccolboni +12
Hardware accelerators (HAs) are essential building blocks for fast and energy-efficient computing systems. Accelerator Quick Error Detection (A-QED) is a recent formal technique wh…
Asleep at the Keyboard? Assessing the Security of GitHub Copilot's Code Contributions
Hammond Pearce, Baleegh Ahmad, Benjamin Tan +2
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 nota…
Cyber Insurance Against Cyberattacks on Electric Vehicle Charging Stations
Samrat Acharya, Robert Mieth, Charalambos Konstantinou +2
Cyberattacks in the energy sector are commonplace. Load-altering cyberattacks launched via the manipulations of high-wattage appliances and assets are particularly alarming, as the…
Optimizing the Use of Behavioral Locking for High-Level Synthesis
Christian Pilato, Luca Collini, Luca Cassano +3
The globalization of the electronics supply chain requires effective methods to thwart reverse engineering and IP theft. Logic locking is a promising solution, but there are many o…
FLAW3D: A Trojan-based Cyber Attack on the Physical Outcomes of Additive Manufacturing
Hammond Pearce, Kaushik Yanamandra, Nikhil Gupta +1
Additive Manufacturing (AM) systems such as 3D printers use inexpensive microcontrollers that rarely feature cybersecurity defenses. This is a risk, especially given the rising thr…