Hammond A. Pearce

ACM Trans. Cyber Phys. Syst., October, 2024

FEINT: Automated Framework for Efficient INsertion of Templates/Trojans into FPGAs.

[BibT_eX]

[DOI]

Joshua Trujillo

Inf., July, 2024

VeriGen: A Large Language Model for Verilog Code Generation.

[BibT_eX]

[DOI]

ACM Trans. Design Autom. Electr. Syst., May, 2024

Dataset for REMaQE evaluation.

[BibT_eX]

[DOI]

Meet Udeshi

Dataset, May, 2024

(Security) Assertions by Large Language Models.

[BibT_eX]

[DOI]

Jeyavijayan Rajendran

IEEE Trans. Inf. Forensics Secur., 2024

On Hardware Security Bug Code Fixes by Prompting Large Language Models.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Forensics Secur., 2024

Can EDA Tool Feedback Improve Verilog Generation by LLMs?

[BibT_eX]

[DOI]

CoRR, 2024

SoK: Unifying Cybersecurity and Cybersafety of Multimodal Foundation Models with an Information Theory Approach.

[BibT_eX]

[DOI]

CoRR, 2024

ARVO: Atlas of Reproducible Vulnerabilities for Open Source Software.

[BibT_eX]

[DOI]

Xiang Mei

Pulkit Singh Singaria

CoRR, 2024

Evaluating LLMs for Hardware Design and Test.

[BibT_eX]

[DOI]

CoRR, 2024

Explaining EDA synthesis errors with LLMs.

[BibT_eX]

[DOI]

Siyu Qiu

CoRR, 2024

Scalable Security Enforcement for Cyber Physical Systems.

[BibT_eX]

[DOI]

IEEE Access, 2024

Runtime Verified Neural Networks for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 7th ACM International Workshop on Verification and Monitoring at Runtime Execution, 2024

LLMs Cannot Reliably Identify and Reason About Security Vulnerabilities (Yet?): A Comprehensive Evaluation, Framework, and Benchmarks.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Security and Privacy, 2024

dcc -help: Transforming the Role of the Compiler by Generating Context-Aware Error Explanations with Large Language Models.

[BibT_eX]

[DOI]

Proceedings of the 55th ACM Technical Symposium on Computer Science Education, 2024

Offramps: An FPGA-Based Intermediary for Analysis and Modification of Additive Manufacturing Control Systems.

[BibT_eX]

[DOI]

Proceedings of the 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2024

2023

Lost at C: Data from the Security-focused User Study.

[BibT_eX]

[DOI]

Dataset, March, 2023

High-Level Approaches to Hardware Security: A Tutorial.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2023

Multi-Modal Side Channel Data Driven Golden-Free Detection of Software and Firmware Trojans.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2023

Can Large Language Models Identify And Reason About Security Vulnerabilities? Not Yet.

[BibT_eX]

[DOI]

CoRR, 2023

AutoChip: Automating HDL Generation Using LLM Feedback.

[BibT_eX]

[DOI]

CoRR, 2023

Towards the Imagenets of ML4EDA.

[BibT_eX]

[DOI]

Animesh Basak Chowdhury

CoRR, 2023

Are Emily and Greg Still More Employable than Lakisha and Jamal? Investigating Algorithmic Hiring Bias in the Era of ChatGPT.

[BibT_eX]

[DOI]

Akshaj Kumar Veldanda

CoRR, 2023

Integrating Large Language Models into the Debugging C Compiler for generating contextual error explanations.

[BibT_eX]

[DOI]

CoRR, 2023

LLM-assisted Generation of Hardware Assertions.

[BibT_eX]

[DOI]

Jeyavijayan Rajendran

CoRR, 2023

FLAG: Finding Line Anomalies (in code) with Generative AI.

[BibT_eX]

[DOI]

CoRR, 2023

Fixing Hardware Security Bugs with Large Language Models.

[BibT_eX]

[DOI]

CoRR, 2023

A survey of Digital Manufacturing Hardware and Software Trojans.

[BibT_eX]

[DOI]

CoRR, 2023

Lost at C: A User Study on the Security Implications of Large Language Model Code Assistants.

[BibT_eX]

[DOI]

Proceedings of the 32nd USENIX Security Symposium, 2023

Examining Zero-Shot Vulnerability Repair with Large Language Models.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

Chip-Chat: Challenges and Opportunities in Conversational Hardware Design.

[BibT_eX]

[DOI]

Proceedings of the 5th ACM/IEEE Workshop on Machine Learning for CAD, 2023

An Integrated Testbed for Trojans in Printed Circuit Boards with Fuzzing Capabilities.

[BibT_eX]

[DOI]

