Latest
- (Security) Assertions by Large Language Models
- dcc - Help: Transforming the Role of the Compiler by Generating Context-Aware Error Explanations with Large Language Models
- On Hardware Security Bug Code Fixes By Prompting Large Language Models
- Scalable Security Enforcement for Cyber Physical Systems
- A survey of Digital Manufacturing Hardware and Software Trojans
- An Integrated Testbed for Trojans in Printed Circuit Boards with Fuzzing Capabilities
- Are Emily and Greg Still More Employable than Lakisha and Jamal? Investigating Algorithmic Hiring Bias in the Era of ChatGPT
- AutoChip: Automating HDL Generation Using LLM Feedback
- Benchmarking Large Language Models for Automated Verilog RTL Code Generation
- Can Large Language Models Identify And Reason About Security Vulnerabilities? Not Yet
- Chip-Chat: Challenges and Opportunities in Conversational Hardware Design
- dcc -help: Transforming the Role of the Compiler by Generating Context-Aware Error Explanations with Large Language Models
- Decoding ChatGPT's 'impact' on the future of healthcare
- Examining Zero-Shot Vulnerability Repair with Large Language Models
- Fixing Hardware Security Bugs with Large Language Models
- FLAG: Finding Line Anomalies (in code) with Generative AI
- High-Level Approaches to Hardware Security: A Tutorial
- Invited Paper: Towards the Imagenets of ML4EDA
- Lost at C: A User Study on the Security Implications of Large Language Model Code Assistants
- Multi-Modal Side Channel Data Driven Golden-Free Detection of Software and Firmware Trojans
- Netlist Whisperer: AI and NLP Fight Circuit Leakage!
- REMaQE - Reverse Engineering Math Equations from Executables
- Towards the Imagenets of ML4EDA
- VeriGen: A Large Language Model for Verilog Code Generation<sup>∗</sup>
- Formal Methods for the Security of Medical Devices
- Application of micro-computed tomography for authentication of 3D printed composite parts
- Asleep at the Keyboard? Assessing the Security of GitHub Copilot's Code Contributions
- Detecting Hardware Trojans in PCBs Using Side Channel Loopbacks
- Determination of Fiber Content in 3D Printed Composite Parts Using Image Analysis
- Don t CWEAT it: Toward CWE analysis techniques in early stages of hardware design
- Don't CWEAT It: Toward CWE Analysis Techniques in Early Stages of Hardware Design
- FLAW3D: A Trojan-Based Cyber Attack on the Physical Outcomes of Additive Manufacturing
- Pop Quiz! Can a Large Language Model Help With Reverse Engineering?
- Runtime Interchange of Enforcers for Adaptive Attacks: A Security Analysis Framework for Drones
- An empirical cybersecurity evaluation of GitHub Copilot's code contributions
- Designing Neural Networks for Real-Time Systems
- Needle in a Haystack: Detecting Subtle Malicious Edits to Additive Manufacturing G-code Files
- Runtime interchange for adaptive re-use of intelligent cyber-physical system controllers
- Uncertainty quantification in dimensions dataset of additive manufactured NIST standard test artifact
- A compositional approach using Keras for neural networks in real-time systems
- DAVE: Deriving automatically verilog from English
- Smart I/O Modules for Mitigating Cyber-Physical Attacks on Industrial Control Systems
- Securing implantable medical devices with runtime enforcement hardware
- Synthesizing IEC 61499 function blocks to hardware
- Faster function blocks for precision timed industrial automation
- Synchronous neural networks for cyber-physical systems
- A model driven approach for cardiac pacemaker design using a PRET processor
- Simulation of cyber-physical systems using IEC61499
- RunSync: A predictable runtime for precision timed automation systems