Proceedings of the 29th International Symposium on On-Line Testing and Robust System Design, 2023

Invited Paper: Towards the Imagenets of ML4EDA.

[BibT_eX]

[DOI]

Animesh Basak Chowdhury

Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023

Benchmarking Large Language Models for Automated Verilog RTL Code Generation.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

Netlist Whisperer: AI and NLP Fight Circuit Leakage!

[BibT_eX]

[DOI]

Proceedings of the 2023 Workshop on Attacks and Solutions in Hardware Security, 2023

2022

Lost at C: Data from the Security-focused User Study.

[BibT_eX]

[DOI]

Dataset, October, 2022

Code and Dataset for "Examining Zero-Shot Vulnerability Repair with Large Language Models".

[BibT_eX]

[DOI]

Dataset, March, 2022

Detecting Hardware Trojans in PCBs Using Side Channel Loopbacks.

[BibT_eX]

[DOI]

Virinchi Roy Surabhi

Joshua Trujillo

IEEE Trans. Very Large Scale Integr. Syst., 2022

Determination of Fiber Content in 3-D Printed Composite Parts Using Image Analysis.

[BibT_eX]

[DOI]

IEEE Embed. Syst. Lett., 2022

Needle in a Haystack: Detecting Subtle Malicious Edits to Additive Manufacturing G-Code Files.

[BibT_eX]

[DOI]

IEEE Embed. Syst. Lett., 2022

Security Implications of Large Language Model Code Assistants: A User Study.

[BibT_eX]

[DOI]

CoRR, 2022

Pop Quiz! Can a Large Language Model Help With Reverse Engineering?

[BibT_eX]

[DOI]

Brendan Dolan-Gavitt

CoRR, 2022

Asleep at the Keyboard? Assessing the Security of GitHub Copilot's Code Contributions.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022

Runtime Interchange of Enforcers for Adaptive Attacks: A Security Analysis Framework for Drones.

[BibT_eX]

[DOI]

Proceedings of the 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2022

Don't CWEAT It: Toward CWE Analysis Techniques in Early Stages of Hardware Design.

[BibT_eX]

[DOI]

Krishnendu Chakrabarty

Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, 2022

2021

Copilot CWE Scenarios Dataset.

[BibT_eX]

[DOI]

Dataset, August, 2021

Designing Neural Networks for Real-Time Systems.

[BibT_eX]

[DOI]

Tórur Biskopstø Strøm

IEEE Embed. Syst. Lett., 2021

Can OpenAI Codex and Other Large Language Models Help Us Fix Security Bugs?

[BibT_eX]

[DOI]

CoRR, 2021

Runtime Interchange for Adaptive Re-use of Intelligent Cyber-Physical System Controllers.

[BibT_eX]

[DOI]

CoRR, 2021

An Empirical Cybersecurity Evaluation of GitHub Copilot's Code Contributions.

[BibT_eX]

[DOI]

CoRR, 2021

FLAW3D: A Trojan-based Cyber Attack on the Physical Outcomes of Additive Manufacturing.

[BibT_eX]

[DOI]

CoRR, 2021

2020

Smart I/O Modules for Mitigating Cyber-Physical Attacks on Industrial Control Systems.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2020

DAVE: Deriving Automatically Verilog from English.

[BibT_eX]

[DOI]

Proceedings of the MLCAD '20: 2020 ACM/IEEE Workshop on Machine Learning for CAD, 2020

A compositional approach using Keras for neural networks in real-time systems.

[BibT_eX]

[DOI]

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

2019

Securing implantable medical devices with runtime enforcement hardware.

[BibT_eX]

[DOI]

Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2019

Synthesizing IEC 61499 Function Blocks to hardware.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Electronics, Information, and Communication, 2019

2018

Synchronous neural networks for cyber-physical systems.

[BibT_eX]

[DOI]

Keyan Monadjem

Proceedings of the 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2018

Faster Function Blocks for Precision Timed Industrial Automation.

[BibT_eX]

[DOI]

Morteza Biglari-Abhari

Martin Schoeberl

Proceedings of the 21st IEEE International Symposium on Real-Time Distributed Computing, 2018

2017

Simulation of cyber-physical systems using IEC61499.

[BibT_eX]

[DOI]

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017

A Model Driven Approach for Cardiac Pacemaker Design Using a PRET Processor.

[BibT_eX]

[DOI]

Nathan Allen

Reinhard von Hanxleden

Proceedings of the 20th IEEE International Symposium on Real-Time Distributed Computing, 2017

2016

RunSync: A Predictable Runtime for Precision Timed Automation Systems.

[BibT_eX]

[DOI]

Matthew M. Y. Kuo